actueel
- uitwerkingen voortentamen op de extra pagina
- uitwerkingen tentamen 17 februari 2011
- uitwerkingen huiswerk en practicum onderaan de opdrachten pagina
- Extra vragenuur
dinsdag 20 december, 15:30 uur, zaal P-624
docenten
- Roel de Vrijer (hoorcolleges)
- Patrick van Rietschoten (werkcolleges)
- Peter Rutgers (werkcolleges)
rooster
- hoorcolleges: maandag 11.00 - 12.45, zaal C-121
- werkcollege: woensdag 13.30 - 15.15, zaal M-648
- computerpracticum:
woensdag 7 en 14 december, 15:30 -17.15
- groep A: computerzaal S-101
- groep B: computerzaal P-323
literatuur
-
Michael Huth, Mark Ryan
Logic in Computer Science
Modelling and Reasoning about Systems
2nd edition, Cambridge University Press, 2004
ISBN: 0-521-54310-X
NB. dit boek wordt ook gebruikt bij het college Logica en Modelleren
-
Elliott Mendelson
Boolean Algebra and Switching Circuits
Schaum's Outline Series in Mathematics, McGraw-Hill, 1970
ISBN 007-041460-2
tentamens
-
voortentamen, woensdag 30 november 2011, 15.30 - 17.00
- groep A in C-668
- groep B in S-655
-
tentamen, woensdag 21 december 2011, 12.00 - 14.00, Q-112
Voor het voortentamen geldt de regeling: 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).
opdrachten
Tweemaal worden huiswerkopdrachten gegeven, die schriftelijk dienen te worden ingeleverd. Dit is in de tweede en de zesde week. Beide opdrachten moeten de week erop op maandag voor het college worden ingeleverd.Daarnaast zijn er in de zesde en zevende week opdrachten voor het computerpracticum satsolving.
Als alle opdrachten met een voldoende zijn beoordeeld, krijg je een bonus van 0.5 (een halve punt) op het tentamencijfer.