VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

252-0007-00L 4 Credits
You're viewing possible stale or outdated data. Please check the latest semester for more up-to-date information.

Logic

Logik

Lecturers & Examiners: Prof. Dr. Robert Stärk
VVZ CR n/a

Last Updated: 2026-02-05 14:53:05

Abstract

Introdution to propositional logic, predicate logic and logic programming (Prolog).

Objective

Vertraut werden mit den Grundbegriffen der Logik. Fähigkeit erlernen natürlich sprachliche Aussagen in logische Formeln zu übersetzen und umgekehrt logische Formeln zu lesen und daraus die richtigen Schlüsse zu ziehen. Lernen die Prädikatenlogik erster Stufe als universelle Spezifikationssprache zu benutzen. Die Grundlagen legen für die Anwendung der Logik in der Informatik wie etwa Digitaltechnik (Boolesche Funktionen), Komplexitätstheorie (SAT/NP), Berechnungstheorie (Entscheidungsproblem), Datenbanken (Logik als Abfragesprache), Software Engineering (Logik als Spezifikationssprache).

Content

Part I. Propositional logic: propositions, logical operators, syntax of propositional logic, formulas, semantics of propositional logic, truth tables, satisfiability, validity, logical consequence, deductive systems, axioms, proof rules, formal derivations, Boolean functions, truth functional completeness, normal forms, negation normal form, disjunctive normal forms, conjunctive normal form, clause sets, automatic proof procedures. Part II. Predicate logic: predicates, quantifiers, equality, syntax of first-order logic, semantics of first-order logic, structures, models, isomorphic structures, finite structures, quantifier rules, deductive systems, logical calculi, undecidability of first-order logic, Peano arithmetic, induction. Part III. Logic programming: Horn clauses, Datalog, queries, unification, substitutions, most general unifiers, SLD-resolution, Prolog, syntax of lists, list predicates, back-tracking, declarative programming.

Resources

Lecture Notes

ja

Literature

K. R. Apt: From Logic Programming to Prolog. International Series in Computer Science. Prentice Hall, 1996. [Introduction to the foundations of logic programming and its applications to Prolog.] J. Barwise and J. Etchemendy: Language Proof and Logic. CSLI Publications, 2000. [Introduction to first-order logic for students of philosophy, computer science and mathematics. Includes the learning software Tarki's World, Fitch, Bool.] D. van Dalen: Logic and Structure. Springer-Verlag, 3rd edition, 1994. [Thorough introduction to elementary classical logic with connections of logic to other parts of mathematics.] H.-D. Ebbinghaus, J. Flum, and W. Thomas: Mathematical Logic. Springer-Verlag, 2nd edition, 1996. [Introduction to mathematical logic and model theory for students of mathematics.] U. Schönig: Logik für Informatiker. Spektrum Akademischer Verlag, 5. Auflage, 2000. [A classical introduction to logic for computer science students. Unfortunately the book is based too much on resolution.] R. Stärk: Logik. ETH Zürich, 2002. [Lecture notes for Logik]

General Information

Language
German
Frequency
Yearly recurring

Examination

Type
session examination
Mode
written 120 minutes
Aids
6 A4-Seiten Zusammenfassung (= 3 A4-Blätter), hand- oder computergeschrieben.

Course Components

Type Title Time & Place Hours
lecture Logik
  • Wed 10:15-12:00 (HG F 5)
2 h weekly
exercise Logik
  • Wed 12:15-13:00 (HG D 3.2)
  • Wed 13:15-14:00 (CLA E 4)
  • Wed 13:15-14:00 (ETZ F 91)
  • Wed 13:15-14:00 (HG E 1.1)
  • Wed 13:15-14:00 (HG E 1.2)
  • Wed 13:15-14:00 (HG E 21)
  • Wed 13:15-14:00 (IFW A 32.1)
  • Wed 13:15-14:00 (LFW E 11)
  • Wed 13:15-14:00 (ML F 38)
  • Wed 13:15-14:00 (ML H 43)
  • Fri 13:15-14:00 (ML F 40)
  • 19.11 Date 14:15-15:00 (ML F 40)
  • 28.01 Date 13:15-14:00 (HG D 3.2)
1 h weekly

Offered In