資料詳細

  • 1 件中、 1 件目

【図書】 記号論理学入門

小松寿 ／著   -- 森北出版 -- １９９７．０２ -- ２２ｃｍ -- １９５ｐ

資料詳細

タイトル 記号論理学入門
著者名等 小松寿 ／著  
出版 森北出版 １９９７．０２
大きさ等 ２２ｃｍ １９５ｐ
分類 116.3
件名 記号論理学
内容 参考文献：ｐ１８６～１８７
要旨 本書は、著者が広島市立大学で行った記号論理学の入門コースの講義原稿をまとめたものである。内容は、初級クラスに必要最低限の、命題論理及び１階述語論理の公理論、モデル理論のみを扱い、初学者に記号論理学とはどういうものかに関するおおよその概念を得させるために、これに導入を付した。自習される読者の便宜を考えて、本文中の練習問題の約半数には巻末に解答を付してある。
目次 １　導入；２　命題論理の意味論；３　述語論理の意味論；４　命題論理の公理論；５　述語論理の公理論
ISBN(13)、ISBN 　　 4-627-05000-3
書誌番号 1197007623
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1197007623

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 116.3/20 一般書 利用可 - 2010527646 iLisvirtual

ページの先頭へ