資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 述語論理・入門 基礎からプログラムの理論へ

上江洲 忠弘／著 -- 遊星社 -- 2007.4 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /410.9/5042/2007 5013582547 Digital BookShelf
2007/06/11 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-434-10605-7
ISBN13桁 978-4-434-10605-7
タイトル 述語論理・入門
タイトルカナ ジュツゴ ロンリ ニュウモン
タイトル関連情報 基礎からプログラムの理論へ
タイトル関連情報読み キソ カラ プログラム ノ リロン エ
著者名 上江洲 忠弘 ／著
著者名典拠番号

110003126610000

出版地 東京,東京
出版者 遊星社,星雲社(発売)
出版者カナ ユウセイシャ
出版年 2007.4
ページ数 206p
大きさ 21cm
価格 ¥2300
内容紹介 数理論理学の入門書。数学の論証に用いる述語論理に対象を絞り、その基礎からプログラムの理論までを解説。ゲンツェンの自然演繹の体系や推件計算の知識を基に、述語論理とプログラムによる計算との関係を明らかにする。
書誌・年譜・年表 文献:p195〜196
一般件名 記号論理学
一般件名カナ キゴウ ロンリガク
一般件名典拠番号

510630200000000

分類：都立NDC10版 410.96
資料情報1 『述語論理・入門 基礎からプログラムの理論へ』　上江洲 忠弘／著 　遊星社　2007.4（所蔵館：中央　 請求記号：/410.9/5042/2007　 資料コード：5013582547）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1107184436

ページの先頭へ