数理論理学とは

数理論理学(すうりろんりがく)とは、論理を数学によって研究する学問である。記号論理学(きごうろんりがく)とも言う。(Wikipedia)

数理論理学に関する書籍

数理論理学復刊数理論理学復刊 3885円
著者:松本和夫出版社:共立出版サイズ:単行本ページ数:192,発行年月:2001年08月この著者の新着メールを登録する【内容情報】(「BOOK」データベースより)数学基礎論の強力な手段であると共に、電子回路などへの工学的応用、さらには近年の機械学習理論への適用においても、その重要性が認識されている数理論理学の...


数理論理学数理論理学 3465円
商品副データ現代基礎数学鹿島亮朝倉書店この著者の新着メールを登録する発行年月:2009年10月登録情報サイズ:全集・双書ページ数:210pISBN:9784254117653【目次】(「BOOK」データベースより)証明を対象にするとは/自然演繹/論理式の真理値/自然演繹の健全性/自然演繹の完全性/不完全性定理/命題論理/さまざ...


数理論理学数理論理学 2940円
コンピュータサイエンス教科書シリーズ 著者:古川康一/向井国昭出版社:コロナ社サイズ:全集・双書ページ数:221p発行年月:2008年06月この著者の新着メールを登録する【目次】(「BOOK」データベースより)1 序論/2 論理と表現/3 命題論理/4 述語論理/5 ゲンツェンの自然演繹法/6 論理プログラム/7 論...


数理論理学と弁証法的論理学数理論理学と弁証法的論理学 1785円
著者:石川康晴出版社:日本図書刊行会/近代文芸社サイズ:単行本ページ数:161p発行年月:1997年07月この著者の新着メールを登録する【内容情報】(「BOOK」データベースより)論理学の哲学。「精神の自然史」と「続・精神の自然史」の論理学による基礎付けをする書。【目次】(「BOOK」データベースより)1 客体の論...


数理論理学数理論理学 2520円
コンピュータ数学シリーズ 著者:林晋出版社:コロナ社サイズ:全集・双書ページ数:177p発行年月:1989年12月この著者の新着メールを登録するこの商品の関連ジャンルです。 ・本> 科学・医学・技術> 数学


LINK AREA