商品詳細 | Knowledge Worker

丸善のおすすめ度

記号論理学(放送大学教材)

在庫状況お取り寄せ	お届け予定日 10日間	数量冊
価格 \3,300（税込）

この商品について問合せる

発行年月	2014年03月
出版社／提供元	放送大学教育振興会
言語	日本語
媒体	冊子
ページ数／巻数	249p
大きさ	21cm
ジャンル	和書／理工学／数学／数学一般・その他
ISBN	9784595314964
商品コード	1015226589
NDC分類	410.96
基本件名	記号論理学
本の性格	テキスト
新刊案内掲載月	2014年04月3週
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1015226589

内容

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

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

カート

カートに商品は入っていません。

前のページに戻る