Institutionernas doktorandkurser

Startdatum och periodicitet för kurser kan variera. Se detaljer för respektive kurs för aktuell information. För anmälan, kontakta respektive kursansvarig.


Verifierade funktionella algoritmer och datastrukturer

  • Kurskod: FDAT125
  • ECTS-poäng: 5,0
  • Institution: DATA- OCH INFORMATIONSTEKNIK
  • Forskarskola: Data- och informationsteknik
  • Startdatum: 2018-09-12
  • Slutdatum: 2018-10-26
  • Periodicitet: Nästa kursstart bestämt beroende på intresse.
  • Undervisningsspråk: Kursen kommer att ges på engelska
  • Nordic Five Tech (N5T): Kursen är kostnadsfri för doktorander från N5T-universitet
The course is organised as five 90-minute lectures followed by a project that can be done in individually or in pairs. The result of the project is assessed through a code review and an oral exam. The purpose of the oral exam is to make sure that the student(s) who submitted the work is the actual author of the work.
Litteratur
The lecture notes and any material handed out by the Tobias Nipkow.
Föreläsare
Tobias Nipkow, nipkow@in.tum.de
Mer information
Information om liknande kurs: http://www21.in.tum.de/teaching/FDS/SS18/

Publicerad: to 14 okt 2010. Ändrad: on 23 aug 2017