practicum 8 (maandag 4 november 2013)
Het practicum is dit keer een werkcollege. Oefenopgaven te doen voor tijdens het practicum: uit hoofdstuk 7 van de syllabus predicatenlogica: 1a, 1c, 2a, 2b, 3a, 3b, 3c, 4a, 4c, 6a, 6b, 7a, 7b, 8a.practicum 7 (maandag 28 oktober 2013)
Inleveren maandag 4 oktober van dit document: 1. Stamboom, Opgave 1-2, 3. Reizen 3.1-3.4. Evt. bonus inleveren maandag 4 oktober: 2. Latijns Vierkant 1-3. Bij de stamboomopgave is het niet erg als je programma antwoorden dubbel teruggeeft. Verklaar wel goed in je commentaar bij Opgave 2 waarom dit gebeurt.Inspiratie voor de inleveropgaven kun je opdoen uit de voorbeelden van het hoorcollege. (Zie hoorcollege 13 op de hoorcollegepagina). Deze voorbeelden worden ook uitgelegd in hoofdstuk 2 en 3 van Learn Prolog Now, welke online beschikbaar zijn op prolog.
practicum 6 (maandag 21 oktober 2013)
Practicumopgaven over Prolog.- Op het practicum te doen: 1.4 en 1.5 van prolog. 1.5 eerst zelf op papier maken, en daarna uitproberen met Prolog.
-
update:
Inleveren maandag 28 oktober: deze opgaven.(dwz alleen de wg opgaven hoeven ingeleverd te worden). - De presentatie bij het practicum als powerpoint en als PDF.
practicum 5 (maandag 14 oktober 2013)
Practicumopgaven over modellen in predikatenlogica te maken mbv modellen tool (Jan Jaspars).- Op het prakticum te doen: uit hoofdstuk 6 van de syllabus predikatenlogica: 1(a), 1(c), 1(e), 3(a), 3(b).
- Inleveren maandag 21 oktober: uit hoofdstuk 6 van de syllabus predikatenlogica: 1(b), 1(d), 3(c).
(maandag 7 oktober geen practicum ivm toets)
practicum 4 (maandag 30 september 2013)
Opgaven over redeneren te doen m.b.v. vervulbaarheidschecker yices (1) of naar keuze met de natural deduction proof builder app.Op het practicum te doen mbv een van beide tools, waarbij u steeds zelf mag kiezen (in weerwil van wat in de opgaven staat), of u het semantisch aantoont (mbv yices) of syntactisch (mbv de natural deduction proof builder). Wel dient u steeds te rechtvaardigen waarom het tool van toepassing is, b.v. waarom yices (semantisch) gebruikt kan worden om een afleidbaarheidsvraag (syntactisch) te beantwoorden.
-
Uit hoofdstuk 6,
8(i),8(iii), 14(iii), 15(iv). Uit hoofdstuk 8, 7(v). Uit hoofdstuk 9, 7(iv), 7(x).
-
Uit hoofdstuk 6,
8(ii),8(iv),14(iv)14(ii). Uit hoofdstuk 9, 7(viii).
practicum 3 (maandag 23 september 2013)
Practicumopgaven over satisfiability te doen m.b.v. vervulbaarheidschecker yices (1).
Toevoeging 24 september: korte handleiding hoe yices te installeren en gebruiken op windows XP (lijkt ook te werken voor windows 7).
Het programma yices is al geinstalleerd op de practicumcomputers. Om het te gebruiken dient u eerst het Terminal programma op te starten. In een terminal kunt u commando's intikken b.v.:
-
pwd
Toont de map waarin (op dat moment) gewerkt wordt. U dient uw yices-bestand, zeg mijnbestand.smt, in die map te plaatsen. yices-bestanden zijn tekstbestanden. U kunt het op het eerste college gegeven bestand whodunnit.smt nemen, en dit dan aanpassen. -
yices -e -smt mijnbestand.smt
Roept yices aan en produceert het resultaat van het checken van vervulbaarheid van de formule in het bestand mijnbestand.smt, op het scherm.
- Uit hoofdstuk 6 van de syllabus: 9(i),9(v),15(ii),8(i);
- Laat zien dat (p en niet p) een contradictie is;
-
geef een formule in p,q,r1,r2 die uitrdrukt dat
r1r2 (als binair getal) de som van (de bits) p en q is,
b.v. een vervulling van deze formule onstaat door
r1,p,q waar te nemen en r2 onwaar (de som 2 = 1+1).
gebruik deze formule om waarden van p en q te vinden
(te laten vinden door yices) zodanig dat hun som 1 is.
Ga systematisch te werk door geschikte waarheidstafels op te stellen.
Geef steeds het yices-bestand behorende bij de opgave, de yices-uitvoer, en licht toe hoe dit de vraag beantwoordt.
inleveropgaven te doen mbv yices (inleveren maandag 30 september):- Uit hoofdstuk 6 van de syllabus 9(iii),14(iv),8(ii).
-
geef een formule in p1,p2,q1,q2,r1,r2,r3 die uitdrukt dat
r1r2r3 (als binair getal) de som van (de binaire getallen) p1p2 en q1q2 is.
gebruik deze formule om waarden van p1,p2 en q1,q2 te vinden
(te laten vinden door yices) zodanig dat hun som 3 is
(dwz r1 is onwaar, r2,r3 zijn waar). een oplossing volstaat.
(bonus: alle oplossingen voor dit probleem).
Hint: u kunt extra propositionele atomen gebruiken om de overdrachten (1-onthouden,carry) uit te drukken. -
Bonus: breid de op het college gegeven formule voor sudoku's uit zodanig
dat hij ook nog aan de eisen van de nrc, zie
nrc sudoku,
voldoet. Dat wil zeggen, cijfers dienen ook nog uniek te zijn in de,
op de site grijze, drie bij drie vierkanten die een kruis in het midden laten.
Test uw formule mbv yices op een sudoku uit de nrc.
Het zijn veel regels die toegevoegd moeten worden. Ga daarom systematisch te werk (door geschikt te copy-pasten, of evt. als u al Java beheerst, het programma geschikt aan te passen).
practicum 2 (maandag 16 september 2013)
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(i),1(ii),4(ii),4(iv),4(vi). maak een formule A waarin p,q en r voorkomen (minimaal een keer, maar mogelijk meerdere keren) zodanig dat A waar is dan en slechts dan als de waarheidswaarde van p kleiner dan of gelijk aan die van q is, die weer kleiner dan of gelijk aan r is. idem, maar dan met de conditie dat A waar is, precies als q dat niet is.
-
uit hfdstk 4 van de syllabus Propositielogica: 4(iii),4(v).
maak een formule A waarin p,q en r voorkomen (minimaal een keer, maar mogelijk meerdere keren)
zodanig dat A waar is dan en slechts dan er van de waarheidswaarden van p,q,r er precies een even
aantal 1 is.
Toegevoegd 17 september: Hint: bi-implicatie. Opmerking: splitsen (als de door u gevonden formule te groot is voor de waarheidstabulator, en u geen kleinere equivalente formule kunt vinden, dan kunt u de formule splitsen in delen die beide wel passen. voorzie deze delen dan van een toelichting die uitlegt hoe uit de waarheidstafels voor de delen, iets over het geheel volgt.)
practicum 1 (maandag 9 september 2013)
Typeset een LaTeX document voorzien van uw naam als auteur, en de volgende whodunnit bladzijde uit het hoorcollege als inhoud, door matrijs.tex geschikt aan te passen. Zie de volgende presentatie voor meer informatie.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.