ようこそ!
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
年
―
1
2
3
4
5
6
7
8
9
10
11
12
月
以前
のみ
以降
ジャンル
選択してください
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
ISBNコード
予約商品を表示しない
検索
クリア
本 >
人文
>
哲学・思想
>
論理学
出版社名:放送大学教育振興会
出版年月: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年慶應義塾大学大学院工学研究科修士課程修了、修士(工学)。現在、放送大学教養学部教授、熊本大学客員教授、総合研究大学院大学名誉教授
同じ著者名で検索した本
東大教授が語り合う10の未来予測
瀧口友里奈/編著 暦本純一/〔ほか述〕
実践に向けたスポーツ科学の基礎・応用
布袋屋浩/編著 中島理恵/編著 加藤幸真/編著
デジタルヘルストレンド 2023/最先端を走る135社が描く「医療4.0」の現在形 ヘルステックが現場の未来を創造する
加藤浩晃/編著
「音楽する」は脳に効く 弾く・聴く・歌うで一生アタマは進化する
重野知央/編著 金丸和富/著 加藤俊徳/著 和田秀樹/著 阿部康二/著 菊地幸夫/著 林田直樹/著 蔵島由貴/著 菊田浩/著 須永由美子/著
情報学へのとびら/放送大学教材
加藤浩/編著 大西仁/編著
食べ物と健康 3/食品加工と栄養
電気回路〈上〉トレーニングノート
加藤修司/編著 山本智也/編著 神谷弘一/編 岡安茂利/著 各務友浩/著 久永記央/著 松村照司/著
情報理論とデジタル表現/放送大学教材
加藤浩/編著 浅井紀久夫/編著
デザイン科学概論 多空間デザインモデルの理論と実践
松岡由幸/監修 加藤健郎/編著 佐藤弘喜/編著 佐藤浩一郎/編著
1983年慶應義塾大学大学院工学研究科修士課程修了、修士(工学)。現在、放送大学教養学部教授、熊本大学客員教授、総合研究大学院大学名誉教授
1983年慶應義塾大学大学院工学研究科修士課程修了、修士(工学)。現在、放送大学教養学部教授、熊本大学客員教授、総合研究大学院大学名誉教授