For Moodle page: click here
The course will be similar to SAV 2012 and SAV 2011. (See there for overview as well.)
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.
Teaching staff:
-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.