Donnerstag, 15. März 2012

This term (summer 2012)

This term I'm planning to do several seminars, comprising at least seminars in algorithms, logic and artificial intelligence, maybe also in theoretical computer science. Moreover, I have decided to try the following courses:

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