[過去ﾛｸﾞ] 数学の本 第101巻 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
197: 2024/09/27(金)23:26 ID:y6wHh6qd(1/5) AAS
情報工学 形式論理と計算可能性 (東京大学工学教程) 単行本 2024/9/28
東京大学工学教程編纂委員会 (編集), 蓮尾 一郎 (著), 浅田 和之 (著)
198: 2024/09/27(金)23:27 ID:y6wHh6qd(2/5) AAS
丸善出版のページのリンクが書き込めない？
外部ﾘﾝｸ[html]:www.maruzen-publishing.co.jp
199: 2024/09/27(金)23:28 ID:y6wHh6qd(3/5) AAS
書き込めた
書誌情報を何行かコピペしたら書き込めなかった
200: 2024/09/27(金)23:29 ID:y6wHh6qd(4/5) AAS
書き込めたか
201: 2024/09/27(金)23:31 ID:y6wHh6qd(5/5) AAS
内容紹介
本書は，基本的なトピックの中からさらに取捨選択を行い，直観や動機付けを重視しつつ技術的細部を積み上げていく，理論のユーザーとしての視点に徹したコンパクトな教科書である．
読者がいくつかの結果や証明のアイデアを身につけ，自らの専門分野に応用できるよう，理論展開全体のストーリー構成がなされている．
第I部「形式論理」は証明論とモデル理論の初歩に相当し，命題論理や述語論理を扱う．
本書の特徴に，「論理体系のショウケース」として最初に等式論理を用いた点が挙げられる．
ここでの議論や証明の本質的な部分が，より複雑な命題論理，述語論理において用いられる．
第II部「計算可能性」の第8章までが再帰理論の入門に相当する．
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.088s