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