資料詳細

  • 1 件中、 1 件目

【図書】 学んでみよう！記号論理

高崎金久 ／著   -- 日本評論社 -- ２０１４．８ -- ２１ｃｍ -- ２１２ｐ

資料詳細

タイトル 学んでみよう！記号論理
著者名等 高崎金久 ／著  
出版 日本評論社 ２０１４．８
大きさ等 ２１ｃｍ ２１２ｐ
分類 410.96
件名 記号論理学
注記 文献あり　索引あり
著者紹介 １９５６年石川県生まれ。近畿大学理工学部教授。専門は代数解析学と数理物理学。おもな著書「可積分系の世界－戸田格子とその仲間」「ツイスターの世界－時空・ツイスター空間・可積分系」「常微分方程式」「線形代数と数え上げ」などがある。
内容紹介 「数学の論理」と「論理の数学」、この違いとは。数理論理学を学ぶ入口として、数学を記号化する意味や記号化された論理を通して、数学の命題や証明を丁寧にひもといた１冊。
目次 論理の記号化；命題論理の考え方；意味論的諸概念；論理式の標準形；タブロー法；命題論理の演繹体系；命題論理の自然演繹；述語論理の考え方；述語論理の意味論；述語論理の演繹体系；完全性定理；付録　数学的予備知識
ISBN(13)、ISBN 978-4-535-78760-5　　 4-535-78760-3
書誌番号 1113190298
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113190298

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2052794989 iLisvirtual
神奈川 公開 Map 410 一般書 利用可 - 2055319815 iLisvirtual
南 公開 Map 410 一般書 利用可 - 2052816370 iLisvirtual
港南 公開 Map 410 一般書 利用可 - 2052767523 iLisvirtual
緑 公開 Map 410 一般書 利用可 - 2052816362 iLisvirtual

ページの先頭へ