資料詳細

検索条件

ハイライト
  • 1 件中、 1 件目

[ 和図書 ] アルゴリズムの論理学 ロゴスの形式化理論の展開と限界

田代 博司／著 -- 北樹出版 -- 1995.4 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
多摩 書庫 一般図書 /1163/3010/95 1127654993 Digital BookShelf
1995/04/14 可能 利用可   0 2022年度移送
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-89384-467-9
タイトル アルゴリズムの論理学
タイトルカナ アルゴリズム ノ ロンリガク
タイトル関連情報 ロゴスの形式化理論の展開と限界
タイトル関連情報読み ロゴス ノ ケイシキカ リロン ノ テンカイ ト ゲンカイ
著者名 田代 博司 ／著
著者名典拠番号

110002354410000

出版地 東京,東京
出版者 北樹出版,学文社(発売)
出版者カナ ホクジュ シュッパン
出版年 1995.4
ページ数 252p
大きさ 22cm
出版等に関する注記 発売:学文社
価格 ¥2816
内容紹介 1.論理学についての序章的考察 2.論理学と推論のアルゴリズム 3.命題論理学と推論のアルゴリズム:真理表作成法 4.命題論理学:自然演繹法 5.術語論理学と推論のアルゴリズム 6.人間と論理
書誌・年譜・年表 文献:p244〜246
一般件名 記号論理学 , アルゴリズム
一般件名カナ キゴウ ロンリガク,アルゴリズム
一般件名典拠番号

510630200000000 , 510093100000000

分類：都立NDC10版 116.3
資料情報1 『アルゴリズムの論理学 ロゴスの形式化理論の展開と限界』　田代 博司／著 　北樹出版　1995.4（所蔵館：多摩　 請求記号：/1163/3010/95　 資料コード：1127654993）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1102159238

ページの先頭へ