| Website: | website containing additional information |
| Course code: | INFOPST |
| Credits: | 15 ECTS (=10.5 old credit points) |
| Period: | periode 1 (week 36 t/m 45, dwz 8-9-2005 t/m 11-11-2005; herkansing week 1)
|  |
| Timeslot: | |
| Participants: | up till now 8 subscriptions |
| Schedule: | Dit is een oud rooster!
|
| Contents: | A crash course in:
- Functional Programming (the basic, incl. class-system)
- Grammar and Parsing (all in LN, incl LL1, pumping lemmas provisional)
- Correctness of Programming (all in LN-part1, OO-part provisional)
|
| Literature: |
- Haskell: the Craft of Functional Programming, Second Edition.
Simon Thompson. Addison-Wesley, 1999.
- Grammars and Parsing. Lecture Notes by J. Jeuring and
S.D. Swierstra. Dept. CS, Utrecht University, 2004.
- Introduction to a Correctness Approach in Programming
Lecture Notes by I.S.W.B. Prasetya, T.E.J. Vos, S.D. Swierstra.
Dept. CS, Utrecht University, 2005.
- Proof Outlines for Object-Oriented Programming.
Lecture Notes by C. Pierik and A.J. van Leeuwen.
Dept. CS, Utrecht University, 2005.
|
| Course form: | The students are expected to be able to do self-study. There is a detailed
course plan to guide the students to regulate their pace. The plan contains
instructions on chapters to read and exercises to do on weekly base. There will be meetings twice a week to dicuss theories and exercises; the students are expected to come to the meeting having already read the instructed materials. |
| Exam form: | There are about three obligatory assignments and one final exam for each topics (Functional Programming, Grammar and Parsing, and Correctness of Programming). The final grade is the average of all component grades, with the exams weighting more than the assignments. The exact grading formula will be announced in the course web page. |
| Minimum effort to qualify for 2nd chance exam: | Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan. |
| Description: | This crash course is intended to prepare new external Software Technology (ST) master students in a number of fundamental topics: Functional Programming, Grammar and Parsing, and Correctness of Programming. Almost all advanced courses in the ST Programme require familiarity with these topics and/or the mind set they advocate. |
