For Moodle page: click here
We initially refresh our knowledge of logic and agree on notation, but for a more thorough introduction, in addition to many textbooks, you may wish to check the videos of Introduction to Logic course at Coursera.
Grading scheme is weighted average rounded to half-grades using a linear non-homogeneous function:
Main changes compared to SAV 2012 is a little more focus on verifying recursive functional programs over imperative programs. This will also include some reordering of the material, including descriptions of fixpoints and recursion earlier, as well as earlier coverage of quantifier elimination.
-And how many hours a day did you do your lessons?
-Ten hours the first day, nine the next, and so on.
-What a curious plan!
-That's the reason they're called lessons, because they lessen from day to day.