図書
書影

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

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

記号論理学

(放送大学教材)

国立国会図書館請求記号
MA41-L23
国立国会図書館書誌ID
025187334
資料種別
図書
著者
加藤浩, 土屋俊 著
出版者
放送大学教育振興会
出版年
2014.3
資料形態
ページ数・大きさ等
249p ; 21cm
NDC
410.96
すべて見る

資料詳細

要約等:

記号論理学とは,論理を論理式という数式のような記号で表し,厳密なやり方で処理する方法の体系である。ある事態が成り立っている(真である)とき,そこから別の事態を導き出したり,その推論の正しさを証明したりする。記号論理学は,数学,哲学,計算機科学などの基礎となるほか,論文執筆や議論やプレゼンテーションな...

書店で探す

目次

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

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

関東

近畿

中国

  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
978-4-595-31496-4
タイトル
タイトルよみ
キゴウ ロンリガク
著者・編者
加藤浩, 土屋俊 著
シリーズタイトル
著者標目
加藤, 浩, 1962- カトウ, ヒロシ, 1962- ( 00857302 )典拠
土屋, 俊, 1952- ツチヤ, シュン, 1952- ( 00156145 )典拠
出版年月日等
2014.3
出版年(W3CDTF)
2014