資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 形式意味論入門 ( 開拓社叢書 27 )

田中 拓郎／著 -- 開拓社 -- 2016.9 --

所蔵

所蔵は 1 件です。

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

ページの先頭へ

資料詳細 閉じる

ISBN 4-7589-1822-0
ISBN13桁 978-4-7589-1822-0
タイトル 形式意味論入門
タイトルカナ ケイシキ イミロン ニュウモン
著者名 田中 拓郎 ／著
著者名典拠番号

110007064740000

出版地 東京
出版者 開拓社
出版者カナ カイタクシャ
出版年 2016.9
ページ数 8, 238p
大きさ 21cm
シリーズ名 開拓社叢書
シリーズ名のルビ等 カイタクシャ ソウショ
シリーズ番号 27
シリーズ番号読み 27
価格 ¥2900
内容紹介 表現形の煩雑さから、とかく敬遠されがちな形式意味論。数学や論理学の知識のない人でも楽しく読み進められるよう、形式意味論の基本から思考法までを平易に解説。実例に即して諸概念を分かりやすく導入する。
書誌・年譜・年表 文献:p233～234
一般件名 意味論-00564060-ndlsh
一般件名カナ イミロン-00564060
一般件名 意味論
一般件名カナ イミロン
一般件名典拠番号

510490000000000

分類：都立NDC10版 801.2
資料情報1 『形式意味論入門』（開拓社叢書 27）　田中 拓郎／著 　開拓社　2016.9（所蔵館：中央　 請求記号：/801.2/5029/2016　 資料コード：7108058460）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152886536

ページの先頭へ