practicum 5 (maandag 29 oktober 2012)
Op het practicum te behandelen:
- uit hfdstk 7 van de syllabus Predikatenlogica, sectie 6 (prakticumopdrachten): 1, 2, 3(a,b)
- uit hfdstk 7 van de syllabus Predikatenlogica, sectie 6 (prakticumopdrachten): opgave 3(c,d), 4
practicum 4 (maandag 22 oktober 2012)
Op het practicum te behandelen:
- uit hfdstk 6 van de syllabus Predikatenlogica, sectie 6 (prakticumopdrachten): 1(a,b,c,d,e), 2
- uit hfdstk 6 van de syllabus Predikatenlogica, sectie 6 (prakticumopdrachten): opgave 1(f,g,h,i), 3
practicum 4 (maandag 15 oktober 2012)
Dit practicum is een werkcollege. Voor het timeslot van 15.15-17u is er zaal KNG80-2.31 (21) als extra zaaltje geboekt.
op het practicum te behandelen:
- uit hfdstk 4 van de syllabus Predikatenlogica: 3,4,5.
- uit hfdstk 5 van de syllabus Predikatenlogica: 1(c,d)
- uit hfdstk 4 van de syllabus Predikatenlogica: opgave 2,6
- uit hfdstk 5 van de syllabus Predikatenlogica: opgave 1(a,b,e)
practicum 3 (maandag 1 oktober 2012)
Practicumopgaven te doen m.b.v. yices (d.w.z. modelleer de iedere vraag als satisfiability probleem, geef dat aan yices, en leg uit hoe de uitkomst van yices de oorspronkelijke vraag beantwoordt).
op het practicum te behandelen:
- uit hfdstk 8 van de syllabus Propositielogica: 1(iv,v),7(ii,iii),9,10,11
- uit hfdstk 8 van de syllabus Propositielogica:
1(vii), 7(viii), en de volgende twee opgaven
- We zijn nog (zie opgaven 9 en 10 uit de syllabus) op het eiland van de nobelen en de schurken. De reiziger ontmoet twee inwoners die lui in de zon liggen. De reiziger vraagt aan de eerste of de ander een nobele is (en krijgt een antwoord), en vraagt vervolgens aan de ander of de eerste een nobele is (en krijgt weer een antwoord). Zijn de twee antwoorden die de reiziger kreeg noodzakelijkerwijs hetzelfde?
- Nog steeds op het zelfde eiland, weet de reiziger dat er een hoofd van het eiland is. Na wat gezoek komt hij tot de conclusie dat een van twee broers, Og en Bog, het hoofd moet zijn, maar hij wist nog niet wie van de twee totdat ze het volgende zeiden. Og: Bog is het hoofd en hij is een schurk! Bog: Og is niet het hoofd, maar hij is een nobele. Wie is het hoofd?
practicum 2 (maandag 24 september 2012)
Practicumopgaven over satisfiability te doen m.b.v. yices (1) (download) als getoond op het hoorcollege. Het programma is al geinstalleerd op de practicumcomputers, zie de yices instructie van ICT en Media, over hoe je het kunt gebruiken op de practicumcomputers. (Je kunt het ook thuis installeren. Lees b.v. aanvullende instructie voor Windows.)
Een vb is op het college behandeld, nl of A een semantisch gevolg van A & B is.
Daartoe kan gecheckt worden of de verzameling { A & B, niet A } strijdig is.
Deze verzameling wordt gecodeerd in het bestand test.smt
die je in je homedirectory (zie je loginnaam onder places in een finder window) dient te plaatsen.
Om te checken of een formule vervulbaar
tik je vervolgens in een terminal in:
yices -smt -e test.smt
gevolgd door een return.
(als de formule vervulbaar is dan geeft het programma
een vervulling terug; anders zegt het unsat)
op het practicum te behandelen:
- uit hfdstk 6 van de syllabus Propositielogica: 5(i,ii),7(ii,iii),8(i),9(iii),9(v).
- uit hfdstk 6 van de syllabus Propositielogica: 5(iii),8(iii),9(iv).
Uitdaging:
-
Schrijf een formule die willekeurige Sudoku’s oplost
(het is een lange basis formule die per sudoko aangevuld wordt met extra condities).
Om dit op te lossen kunt u in stappen te werk gaan, b.v.:
-
Bedenk eerst proposities die aangeven welk cijfer op welke coordinaat staat,
b.v. zou je
p003
als propositie die uitdrukt dat op coordinaat 0,0 van de sudoku het cijfer 3 staat, kunnen nemen. -
Druk vervolgens de eisen die op sudoku's gelden uit m.b.v. formules in de propositielogica.
B.v.
p001 \/ ... \/ p009
drukt uit dat op coordinaat 0,0 een van de cijfers 1 t/m 9 moet staan; -
Druk vervolgens de beginsituatie van een concrete sudoku uit.
B.v.
p114 /\ p215
drukt uit dat op er een 4 staat op coordinaat 1,1 en eeb 5 op coordinaat 2,1; - Neem de conjunctie van alle eisen en de beginsituatie (een hele grote formule), voer die geschikt in yices in en laat yices z'n werk doen.
-
Bedenk eerst proposities die aangeven welk cijfer op welke coordinaat staat,
b.v. zou je
practicum 1 (maandag 17 september 2012)
Practicumopgaven te doen m.b.v. de
waarheidstabulator (openen met Firefox;
heb even geduld na het indrukken van step)
op het practicum te behandelen:
- uit hfdstk 4 van de syllabus Propositielogica: 1(iv)-(vi),4(iv),5(ii)
- uit hfdstk 4 van de syllabus Propositielogica: 4(vii),5(iv)
Mocht u tijd over hebben, kijk dan alvast of u yices als benodigd in het volgende practicum kunt gebruiken.
Inleveropgaven dienen zelfstandig gemaakt te worden. Onderdelen van de opgegeven sommen uit de syllabus die noch bij de werkgroepopgaven noch bij de inleveropgaven voorkomen, kunt u natuurlijk zelf (buiten de werkgroepen) maken. Ook over die opgaven kunt u desgewenst vragen stellen tijdens de werkgroepen.