General description
- Bachelor level course (2nd year at UCLouvain)
- For computer sciences students
- 5 ECTS credits
- Fully in English
- Starting on September 17, 2018. Final exam to take place in January 2019 (see below)
What you'll learn?
By the end of this course, you'll be able to:
- specify problems, break them down into their basic steps, and design algorithms and abstractions to solve them
- choose the right programming paradigm and write a program in this paradigm to solve a problem
- use formal semantics to reason about program correctness
- write small concurrent programs in the deterministic dataflow paradigm
What are the learning activities in this course?
- Two online courses on edX.org including programming exercises (part 1 - Fundamentals and part 2 - Abstraction and concurrency): new runs to start in September 2018 (for part 1) and November 2018 (for part 2)
- Additional programming exercises supported by UCLouvain teaching-assistant between October and December
Exam modalities
- In-class exam (in your own university) to be organized between January 4 and 25, 2019 (exact date to be communicated around mid-November)
- Final exam based on practical programming exercises on your computer
- In-class exam gives 100% of your final grade for this course (the two online courses are only giving 1 bonus point if succeeded)
Preview of the course
- See archived version of the course on edX.org (if still open) (part 1 - Fundamentals and part 2 - Abstraction and concurrency)
- See videos of Pr. Van Roy on YouTube
- See detailed presentation of the course in the following video: