« July 2020 »
July
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031
Uni-Logo
You are here: Home Teaching Summer Term 2018 Decision Procedures (Lecture) Slides First Order Logic
Document Actions

First Order Logic

Syntax and Semantics of First Order Logic, Substitution, Semantic Tableaux, Soundness and Completeness, Normal Forms

fol.pdf — PDF document, 242Kb

Personal tools