ようこそ!
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
出版社名:放送大学教育振興会
出版年月:2024年3月
ISBN:978-4-595-32481-9
261P 21cm
記号論理学/放送大学教材 情報コース/専門科目
加藤浩/編著 辰己丈夫/編著
組合員価格 税込 3,240
(通常価格 税込 3,410円)
割引率 5%
お取り寄せ
お届け日未定
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
もくじ情報:論理学とは何か・記号を使う;記号・式・命題;命題の意味;推論の妥当性を厳密に定義する;タブローによる妥当性のチェック(1);タブローによる妥当性のチェック(2);多重量化;日本語から形式言語への翻訳;個数を表す命題;日本語の推論の妥当性(1);日本語の推論の妥当性(2);日本語の推論の妥当性(3);タブローの方法の健全性と完全性;論理学の応用;論理学の歴史
もくじ情報:論理学とは何か・記号を使う;記号・式・命題;命題の意味;推論の妥当性を厳密に定義する;タブローによる妥当性のチェック(1);タブローによる妥当性のチェック(2);多重量化;日本語から形式言語への翻訳;個数を表す命題;日本語の推論の妥当性(1);日本語の推論の妥当性(2);日本語の推論の妥当性(3);タブローの方法の健全性と完全性;論理学の応用;論理学の歴史
著者プロフィール
加藤 浩(カトウ ヒロシ)
1983年慶應義塾大学大学院工学研究科修士課程修了、修士(工学)。現在、放送大学教養学部教授、熊本大学客員教授、総合研究大学院大学名誉教授
加藤 浩(カトウ ヒロシ)
1983年慶應義塾大学大学院工学研究科修士課程修了、修士(工学)。現在、放送大学教養学部教授、熊本大学客員教授、総合研究大学院大学名誉教授