In the seminar, we explored the foundations of predicate logic and its role in proving completeness theorems.
ゼミでは、一次・二次・多ソート・無限論理といった記号的な形式体系（総称して述語論理）の基礎と、それらが完全性定理の証明に果たす役割を探りました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
