04-00-0246-vu Mmathematical Foundations of Functional Programming 2

Course offering details

Instructors: Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: 04-00-0246-vu

Subject:

Crediting for:

Hours per week: 3

Language of instruction: Englisch

Min. | Max. participants: - | -

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

  • Mmathematical Foundations of Functional Programming 2

    Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher

    Mon, 12. Oct. 2015 [18:05]-Mon, 8. Feb. 2016 [18:55]

    Show small group
Literature
Appointments
Date From To Room Instructors
1 Mon, 12. Oct. 2015 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
2 Mon, 19. Oct. 2015 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
3 Mon, 26. Oct. 2015 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
4 Mon, 2. Nov. 2015 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
5 Mon, 9. Nov. 2015 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
6 Mon, 16. Nov. 2015 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
7 Mon, 23. Nov. 2015 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
8 Mon, 30. Nov. 2015 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
9 Mon, 7. Dec. 2015 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
10 Mon, 14. Dec. 2015 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
11 Mon, 11. Jan. 2016 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
12 Mon, 18. Jan. 2016 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
13 Mon, 25. Jan. 2016 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
14 Mon, 1. Feb. 2016 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
15 Mon, 8. Feb. 2016 16:15 17:55 S215/51 Ph. D. Vassilios Gregoriades; Prof. Dr. rer. nat. Thomas Streicher
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Instructors
Prof. Dr. rer. nat. Thomas Streicher
Ph. D. Vassilios Gregoriades