大分県立図書館 蔵書検索
県立図書館ホームページへ
蔵書検索トップ
詳細検索
ブックリスト
Myライブラリ
レファレンス
機能紹介
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
よくわかる記号論理
貸出可
藤村 龍雄/著 -- 勁草書房 -- 2005.11 -- 116.3
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
一般
公開書庫東
116.3/2005/
00011531399
和書
帯出可
在庫
ページの先頭へ
資料詳細
タイトル
よくわかる記号論理 ,
書名ヨミ
ヨク ワカル キゴウ ロンリ
著者
藤村 龍雄
/著
著者名ヨミ
フジムラ,タツオ
出版者
勁草書房
出版年
2005.11
ページ数, 大きさ
10,241p, 21cm
NDC10版
116.3
NDC8版
116.3
一般件名
記号論理学
著者紹介
1936年樺太生まれ。東京大学大学院人文科学研究科博士課程単位取得退学。立正大学文学部教授、東京水産大学名誉教授。
内容紹介
記号嫌いの学生や文科系の学生でも「初歩の初歩から」学べる、記号論理のテキスト。命題論理学・述語論理学と章を分け、論理学とは何かを丁寧に説明し、最も簡単な真理表からシステムを1つ1つ構築する。
内容注記
文献:p215〜220
ページの先頭へ
目次
Ⅰ 命題論理学
第1章 論理学とは何か
第2章 文の形式と意味(Ⅰ)
第3章 文の形式と意味(Ⅱ)
第4章 論理的妥当性
第5章 真理木
第6章 真理木からタブローへ
第7章 自然演繹
Ⅱ 述語論理学
第8章 文の内部構造
第9章 述語から文へ
第10章 さまざまな限量文
第11章 真理木
第12章 自然演繹
第13章 述語言語
ページの先頭へ