ようこそ!
出版社名:放送大学教育振興会
出版年月:2024年3月
ISBN:978-4-595-32481-9
261P 21cm
記号論理学/放送大学教材 情報コース/専門科目
加藤浩/編著 辰己丈夫/編著
組合員価格 税込 3,069
(通常価格 税込 3,410円)
割引率 10%
お取り寄せ
お届け日未定
※ゴールデンウィーク前後は商品のお届けが通常より遅れる場合がございます。
内容紹介・もくじなど
もくじ情報:論理学とは何か・記号を使う;記号・式・命題;命題の意味;推論の妥当性を厳密に定義する;タブローによる妥当性のチェック(1);タブローによる妥当性のチェック(2);多重量化;日本語から形式言語への翻訳;個数を表す命題;日本語の推論の妥当性(1);日本語の推論の妥当性(2);日本語の推論の妥当性(3);タブローの方法の健全性と完全性;論理学の応用;論理学の歴史
もくじ情報:論理学とは何か・記号を使う;記号・式・命題;命題の意味;推論の妥当性を厳密に定義する;タブローによる妥当性のチェック(1);タブローによる妥当性のチェック(2);多重量化;日本語から形式言語への翻訳;個数を表す命題;日本語の推論の妥当性(1);日本語の推論の妥当性(2);日本語の推論の妥当性(3);タブローの方法の健全性と完全性;論理学の応用;論理学の歴史
著者プロフィール
加藤 浩(カトウ ヒロシ)
1983年慶應義塾大学大学院工学研究科修士課程修了、修士(工学)。現在、放送大学教養学部教授、熊本大学客員教授、総合研究大学院大学名誉教授
加藤 浩(カトウ ヒロシ)
1983年慶應義塾大学大学院工学研究科修士課程修了、修士(工学)。現在、放送大学教養学部教授、熊本大学客員教授、総合研究大学院大学名誉教授

同じ著者名で検索した本