相模原市の図書館

ログインしていません

蔵書検索・予約

条件入力に戻る

ハイライト：ON OFF

著者　：加藤　浩（１９５９－

出版年：2024年3月

分類：410.96

形態：図書

◎目次: 論理学とは何か・記号を使う
記号・式・命題
命題の意味
推論の妥当性を厳密に定義する
タブローによる妥当性のチェック（１）
タブローによる妥当性のチェック（２）
多重量化
日本語から形式言語への翻訳
個数を表す命題
日本語の推論の妥当性（１）
日本語の推論の妥当性（２）
日本語の推論の妥当性（３）
タブローの方法の健全性と完全性
論理学の応用
論理学の歴史

加藤浩: １９８３年慶應義塾大学大学院工学研究科修士課程修了、修士（工学）。現在、放送大学教養学部教授、熊本大学客員教授、総合研究大学院大学名誉教授(本データはこの書籍が刊行された当時に掲載されていたものです)

※予約できる点数は、１人１０点までです。
※長期未返却資料がある場合、お返しいただくまで新たな資料の予約申込みはできません。
※町田市に在住もしくは、多摩美術大学・東京工科大学・桜美林大学に在学、在勤で利用者登録されている方は、ホームページからの予約サービスは受けることができません。

所蔵件数は1件です。

現在の予約件数は0件です。

No.	所在場所	置き場所	分類	図書記号	巻冊記号	資料コード	形態	状態	禁帯
1	市立図書館	開架	410.96	放送		32071052	図書	貸出中

名称	書誌情報
書名	ｷｺﾞｳﾛﾝﾘｶﾞｸ
	記号論理学
版名	新訂
叢書名	ﾎｳｿｳﾀﾞｲｶﾞｸｷｮｳｻﾞｲ
	放送大学教材
叢書名２	ｼﾞｮｳﾎｳｺｰｽｾﾝﾓﾝｶﾓｸ
	情報コース／専門科目
著者名１	ｶﾄｳﾋﾛｼ
	加藤　浩／編著
	【加藤浩】１９８３年慶應義塾大学大学院工学研究科修士課程修了、博士（工学）。１９９９年東京工業大学大学院社会理工学研究科博士課程修了、博士（工学）。現在、放送大学教養学部教授、熊本大学客員教授、総合研究大学院大学名誉教授。（本データはこの書籍が刊行された当時に掲載されていたものです）
著者名２	ﾀﾂﾐﾀｹｵ
	辰己　丈夫／編著
	【辰己丈夫】１９９７年早稲田大学大学院理工学研究科数学専攻博士後期課程退学。２０１４年筑波大学大学院ビジネス科学研究科企業科学専攻博士後期課程修了、博士（システムズ・マネジメント）。放送大学准教授などを経て、２０１６年放送大学教授（現在に至る）。（本データはこの書籍が刊行された当時に掲載されていたものです）
出版者	ﾎｳｿｳﾀﾞｲｶﾞｸｷｮｳｲｸｼﾝｺｳｶｲ
	放送大学教育振興会
出版年	202403
分類	410.96
ページ	２６１ｐ
サイズ	２１ｃｍ
ＩＳＢＮ	978-4-595-32481-9
価格	3100
件名	記号論理学