最安値はここだ！ -価格比較-

商品について

JANコード

9784254500387

希望小売価格

3520

Y!での商品説明(HMV&BOOKS online Yahoo!店)

発売日:2023年10月 / ジャンル:社会・政治 / フォーマット:本 / 出版社:朝倉書店 / 発売国:日本 / ISBN:9784254500387 / アーティストキーワード:山本新

内容詳細:目次:第１章　論理学とはなにか（正しい推論/ 対象言語とメタ言語/ 公理体系）/ 第２章　命題論理（命題の記号化/ 論理式　ほか）/ 第３章　述語論理（命題の記号化/ 限量記号の用法　ほか）/ 第４章　様相論理（様相命題論理/ 意味論/ 健全性/ 完全性/ 決定可能性/ 様相述語論理/ 意味論/ 健全性/ 完全性）/ 第５章　直観主義論理（直観主義命題論理/ 意味論/ 健全性/ 完全性/ 決定可能性/ 直観主義述語論理/ 意味論/ 健全性/ 完全性）/ 補論１　ゲンツェンの論理体系/ 補論２　様相論理への補論/ 補論３　線形論理について

楽天での商品説明(楽天ブックス)

山本 新 入江 俊夫 朝倉書店キゴウロンリガク ヤマモト アラタ イリエ トシオ 発行年月：2023年11月08日 予約締切日：2023年08月08日 ページ数：240p サイズ：単行本 ISBN：9784254500387 山本新（ヤマモトシン） 1949年岡山県に生まれる。1982年東京大学大学院理学系研究科修了。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任 入江俊夫（イリエトシオ） 1970年栃木県に生まれる。現在、東邦大学、東京医療保健大学で非常勤講師をつとめる。博士（文学） 田村高幸（タムラタカユキ） 1962年東京都に生まれる。現在、千葉大学大学院社会科学研究院助教。博士（理学）（本データはこの書籍が刊行された当時に掲載されていたものです） 第1章　論理学とはなにか（正しい推論／対象言語とメタ言語／公理体系）／第2章　命題論理（命題の記号化／論理式　ほか）／第3章　述語論理（命題の記号化／限量記号の用法　ほか）／第4章　様相論理（様相命題論理／意味論／健全性／完全性／決定可能性／様相述語論理／意味論／健全性／完全性）／第5章　直観主義論理（直観主義命題論理／意味論／健全性／完全性／決定可能性／直観主義述語論理／意味論／健全性／完全性）／補論1　ゲンツェンの論理体系／補論2　様相論理への補論／補論3　線形論理について 本 科学・技術 数学