"- Proof and model theory: soundness and completeness, semantic tableaux, natural deduction, sequent calculus, resolution, Horn theories, logic programming. Not all proof methods will be covered, but selected methods will be covered in depth.
Selected issues in meta theory of which the following are representative issues: Lowenheim-Skolem theorem, Herbrand's theorem, compactness, Lindström's theorem, Gödel's incompleteness theorem, axiomatization of natural, rational and real numbers.
Introduction to non-standard logics: modal logic, 2nd-order logic."
4 comments so far
Första delen av kursen Logics II avslutades för en timme sedan. Inlämningsuppgifterna har inte avslöjats än.
4 weeks, 1 day ago by moonhouse
Oj. Sedär. Vad ingår i en del II kurs?
4 weeks, 1 day ago by uchman
"- Proof and model theory: soundness and completeness, semantic tableaux, natural deduction, sequent calculus, resolution, Horn theories, logic programming. Not all proof methods will be covered, but selected methods will be covered in depth.
Selected issues in meta theory of which the following are representative issues: Lowenheim-Skolem theorem, Herbrand's theorem, compactness, Lindström's theorem, Gödel's incompleteness theorem, axiomatization of natural, rational and real numbers.
Introduction to non-standard logics: modal logic, 2nd-order logic."
4 weeks, 1 day ago by moonhouse
Verkar ju rätt smaskigt måste jag säga. Completeness är det ju ett jääävla jidder om i matematiken.
4 weeks, 1 day ago by uchman