資料詳細

  • 1 件中、 1 件目

記号論理学入門 利用可

小松寿／著 -- 森北出版 -- 199702 -- 1163

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 116.3/ｺﾏﾂ/一般Ｈ 112940310 一般 利用可

ページの先頭へ

資料詳細

タイトル 記号論理学入門
書名ヨミ キゴウ　ロンリガク　ニュウモン
著者名 小松寿 ／著  
著者ヨミ コマツ，ヒサシ  
出版者 森北出版  
出版年 199702
ページ数等 １９５ｐ
大きさ ２２ｃｍ
内容細目 参考文献：ｐ１８６～１８７
一般件名 記号論理学  
ISBN 4-627-05000-3
問合わせ番号（書誌番号） 1100307157
NDC8版 1163
内容紹介 本書は、著者が広島市立大学で行った記号論理学の入門コースの講義原稿をまとめたものである。内容は、初級クラスに必要最低限の、命題論理及び１階述語論理の公理論、モデル理論のみを扱い、初学者に記号論理学とはどういうものかに関するおおよその概念を得させるために、これに導入を付した。自習される読者の便宜を考えて、本文中の練習問題の約半数には巻末に解答を付してある。

ページの先頭へ

内容一覧

タイトル 著者名 ページ
１　導入
２　命題論理の意味論
３　述語論理の意味論
４　命題論理の公理論
５　述語論理の公理論

ページの先頭へ