愛知県図書館
トップメニュー
資料検索
資料紹介
Myライブラリ
トップメニュー
>
検索結果一覧
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
検索条件
著者
東国原英夫
ハイライト
ON
OFF
一覧へ戻る
1 件中、 1 件目
アルゴリズムの論理学
利用可
田代 博司/著 -- 北樹出版 -- 1995.4 -- 116.3
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
場所
棚番号
請求記号
資料コード
貸出利用
状態
本館
3階人文
Map
10
/116.3/タシ/674700
1106747007
閲可 貸可 協可
-
ページの先頭へ
資料詳細
タイトル
アルゴリズムの論理学
副書名
ロゴスの形式化理論の展開と限界
著者
田代 博司
/著
出版地
東京
出版者
北樹出版
出版年
1995.4
ページ数
252p
大きさ
22cm
一般件名
記号論理学
,
アルゴリズム
内容紹介
1.論理学についての序章的考察 2.論理学と推論のアルゴリズム 3.命題論理学と推論のアルゴリズム:真理表作成法 4.命題論理学:自然演繹法 5.術語論理学と推論のアルゴリズム 6.人間と論理
ISBN
4-89384-467-9
分類番号
116.3
ページの先頭へ
関連メディア
/T170P55044
ページの先頭へ