Contents
This course forms the basis for all computer science programs. The goal of the course is to provide the participants with
The course is an introduction to algorithmics, programming and programming languages with emphasis on programming methodology specification, correctness and analysis of algorithms.
Keywords:
Fundamental programming concepts, systematic development of (small) programs, types, concrete semantics, fundamental algorithms and datastructures, elementary theory of the correctness and efficiency of algorithms, fundamental programming paradigms, data abstractions, graph algorithms, computer arithmetics.
Text-books
Lecture notes
Evaluation
4 hours written exam plus an oral exam
ECTS-credits
20
Semester
Fall and spring