Voorbereiding op softwaretechnologie

Website:website met extra informatie
Onderwijs:Het vak INFOPST wordt in 2012/2013 niet aangeboden.
Onderwijs:Het is nog niet zeker of en zo ja in welke periode van 2012/2013 dit vak wordt aangeboden.
Nota bene:Er is geen recente vakbeschrijving beschikbaar.
Onderstaande tekst is een oude vakbeschrijving uit collegejaar 2006/2007
Inhoud:A crash course in:
  1. Functional Programming (the basics, including the class-system)
  2. Grammar and Parsing (everything in the Lecture Notes)
  3. Correctness of Programming (all in LN-part1, OO-part provisional)
Literatuur:kan veranderen!

  1. Haskell: the Craft of Functional Programming, Second Edition. Simon Thompson. Addison-Wesley, 1999.

  2. Grammars and Parsing. Lecture Notes by J. Jeuring and S.D. Swierstra. Dept. CS, Utrecht University, 2001.

  3. 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.

  4. Proof Outlines for Object-Oriented Programming. Lecture Notes by C. Pierik and A.J. van Leeuwen. Dept. CS, Utrecht University, 2005.
Werkvorm:The students are expected to study the course material individually. 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 a weekly basis. There will be meetings twice a week to discuss the theory and exercises; the students are expected to come to the meeting having already read the instructed materials.
Toetsvorm:There are two obligatory assignments and one final exam for each topic (Functional Programming, Grammars 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 on the course web page.
Inspanningsverplichting voor aanvullende toets:Om aan de aanvullende toets te mogen meedoen moet de oorspronkelijke uitslag minstens 4 zijn.
Beschrijving:This crash course is intended to prepare new external Software Technology (ST) master students in a number of fundamental topics: Functional Programming, Grammars 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.
wijzigen?