Logica voor Informatici 1998

Belangrijk! Gebruik voor raadpleging van deze pagina's netscape 4 (communicator). Als je op een SUN-station werkt, typ dan gewoon 'communicator &', en je krijgt hem op je scherm. Indien grote animaties gebruikt worden op een pagina, zorg er dan voor dat het hele document geladen is voordat je ermee aan het werk gaat. Er verschijnt meestal zoiets als 'document done' in de onderste balk van de navigator.

De instructies voor het college.

I. Propositielogica

	Week1	Week2	Week 3	Week 4
Leerstof	Boolese functies Boolese circuits Turingmachines	Hoofdstuk 2 en 3 van het boek.	Hoofdstuk 13. Par. 1,2,3,6,7,8,9 en 10.	Hoofdstuk 13. Par. 4
Huiswerk:	Ontwerp een Turing machine die een string van A's en B's omdraait.	Opgaven	Opgaven	Opgaven
Huiswerk:	Een voorbeeld van zo'n omdraaiende machine	Uitwerking	Uitwerking	Uitwerking (0pg1 & 4) Opg 2 Opg 3
Webanimaties	Een sorterende TM Een kwadraterende TM Een kwadraterende stereo TM	De waarheidstabulator De propositiecalculator Een sluitend tableau. Een niet-sluitend tableau	Een mogelijke werelden calculator	Een transitie-calculator voor reguliere programma's

Deeltoets: 08/10. Plaats en tijd als op het reguliere werkcollege. Hier zijn uitwerking van deze deeltoets.

II. Predicatenlogica

	Week 5	Week 6	Week 7	Week 8
Leerstof	Boek hfn. 6, 7, 8.1	Boek hf. 9	Boek hf. 15 + handout over definities.	Vervolg hf. 15 + handout correctheid.
Huiswerk	Boek: Opg. 6.3,6.4,6.7 7.3, 7.4, 7.7 en 7.8 Uitwerkingen.	Opgaven Uitwerkingen.	Opgaven Uitwerkingen.	Geen.
Webanimaties			Een predicaatlogische calculator.	Het beroemdheidsprogramma.

Deeltoets: 05/11. Plaats en tijd als op het reguliere werkcollege.

III. Logica en Berekening

	Week 9	Week 10	Week 11	Week 12
Leerstof	Handout.	Handout.	Handout.	Handout over inductive logic programming, en een overzichtsartikel over quantum computing.
Huiswerk	Opgaven in de handout.	Opgaven Uitwerkingen	Opgaven Uitwerkingen	Geen. In plaats daarvan oefenopgaven ivm komende deeltoets/tentamen/herkansing. Wordt behandeld op werkcollege van 26/11. Hier enige uitwerkingen.

Deeltoets: 07/12, 13.30u--16.30u in P227. Tentamenregeling vind je bij de oefenopgaven van het laatste werkcollege.