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

Course offering details

Instructors: Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

Event type: Lecture & Practice

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: - | 595

Lehrinhalte:
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 1

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [08:00]-Wed, 11. Jul. 2012 [09:40]

  • Foundations of Computer Science II: Logic for Computer Science

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [08:00]-Wed, 11. Jul. 2012 [09:40]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [08:00]-Wed, 11. Jul. 2012 [09:40]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [08:00]-Wed, 11. Jul. 2012 [09:40]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [09:50]-Wed, 11. Jul. 2012 [11:30]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [09:50]-Wed, 11. Jul. 2012 [11:30]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [09:50]-Wed, 11. Jul. 2012 [11:30]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [09:50]-Wed, 11. Jul. 2012 [11:30]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [11:40]-Wed, 11. Jul. 2012 [13:20]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [11:40]-Wed, 11. Jul. 2012 [13:20]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [11:40]-Wed, 11. Jul. 2012 [13:20]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [11:40]-Wed, 11. Jul. 2012 [13:20]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [14:25]-Wed, 11. Jul. 2012 [16:05]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [14:25]-Wed, 11. Jul. 2012 [16:05]

  • Foundations of Computer Science II: Logic for Computer Science

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Wed, 30. May 2012 [16:15]-Wed, 11. Jul. 2012 [17:55]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Fri, 1. Jun. 2012 [13:30]-Fri, 13. Jul. 2012 [15:10]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Fri, 1. Jun. 2012 [14:25]-Fri, 13. Jul. 2012 [16:05]

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

    Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik

    Th, 31. May 2012 [16:15]-Th, 12. Jul. 2012 [17:55]

Literature
Appointments
Date From To Room Instructors
1 Tue, 29. May 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
2 Mon, 4. Jun. 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
3 Tue, 5. Jun. 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
4 Mon, 11. Jun. 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
5 Tue, 12. Jun. 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
6 Mon, 18. Jun. 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
7 Tue, 19. Jun. 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
8 Mon, 25. Jun. 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
9 Tue, 26. Jun. 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
10 Mon, 2. Jul. 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
11 Tue, 3. Jul. 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
12 Mon, 9. Jul. 2012 09:50 11:30 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
13 Tue, 10. Jul. 2012 17:10 18:50 S311/08 Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Ph. D. Stephane Le Roux; Pavol Safarik
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
Instructors
Prof. Dr. phil. nat. Ulrich Kohlenbach
Pavol Safarik
Alexander Kreuzer
Ph. D. Stephane Le Roux