資料詳細

  • 1 件中、 1 件目

【図書】 論理学をつくる

戸田山和久 ／著   -- 名古屋大学出版会 -- ２０００．１０ -- ２６ｃｍ -- ４３３ｐ

資料詳細

タイトル 論理学をつくる
著者名等 戸田山和久 ／著  
出版 名古屋大学出版会 ２０００．１０
大きさ等 ２６ｃｍ ４３３ｐ
分類 116
件名 論理学
注記 並列タイトル：Ｌｅａｒｎｉｎｇ　ｌｏｇｉｃ　ｔｈｒｏｕｇｈ　ｂｕｉｌｄｉｎｇ　ｉｔ
内容 文献あり　索引あり
要旨 「論理的に出てくる」っていったい何だ。それを確かめるにはどんな方法があるだろう。その方法はどんなケースにも有効だろうか。かりに有効だとしても、そのことをどのように確かめたらよいだろう。…こうした問題にとりくむためには、おもちゃのような論理学をつくることからスタートし、それをだんだんと改良していく戦略が有効だ。学ぶに値するおもしろさに満ちた論理学の豊かな世界を基礎からマスターできる教科書。
目次 第１部　論理学をはじめる（Ｗｈａｔ　ｉｓ　ＴＨＩＳ　Ｔｈｉｎｇ　ｃａｌｌｅｄ　Ｌｏｇｉｃ？；論理学の人工言語をつくる　ほか）；第２部　論理学をひろげる（論理学の対象言語を拡張する；おおっと述語論理のセマンティクスがまだだった　ほか）；第３部　論理をもう１つの目で見る（自然演繹法を使いこなそう；シンタクスの視点から論理学のゴールに迫る）；第４部　論理学はここから先が面白い！進んだ話題のロードマップ（めくるめく非古典論理の世界にようこそ！；古典論理にもまだ学ぶことがたくさん残っている）
ISBN(13)、ISBN 　　 4-8158-0390-0
書誌番号 1100059307

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 116/85 一般書 利用可 - 2046219824 iLisvirtual
金沢 公開 Map 116 一般書 利用可 - 2067387441 iLisvirtual

ページの先頭へ