« December 2019 »
December
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
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