資料詳細

検索条件

  • 著者
    高尾慶子
ハイライト
  • 1 件中、 1 件目

アルゴリズムの論理学 　 貸出可

田代　博司／著 -- 北樹出版 -- １９９５．４ -- 116.3

  • 総合評価
    5段階評価の0.0
    (0)

所蔵

所蔵は 1 件です。予約は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
中央 参書庫 /116.3/ＴＡ９３/ 1395062510 一般書 可能 利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
中央 1 0 1

ページの先頭へ

資料詳細

タイトル アルゴリズムの論理学
副書名 ロゴスの形式化理論の展開と限界
著者名 田代　博司 ／著  
出版者 北樹出版
出版年 １９９５．４
ページ数等 ２５２ｐ
大きさ ２２ｃｍ
分類(9版) 116.3  
分類(10版) 116.3  
内容紹介 １．論理学についての序章的考察　２．論理学と推論のアルゴリズム　３．命題論理学と推論のアルゴリズム：真理表作成法　４．命題論理学：自然演繹法　５．術語論理学と推論のアルゴリズム　６．人間と論理
内容注記 文献：ｐ２４４～２４６
テーマ 記号論理学 , アルゴリズム  
ISBN 4-89384-467-9 国立国会図書館 カーリル GoogleBooks WebcatPlus
定価 ￥２８１６
本体価格 ￥２８１６
特定資料種別 図書
URL https://www.library.city.hiroshima.jp/winj/opac/switch-detail.do?bibid=1100437266

ページの先頭へ