書籍
書籍

記号論理学〔新訂〕

0.0

販売価格

¥
3,410
税込
還元ポイント
31pt

販売中

お取り寄せ
発送目安
2日～14日

お取り寄せの商品となります

入荷の見込みがないことが確認された場合や、ご注文後40日前後を経過しても入荷がない場合は、取り寄せ手配を終了し、この商品をキャンセルとさせていただきます。

在庫表示と発送目安について
この商品を出品する
店舗取り置きサービスについて
この商品のコレクション情報を確認する
コレクション機能とは？
フォーマット 書籍
発売日 2024年03月20日
国内/輸入 国内
出版社NHK出版
構成数 1
パッケージ仕様 -
SKU 9784595324819
ページ数 264
判型 A5

構成数 : 1枚

1.論理学とは何か・記号を使う 2.記号・ 式・ 命題 3.命題の意味 4.推論の妥当性を厳密に定義する 5.タブローによる妥当性のチェック(1) 6.タブローによる妥当性のチェック(2) 7.多重量化 8.日本語から形式言語への翻訳 9.個数を表す命題 10.日本語の推論の妥当性(1) 11.日本語の推論の妥当性(2) 12.日本語の推論の妥当性(3) 13.タブローの方法の健全性と完全性 14.論理学の応用 15.論理学の歴史

  1. 1.[書籍]

記号論理学とは、論理を論理式という数式のような記号で表し、厳密なやり方で処理する方法の体系である。ある事態が成り立っている(真である)とき、そこから別の事態を導き出したり、その推論の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学などの基礎となるほか、論文執筆や議論やプレゼンテーションなどの基礎として重要となる。命題論理、一階述語論理などの意味を理解して自然言語の命題と対応付け、さらに論理式の計算方法を学ぶ。
※この科目は、インターネット配信限定で視聴する科目です。インターネット配信は、放送大学の学生の方が視聴できます。

作品の情報

メイン
著者： 加藤浩 、 辰己丈夫

メンバーズレビュー

レビューを書いてみませんか？

読み込み中にエラーが発生しました。

画面をリロードして、再読み込みしてください。