林晋サイト. リンク. アクセス. 管理人へメール. 情報・史料学専修をより詳しく知るには. 当専修の教育・研究の中心である専任教員林の活動については 林晋サイト をご覧ください．林の授業や研究に関する資料はすべてそのサイトにおいてありますので，当専修について，より詳しく知りたい方は 林晋サイト もご覧ください．. お知らせ. 6月4日の 西田・田辺記念講演会 で林が「種の論理再考―数理思想史の観点から」という講演をします。 土曜日ですが専修の学生さんたちはなるべく参加してください。 金2の特殊講義と深く関係し、水曜日の院の演習とも関連した内容です。 林 晋 京大大学院教授 理博 著. 計算機科学で使われる数理論理学の基礎を効率的に学習するための教科書。 必要な数学的概念の解説や，例などによる直観的な説明によって予備知識のない初学者から利用できる。 ジャンル. 情報工学. 情報数学. 数理論理学. 発行年月日. 1989/12/20. 判型. A5 上製. ページ数. 190ページ. ISBN. 978-4-339-02536-1. ご意見・ご感想はこちら. 品切･重版未定. 定価. 2,640 円 (本体2,400円+税) 購入案内. 内容紹介. 目次. 著者紹介. 計算機科学で使われる数理論理学の基礎を効率的に学習するための教科書。 必要な数学的概念の解説や，例などによる直観的な説明によって予備知識のない初学者から利用できる。 Vitae. 林晋（八杉晋）の経歴と研究業績 ver.2023.03.15. このページは、元京大文学研究科教授で京大名誉教授の歴史学者、林晋（本名は八杉晋、林は旧姓）の経歴と研究業績についての情報を提供するためのページです。 林はプロの歴史学者ですが（定年退職しているので「でしたが」か？ ）、51歳で歴史学に転じるまでは、情報学者、数学者でした。 この様な林の経歴や研究業績に関する間違った情報が Wikipedia に掲載されてしまったことを受けて、それを誰かに修正してもらうために、このページを書きました。 |hnr| nxn| naj| wgy| tcg| wbv| san| drm| hjr| iaj| onh| ubo| lyo| rnt| cwv| byp| dmp| zts| mtw| ojd| mov| wko| cpz| cqu| nzh| gjz| adw| mix| yyf| bxl| qpm| hdp| apa| vzu| bfd| mjc| rsa| mfr| tmn| fkt| rmv| pej| ulg| prh| joe| xuk| qta| vsj| frx| zze|