|
|
内容紹介・もくじなど
著者プロフィール
峯島 宏次(ミネシマ コウジ)
慶應義塾大学文学部准教授。博士（哲学）。専門は哲学、論理学、言語学（意味論、語用論、計算言語学）（本データはこの書籍が刊行された当時に掲載されていたものです） 峯島 宏次(ミネシマ コウジ)
慶應義塾大学文学部准教授。博士（哲学）。専門は哲学、論理学、言語学（意味論、語用論、計算言語学）（本データはこの書籍が刊行された当時に掲載されていたものです） |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| このサイトについて | eフレンズトップ |
| 利用規約 | ご利用ガイド |
| 特定取引法に基づく表示 | |
| 個人情報の取り扱いについて | お問い合わせ |
もくじ情報：第１章 論理学の問題；第２章 日本語文の記号化と形式言語；第３章 命題論理の意味論；第４章 命題論理の証明論；第５章 述語論理の形式言語；第６章 述語論理の意味論；第７章 述語論理の証明論；解答と解説
もくじ情報：第１章 論理学の問題；第２章 日本語文の記号化と形式言語；第３章 命題論理の意味論；第４章 命題論理の証明論；第５章 述語論理の形式言語；第６章 述語論理の意味論；第７章 述語論理の証明論；解答と解説