資料詳細

  • 1 件中、 1 件目

はじめての数理論理学 利用可

山田　俊行／著 -- 森北出版 -- 2018.7 -- 410.96

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ﾔﾏﾀ/一般Ｈ 120855998 一般 利用可

ページの先頭へ

資料詳細

タイトル はじめての数理論理学
書名ヨミ ハジメテ　ノ　スウリ　ロンリガク
副書名 証明を作りながら学ぶ記号論理の考え方
著者名 山田　俊行 ／著  
著者ヨミ ヤマダ，トシユキ  
出版者 森北出版  
出版年 2018.7
ページ数等 １３１ｐ
大きさ ２２ｃｍ
一般注記 欧文タイトル：Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ　ｆｏｒ　Ｂｅｇｉｎｎｅｒｓ
一般件名 記号論理学  
ISBN 4-627-07801-3
ISBN13桁 978-4-627-07801-7
定価 ２４００円
問合わせ番号（書誌番号） 1120207452
NDC8版 410.96
NDC9版 410.96
著者紹介 １９９９年筑波大学大学院博士課程電子・情報工学専攻修了。筑波大学電子・情報工学系助手。２００２年三重大学工学部情報工学科助手。２００６年三重大学大学院工学研究科情報工学専攻講師。現在に至る，博士（工学）。研究分野は書き替え系，等式論理，組み合わせ最適化，ソフトウェアの解析と検証など。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ