04-00-0090-vu Foundations of Computer Science II: Logic for Computer Science

Course offering details

Instructors: Alexander Kreuzer; Prof. Dr. Martin Ziegler

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: FGdI II

Subject:

Crediting for:

Hours per week: 3

Credits: 4,5

Language of instruction: German

Min. | Max. participants: - | 540

Course Contents:
syntax and semantics of the predicate calculus, basic concepts of semantics;
functional completeness and normal forms; compactness theorem of
predicate calculus; complete calculi of proofs: resolution and a calculus of
sequences; structures and declarations; normal forms and Skolem reduction;
theorem of Herbrand; Gödels Completeness Theorem; undecidability
(theorem of Church-Turing)

Small group(s)
This course is divided into the following small groups:

  • Foundations of Computer Science II: Logic for Computer Science Übung 1

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [08:00]-Wed, 13. Jul. 2011 [09:40]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 10

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [11:40]-Wed, 13. Jul. 2011 [13:20]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 11

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [13:30]-Wed, 13. Jul. 2011 [16:05]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 12

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Th, 9. Jun. 2011 [16:15]-Th, 14. Jul. 2011 [17:55]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 13

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Fri, 3. Jun. 2011 [13:30]-Fri, 15. Jul. 2011 [15:10]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 14

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Fri, 3. Jun. 2011 [14:25]-Fri, 15. Jul. 2011 [16:05]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 15

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [09:50]-Wed, 13. Jul. 2011 [11:30]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 16

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [11:40]-Wed, 13. Jul. 2011 [13:20]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 17

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [14:25]-Wed, 13. Jul. 2011 [16:05]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 2

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [08:00]-Wed, 13. Jul. 2011 [09:40]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 3

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [08:00]-Wed, 13. Jul. 2011 [09:40]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 4

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [08:00]-Wed, 13. Jul. 2011 [09:40]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 5

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [09:50]-Wed, 13. Jul. 2011 [11:30]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 6

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [09:50]-Wed, 13. Jul. 2011 [11:30]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 7

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [09:50]-Wed, 13. Jul. 2011 [11:30]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 8

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [11:40]-Wed, 13. Jul. 2011 [13:20]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science Übung 9

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [11:40]-Wed, 13. Jul. 2011 [13:20]

    Show small group

  • Foundations of Computer Science II: Logic for Computer Science

    Alexander Kreuzer; Prof. Dr. Martin Ziegler

    Wed, 1. Jun. 2011 [16:15]-Wed, 13. Jul. 2011 [17:55]

    Show small group
Literature
Appointments
Date From To Room Instructors
1 Mon, 30. May 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
2 Tue, 31. May 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
3 Mon, 6. Jun. 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
4 Tue, 7. Jun. 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
5 Tue, 14. Jun. 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
6 Mon, 20. Jun. 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
7 Tue, 21. Jun. 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
8 Mon, 27. Jun. 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
9 Tue, 28. Jun. 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
10 Mon, 4. Jul. 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
11 Tue, 5. Jul. 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
12 Mon, 11. Jul. 2011 09:50 11:30 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
13 Tue, 12. Jul. 2011 17:10 18:50 S311/08 Alexander Kreuzer; Prof. Dr. Martin Ziegler
14 Th, 18. Aug. 2011 09:50 11:40 S103/107 Alexander Kreuzer; Prof. Dr. Martin Ziegler
15 Mon, 22. Aug. 2011 09:50 11:30 S103/107 Alexander Kreuzer; Prof. Dr. Martin Ziegler
16 Wed, 24. Aug. 2011 09:50 11:30 S103/107 Alexander Kreuzer; Prof. Dr. Martin Ziegler
17 Th, 25. Aug. 2011 09:50 11:30 S103/107 Alexander Kreuzer; Prof. Dr. Martin Ziegler
18 Fri, 26. Aug. 2011 09:50 11:30 S103/107 Alexander Kreuzer; Prof. Dr. Martin Ziegler
19 Mon, 29. Aug. 2011 09:50 11:30 S103/107 Alexander Kreuzer; Prof. Dr. Martin Ziegler
20 Tue, 30. Aug. 2011 09:50 11:30 S103/107 Alexander Kreuzer; Prof. Dr. Martin Ziegler
21 Mon, 5. Sep. 2011 09:00 18:10 S215/51 Alexander Kreuzer; Prof. Dr. Martin Ziegler
22 Tue, 6. Sep. 2011 09:00 18:10 S215/51 Alexander Kreuzer; Prof. Dr. Martin Ziegler
23 Wed, 7. Sep. 2011 09:00 18:10 S215/51 Alexander Kreuzer; Prof. Dr. Martin Ziegler
24 Th, 8. Sep. 2011 09:00 18:10 S215/51 Alexander Kreuzer; Prof. Dr. Martin Ziegler
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  •  
Instructors
Alexander Kreuzer
Prof. Dr. Martin Ziegler