検索結果書誌詳細

蔵書情報

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

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

書誌情報

書名

はじめての数理論理学 証明を作りながら学ぶ記号論理の考え方    

著者名 山田 俊行/著
出版者 森北出版
出版年月 2018.7


この資料に対する操作

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

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

  

この資料に対する操作

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


マイ本棚へ追加ログインメモ


資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 清田5513645688410/ヤ/図書室8一般図書一般貸出在庫  

関連資料

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

2018
410.96 410.96
記号論理学

書誌詳細

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

タイトルコード 1008001296338
書誌種別 図書
書名 はじめての数理論理学 証明を作りながら学ぶ記号論理の考え方    
書名ヨミ ハジメテ ノ スウリ ロンリガク 
著者名 山田 俊行/著
著者名ヨミ ヤマダ トシユキ
出版者 森北出版
出版年月 2018.7
ページ数 7,131p
大きさ 22cm
分類記号 410.96
分類記号 410.96
ISBN 4-627-07801-7
内容紹介 論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。
著者紹介 筑波大学大学院博士課程電子・情報工学専攻修了。三重大学大学院工学研究科情報工学専攻講師。博士(工学)。研究分野は書き替え系、等式論理、組み合わせ最適化、ソフトウェアの解析と検証等。
件名 記号論理学
言語区分 日本語



内容細目表

前のページへ

本文はここまでです。


ページの終わりです。