Inleiding Logica 08-09

Speciale pagina's:

Docenten

hoorcolleges: Roel de Vrijer
werkcolleges: Brinio Hond en Martijn Vermaat

Rooster

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

college 1: maandag 15:30 - 17:15 in zaal Q105
college 2: woensdag 11:00 - 12.45 in zaal M143

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 9:00 - 10:45, Q105	donderdag 9:00 - 10:45, S111	Brinio Hond
Groep B	woensdag 9:00 - 10:45, 04A05	vrijdag 9:00 - 10:45, 04A05	Martijn Vermaat

NB: de werkcolleges van 8 en 9 oktober gaan over ProofWeb voor de predikatenlogica en vinden plaats in computerzaal S345.

Collegemateriaal

We gebruiken het volgende boek:

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

NB: Voor wie nog geen boek heeft hebben we gescand:

een stukje uit hoofdstuk 6 over BDD's:
pagina [358][359][360][361][362][363][364][365][366-372]
een stukje uit hoofdstuk 1 over natuurlijke deductie: pagina [26-28]
de relevante opgaven, zie de webpagina van het werkcollege

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.

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. Doe het nu!

ProofWeb zal worden geïntroduceerd op het college van maandag 15 september. Na een korte uitleg in de collegezaal Q105 verspreiden we ons dan over de computerzalen S329 en S345. De werkcolleges van dinsdag en woensdag 16 en 17 september zijn ook gewijd aan ProofWeb: groep A 16 september 9-11 uur in zaal S329 en groep B 17 september 9-11 uur in zaal S345.

In oktober zal nog een werkcollege worden besteed aan ProofWeb voor de predikatenlogica.

Forum

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

Tentamens

Voortentamen: maandag 29 september, 15.30 - 17.30, Q105, Q112
Tentamen: vrijdag 24 oktober, 15.15 - 18.00, Q105, Q112

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: 22 oktober 2008