- Logic and Computability
- Knowledge-based Systems
- Problem Solving and Search in Artificial Intelligence
- Machine Learning
- Discrete Reasoning Methods
- SAT Solving and Extensions
- Fuzzy Models
While I used to focus on algorithmics in past terms, this term I will mostly attend lectures on subjects related to logic. I have grown to love this subject after successfully taking the exams on Advanced Mathematical Logic and History of Logic in the previous term.
Let's see if I will manage to complete all courses I planned this time.
In medicine I only have one remaining exam, neurology, and as soon as I will pass it, I will be MD. But the exam is an obstacle since most examinators in this field of specialization are at least rather strict, if not even insane.