検索結果資料の内容

ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索


この資料の情報へのリンク:

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

資料の状態

各蔵書資料に関する詳細情報です。

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0013835137図書一般801.2/タナ17/1F人文貸出可 

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


登録するリストログインメモ


書誌情報サマリ

タイトル

形式意味論入門

人名 田中 拓郎/著
人名ヨミ タナカ タクロウ
出版者・発行者 開拓社
出版年月 2016.9


書誌詳細

この資料の書誌詳細情報です。

書誌種別 図書
タイトル 形式意味論入門
シリーズ名 開拓社叢書
シリーズ番号 27
タイトルヨミ ケイシキ イミロン ニュウモン
シリーズ名ヨミ カイタクシャ ソウショ
シリーズ番号ヨミ 27
人名 田中 拓郎/著
人名ヨミ タナカ タクロウ
出版者・発行者 開拓社
出版者・発行者等ヨミ カイタクシャ
出版地・発行地 東京
出版・発行年月 2016.9
ページ数または枚数・巻数 8,238p
大きさ 21cm
価格 ¥2900
ISBN 978-4-7589-1822-0
ISBN 4-7589-1822-0
注記 文献:p233〜234
分類記号 801.2
件名 意味論
内容紹介 表現形の煩雑さから、とかく敬遠されがちな形式意味論。数学や論理学の知識のない人でも楽しく読み進められるよう、形式意味論の基本から思考法までを平易に解説。実例に即して諸概念を分かりやすく導入する。
著者紹介 コネチカット州立大学大学院修了。日本大学国際関係学部助教を経て、上智大学非常勤講師。
言語区分 JPN
タイトルコード 1009812052910



目次


内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

801.2 801.2
801.2 801.2
意味論
もどる

本文はここまでです。


ページの終わりです。