ゲスト さん (ログイン)
ゴールデンウイークの営業についてのご案内
オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料!新刊予約・通販も。本(書籍)、雑誌、漫画(コミック)、洋書など在庫も充実
放送大学教材 6780
放送大学教育振興会 NHK出版 加藤浩(教育工学) 辰己丈夫
点
論理学とは何か・記号を使う記号・式・命題命題の意味推論の妥当性を厳密に定義するタブローによる妥当性のチェック(1)タブローによる妥当性のチェック(2)多重量化日本語から形式言語への翻訳個数を表す命題日本語の推論の妥当性(1)日本語の推論の妥当性(2)日本語の推論の妥当性(3)タブローの方法の健全性と完全性論理学の応用論理学の歴史
記号論理学とは、論理を論理式という数式のような記号で表し、厳密なやり方で処理する方法の体系である。ある事態が成り立っている(真である)とき、そこから別の事態を導き出したり、その推論の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学などの基礎となるほか、論文執筆や議論やプレゼンテーションなどの基礎として重要となる。命題論理、一階述語論理などの意味を理解して自然言語の命題と対応付け、さらに論理式の計算方法を学ぶ。※この科目は、インターネット配信限定で視聴する科目です。インターネット配信は、放送大学の学生の方が視聴できます。
ページ上部へ戻る
この商品に寄せられたカスタマーレビューはまだありません。
レビューを評価するにはログインが必要です。
この商品に対するあなたのレビューを投稿することができます。
本好きのためのオンライン書店
Honya Club.comは日本出版販売株式会社が運営しているインターネット書店です。ご利用ガイドはこちら
1位
又吉直樹
価格:1,320円(本体1,200円+税)
【2015年03月発売】
一覧を見る
[BOOKデータベースより]
論理学とは何か・記号を使う
[日販商品データベースより]記号・式・命題
命題の意味
推論の妥当性を厳密に定義する
タブローによる妥当性のチェック(1)
タブローによる妥当性のチェック(2)
多重量化
日本語から形式言語への翻訳
個数を表す命題
日本語の推論の妥当性(1)
日本語の推論の妥当性(2)
日本語の推論の妥当性(3)
タブローの方法の健全性と完全性
論理学の応用
論理学の歴史
記号論理学とは、論理を論理式という数式のような記号で表し、厳密なやり方で処理する方法の体系である。ある事態が成り立っている(真である)とき、そこから別の事態を導き出したり、その推論の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学などの基礎となるほか、論文執筆や議論やプレゼンテーションなどの基礎として重要となる。命題論理、一階述語論理などの意味を理解して自然言語の命題と対応付け、さらに論理式の計算方法を学ぶ。
※この科目は、インターネット配信限定で視聴する科目です。インターネット配信は、放送大学の学生の方が視聴できます。