数学論理学とは何か？その基礎を探る
0 コメント on 数学論理学とは何か？その基礎を探る.
数学論理学とは？その基礎を探る 概要： この授業では、数学論理学の基本概念を学びます。これには、言語...
命題論理の言語
0 コメント on 命題論理の言語.
命題論理の言語 概要 このノートでは、2つの記号からなる基本言語を用いて妥当な表現を得るためのメタ言...
形式的演繹体系：定義と例
0 コメント on 形式的演繹体系：定義と例.
命題論理における形式的演繹体系 要約：この授業では、形式的演繹体系について再検討します。これらの体系...
命題論理の不可欠な4つの推論技法
0 コメント on 命題論理の不可欠な4つの推論技法.
不可欠な4つの推論技法を学ぼう 要約：この授業では、これまでに紹介された初歩的な命題論理の計算を発展...
命題論理における5つの対称性
0 コメント on 命題論理における5つの対称性.
命題論理における5つの対称性 要約：本講義では、二重否定、仮言三段論法、含意の対偶、推論定理、および...
古典論理技法の証明
0 コメント on 古典論理技法の証明.
古典論理技法の証明 概要この講義では、連言と選言の導入および除去のための古典論理のいくつかの技法に加...
ド・モルガンの法則、分配法則およびその証明
0 コメント on ド・モルガンの法則、分配法則およびその証明.
ド・モルガンの法則、分配法則とその証明 要約本講義では、命題論理や集合論、確率論、位相空間論、電子工...
命題論理の意味論
0 コメント on 命題論理の意味論.
命題論理の意味論 要約この講義では、命題論理の意味論を学びます。特に、命題の真理値の割り当てと、それ...
ペアノの公理と自然数
0 コメント on ペアノの公理と自然数.
自然数とペアノの公理自然数とペアノの公理 要約 この講義では、自然数と、それがペアノの公理によってど...
物理学における連続体：点的なものから連続的なものへ
0 コメント on 物理学における連続体：点的なものから連続的なものへ.
物理学における連続体：点的なものから連続的なものへ 要約: この講義では物理学における連続体を研究す...