Automatisches Beweisen

Viorica Sofronie-Stokkermans <sofronie at mpi-sb.mpg.de>

• Prüfung (1. Termin): 22.02.2005, 13:00 Uhr in Raum H 424.

  Die Scheine können ab sofort vormittags im Sekretariat von Prof. Näher - Raum H 426 - abgeholt werden.

• Prüfung (2. Termin): 27.04.2005, 9:30 Uhr in Raum H 424.

• Vorlesung

  Zeit und Ort: Dienstag 12:00-14:00, HS 13

  • Vorlesung 26.10.2004: v1
  • Vorlesung 02.11.2004: v2
  • Vorlesung 09.11.2004: v3
  • Vorlesung 16.11.2004: v4
  • Vorlesung 23.11.2004: v5
  • Vorlesung 30.11.2004: v6
  • Vorlesung 07.12.2004: v7
  • Vorlesung 14.12.2004: v8
  • Vorlesung 04.01.2005: v9
  • Vorlesung 11.01.2005: v10
  • Vorlesung 18.01.2005: v11
  • Vorlesung 25.01.2005: v12
  • Vorlesung 01.02.2005: v13
  • Vorlesung 08.02.2005: v14
  • Vorlesung 15.02.2005: v15

• Literatur und Folien

• Übungen

  Zeit und Ort: Montag 14:00-15:00, CIP Pool, 5.Stock, H524 (bis 29.11.2004).

  Ab 29.11.2004: Montag 14:00-15:00, Multimedia Raum, 4.Stock, H406

  Sprechstunde: Dienstag 14:00-15:00, H424

  • Übungsblatt 1, 2.11.2004 [PDF] [PS]
  • Übungsblatt 2, 8.11.2004 [PDF] [PS]
  • Übungsblatt 3, 15.11.2004 [PDF] [PS]
  • Übungsblatt 4, 22.11.2004 [PDF] [PS]
  • Übungsblatt 5, 29.11.2004 [PDF] [PS]
  • Übungsblatt 6, 06.12.2004 [PDF] [PS]
  • Übungsblatt 7, 13.12.2004 [PDF] [PS]
  • Übungsblatt 8, 03.01.2005 [PDF] [PS]
  • Übungsblatt 9, 10.01.2005 [PDF] [PS]
  • Übungsblatt 10, 17.01.2005 [PDF] [PS]
  • Übungsblatt 11, 24.01.2005 [PDF] [PS]
  • Übungsblatt 12, 31.01.2005 [PDF] [PS]
  • Übungsblatt 13, 07.02.2005 [PDF] [PS]

Literatur