大分県立図書館 蔵書検索
県立図書館ホームページへ
蔵書検索トップ
詳細検索
ブックリスト
Myライブラリ
レファレンス
機能紹介
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
タブローの方法による論理学入門
貸出可
丹治 信春/著 -- 朝倉書店 -- 1999.11 -- 410.96
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
一般
公開書庫東
410.9/99/
00008449761
和書
帯出可
在庫
ページの先頭へ
資料詳細
タイトル
タブローの方法による論理学入門 ,
書名ヨミ
タブロー ノ ホウホウ ニ ヨル ロンリガク ニュウモン
著者
丹治 信春
/著
著者名ヨミ
タンジ,ノブハル
出版者
朝倉書店
出版年
1999.11
ページ数, 大きさ
137p, 21cm
NDC10版
410.96
NDC8版
410.96
一般件名
記号論理学
注記
「論理学入門」(ちくま学芸文庫 2014年刊)に改題 大幅に改訂
著者紹介
1949年大阪府生まれ。東京大学大学院理学系研究科科学史・科学基礎論専門課程博士課程単位取得退学。東京都立大学人文学部教授。著書に「言語と認識のダイナミズム」がある。
内容紹介
記号論理学の基礎的な諸概念、基本的な考え方を習得しつつ、「タブロー」という方法による「証明」の技法を身につける。命題論理の記号言語、真理値分析とトートロジー、述語論理の記号言語などについて解説。
ページの先頭へ