20-00-0013-iv Introduction to Foundations of Computing

Course offering details

Instructors: M.Sc. Sarah Ereth; Prof. Dr.-Ing. Heiko Mantel; Dr.-Ing. Artem Starostin

Event type: Integrated Course

Org-unit: Dept. 20 - Computer Science

Displayed in timetable as: Einf.FoundationsComp

Subject:

Crediting for:

Hours per week: 3

Language of instruction: German

Min. | Max. participants: - | -

Course Contents:
Objectives:
see German description

Course Content:
see German description

Diploma Supplement:
The content of the course is currently under revision.

Literature:

  • Uwe Kastens und Hans Kleine Büning: Modellierung, Grundlagen und Formale Methoden, Hanser Verlag, 2005
  • Glynn Winskel: The Formal Semantics of Programming Languages, An Introduction, MIT Press, 1993
  • C.A.R. Hoare: Communicating Sequential Processes, Prentice Hall, 1985
  • Robin Milner: Communication and Concurrency, Prentice Hall, 1989

Preconditions:
Prerequisites: Grundlagen der Informatik I und II

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

  • Introduction to Foundations of Computing - Übungsgr. 1

    M.Sc. Sarah Ereth; Prof. Dr.-Ing. Heiko Mantel; Dr.-Ing. Artem Starostin

    Mon, 17. Oct. 2011 [11:40]-Mon, 6. Feb. 2012 [12:25]

    Show small group

  • Introduction to Foundations of Computing - Gr. 2

    M.Sc. Sarah Ereth; Prof. Dr.-Ing. Heiko Mantel; Dr.-Ing. Artem Starostin

    Mon, 10. Oct. 2011 [16:15]-Mon, 6. Feb. 2012 [17:00]

    Show small group

  • Introduction to Foundations of Computing - Gr. 3

    M.Sc. Sarah Ereth; Prof. Dr.-Ing. Heiko Mantel; Dr.-Ing. Artem Starostin

    Wed, 19. Oct. 2011 [11:40]-Wed, 8. Feb. 2012 [12:25]

    Show small group

  • Introduction to Foundations of Computing - Gr. 4

    M.Sc. Sarah Ereth; Prof. Dr.-Ing. Heiko Mantel; Dr.-Ing. Artem Starostin

    Wed, 19. Oct. 2011 [16:15]-Wed, 8. Feb. 2012 [17:00]

    Show small group

  • Introduction to Foundations of Computing - Gr. 5

    M.Sc. Sarah Ereth; Prof. Dr.-Ing. Heiko Mantel; Dr.-Ing. Artem Starostin

    Th, 20. Oct. 2011 [11:40]-Th, 9. Feb. 2012 [12:25]

    Show small group
Literature
Appointments
Date From To Room Instructors
1 Mon, 17. Oct. 2011 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
2 Mon, 24. Oct. 2011 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
3 Mon, 31. Oct. 2011 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
4 Mon, 7. Nov. 2011 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
5 Mon, 14. Nov. 2011 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
6 Mon, 21. Nov. 2011 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
7 Mon, 28. Nov. 2011 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
8 Mon, 5. Dec. 2011 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
9 Mon, 12. Dec. 2011 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
10 Mon, 19. Dec. 2011 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
11 Mon, 9. Jan. 2012 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
12 Mon, 16. Jan. 2012 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
13 Mon, 23. Jan. 2012 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
14 Mon, 30. Jan. 2012 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
15 Mon, 6. Feb. 2012 09:50 11:30 S202/C205 ROOM CLOSED ,  S202/C110 Prof. Dr.-Ing. Heiko Mantel
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Instructors
Prof. Dr.-Ing. Heiko Mantel
M.Sc. Sarah Ereth
Dr.-Ing. Artem Starostin