予約商品

情報工学形式論理と計算可能性

1～2日で出荷、新刊の場合、発売日以降のお届けになります

本書は、基本的なトピックの中からさらに取捨選択を行い、直観や動機付けを重視しつつ技術的細部を積み上げていく、理論のユーザーとしての視点に徹したコンパクトな教科書である。読者がいくつかの結果や証明のアイデアを身につけ、自らの専門分野に応用できるよう、理論展開全体のストーリー構成がなされている。

第I部「形式論理」は証明論とモデル理論の初歩に相当し、命題論理や述語論理を扱う。本書の特徴に、「論理体系のショウケース」として最初に等式論理を用いた点が挙げられる。ここでの議論や証明の本質的

お気に入りカテゴリ

よく利用するジャンルを設定できます。

カテゴリ

「+」ボタンからジャンル（検索条件）を絞って検索してください。
表示の並び替えができます。

情報工学 形式論理と計算可能性