Logica en Modelleren 11-12

Dit is de website van de cursus Logica en Modelleren, najaar 2011.
Deze pagina bevat algemene informatie.
Voor detailinformatie zijn er speciale pagina's.

Speciale pagina's:

Nieuw:

link naar oplossingenpagina van Patrick
Het voortentamen met uitwerkingen
Ook uitwerkingen van het tentamen van 27 oktober 2010

Docenten

hoorcolleges: Roel de Vrijer
werkcolleges: Patrick van Rietschoten en Peter Rutgers

Rooster

Wekelijks zijn er twee hoor- en twee werkcolleges. De tijden van het hoorcollege zijn:

college 1: maandag 11:00 - 12:45 in zaal M-607
college 2: woensdag 13:30 - 15.15 in zaal M-607

De hoorcolleges worden door iedereen gevolgd. Voor de werkcolleges worden twee groepen gevormd, dus van de vier geroosterde bijeenkomsten volg je er twee. Zie onderstaand schema.

	werkcollege 1	werkcollege 2	werkcollegebegeleider
Groep A	dinsdag 15:30 - 17:15, M-607	donderdag 13:30 - 15:15, M-607	Patrick van Rietschoten
Groep B	woensdag 15:30 - 17:15, M-607	vrijdag 11:00 - 12:45, M-607	Peter Rutgers

Collegemateriaal

We gebruiken het volgende boek:

Michael Huth en Mark Ryan, Logic in Computer Science. Cambridge University Press, Second Edition, 2004

Bij dit boek hoort ook een website:

http://www.cs.bham.ac.uk/research/lics

Via de WWW-tutor kun je door middel van multiple-choice vragen oefenen met bepaalde onderdelen (niet alle!) van de stof.

ProofWeb

Je kunt online oefenen met natuurlijke deductie via ProofWeb. Zie de handleiding.

Deelname aan het practicum ProofWeb met een voldoende voor de opdrachten levert 0,5 bonuspunt op voor het eindcijfer.

Om deel te kunnen nemen aan het practicum is aanmelding noodzakelijk. Je meldt je aan door een mailtje te sturen naar tcs@cs.vu.nl met subject "proofweb" en in de tekst alleen je voor- en achternaam en vu-net-id. Doe het nu!

ProofWeb zal worden geïntroduceerd op het college van maandag 12 september. Na een korte uitleg in de collegezaal verspreiden we ons dan over twee computerzalen: S-329 (groep A) en S-345 (groep B), met S-353 als overloop. De werkcolleges van dinsdag 13 en 20 september (groep A) en woensdag 14 en 21 september (groep B) zijn ook gewijd aan ProofWeb (steeds in zaal P-323).

Forum

Voor uitwisseling van ervaringen en het melden van problemen met ProofWeb wordt onder Discussion Board op Blackboard een discussieforum voor Logica en Modelleren ingesteld.

Tentamens

Voortentamen: vrijdag 30 september, 15.15 - 17.15, TenT 1
Tentamen: woensdag 26 oktober, 15.15 - 18.00, zalen KC-137 en KC-159

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

Deelname aan het practicum ProofWeb met een voldoende voor de opdrachten levert 0,5 bonuspunt op voor het eindcijfer.

Sectie theoretische informatica

http://www.cs.vu.nl/~tcs

Laatste wijziging: 20 oktober 2011