Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Inleiding Logica 05-06
hoorcollege: maandagmiddag, 13:30 - 15:15 in zaal Q105
werkcollege:
dinsdag, 9:00 - 10:45 in C121 (Martijn Vermaat)
vrijdag, 11:00 - 12:45 (Joris Nederpelt)
in P028 op 2 december
in C629 op 9 december
NB: Extra werkcollege annex vragenuur op 13 december.
Zie de pagina van het werkcollege.
Collegemateriaal
We gebruiken het volgende boek:
Michael Huth en Mark Ryan, Logic in Computer Science.
Cambridge University Press, Second Edition, 2004
Het is in principe ook mogelijk het college te volgen aan de hand van de
eerste druk, de nummering van de opgaven verschilt echter nogal en er
ontbreken een paar nieuwe paragrafen.
Voor het voortentamen geldt de standaardregeling: deelname is niet verplicht,
maar wordt sterk aangeraden. Het resultaat kan de tentamenuitslag alleen
positief beinvloeden, het weegt dan voor 1/3 mee. Precies gezegd:
als V het cijfer voor het voortentamen is,
en T het tentamencijfer, dan is het eindcijfer
max(T, (2T+V)/3).