資料詳細

  • 1 件中、 1 件目

数理論理学 利用可

加藤暢／共著 -- コロナ社 -- 2014.10 -- 410.96

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

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

ページの先頭へ

資料詳細

タイトル 数理論理学
書名ヨミ スウリ　ロンリガク
副書名 合理的エージェントへの応用に向けて
著者名 加藤暢 ／共著, 高田司郎 ／共著, 新出尚之 ／共著  
著者ヨミ カトウ，トオル , タカタ，シロウ , ニイデ，ナオユキ  
出版者 コロナ社  
出版年 2014.10
ページ数等 ２１０ｐ
大きさ ２１ｃｍ
内容細目 文献あり　索引あり
原書名 並列タイトル：Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ　ｆｏｒ　Ｒａｔｉｏｎａｌ　Ａｇｅｎｔｓ
一般件名 記号論理学  
ISBN 4-339-02489-9
ISBN13桁 978-4-339-02489-0
定価 ２８００円
問合わせ番号（書誌番号） 1102049798
NDC8版 410.96
NDC9版 410.96
内容紹介 数理論理学の諸概念に初めて接する大学２、３年生を対象に、命題論理、述語論理、様相論理を、様々な例題を通してできるだけ容易に解説。述語論理については、論理型言語Ｐｒｏｌｏｇを解説する章を用意した。
著者紹介 【加藤】１９９１年岡山大学工学部卒。９３年岡山大学大学院工学研究科修士課程修了。９７年岡山大学大学院自然科学研究科博士課程修了。９８年日本学術振興会特別研究員。２０００年近畿大学講師。０４年近畿大学准教授、現在に至る。 
著者紹介 【高田】１９７９年大阪大学基礎工学部卒、コンピューターサービス（株）入社。９１年技術士。９３年（株）けいはんな入社。９９年（株）国際電気通信基礎技術研究所入所。２００２福岡工業大学助教授。０３年近畿大学助教授。０７年近畿大学准教授、現在に至る。 

ページの先頭へ