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