Hoorcolleges Inleiding Logica voor CKI

toets predikatenlogica (donderdag 7 november 2013), 8:30-10:30, Ruppert Blauw.

hoorcollege 16 (maandag 4 november 2013)

Docent: Albert Visser.
Predikatenlogica.
Onderwerp: Vragenuur.

hoorcollege 15 (donderdag 31 oktober 2013)

Docent: Michael Moortgat en Albert Visser.
Predikatenlogica.
Onderwerp: Het laatste deel van semantiek. Voorbeelden en uitwerkingen van semantische evaluatie en natuurlijke deductie. Slides van het college.
Vragenhalfuur Prolog.

hoorcollege 14 (maandag 28 oktober 2013)

Docent: Albert Visser.
Predikatenlogica.
Onderwerp: Semantiek 2, hoofdstuk 7 van Parvulae Logicales Predikatenlogica. We gaan de diepte in bij het begrijpen hoe semantiek werkt.

hoorcollege 13 (donderdag 24 oktober 2013)

Docent: Michael Moortgat.
Logisch Programmeren.
Onderwerp: Logisch Programmeren.
In de presentatie tijdens practicum 6 werd hoofdstuk 1 van Learn Prolog Now behandeld. Tijdens dit hoorcollege komen hoofdstuk 2 en 3 aan bod. Learn Prolog Now is online beschikbaar op prolog. De slides van het hoorcollege: powerpoint of PDF.

hoorcollege 12 (maandag 21 oktober 2013)

Docent: Albert Visser.
Predikatenlogica.
Onderwerp: Natuurljke Deductie voor predikatenlogica. We behandelen hoofdstuk 8 van Parvulae Logicales Predikatenlogica.

hoorcollege 11 (donderdag 17 oktober 2013)

Docent: Albert Visser.
Predikatenlogica.
Onderwerp: Wat is een formule? We behandelen hoofdstuk 5 van Parvulae Logicales Predikatenlogica: syntaxis van de predikatenlogica.

hoorcollege 10 (maandag 14 oktober 2013)

Docent: Albert Visser.
Predikatenlogica.
Onderwerp: Wat is een model.We behandelen hoofdstuk 6 van Parvulae Logicales Predikatenlogica: semantiek van de predikatenlogica.

hoorcollege 9 (donderdag 10 oktober 2013)

Docent: Albert Visser.
Predikatenlogica.
Onderwerp: Wat is predikatenlogika? We geven een introductie die gebaseerd is op Parvulae Logicales Predikatenlogica, hoofdstuk 2-4.

toets propositielogica (maandag 7 oktober 2013, 13:30-16:30, Educatorium Gamma, gedeelde zaal: zaalindeling)

toetsstof

hoorcollege 8 (donderdag 3 oktober 2013)

Docent: Vincent van Oostrom.
Propositielogica.
Onderwerp: equivalenties en normaalvormen (hfdstk 7) en vragenuur ter voorbereiding op toets (niet toegekomen aan paradoxen en np-volledigheid).

hoorcollege 7 (maandag 30 september 2013)

Docent: Vincent van Oostrom.
Propositielogica.
Onderwerpen: semantisch redeneren slot (hfdstk 8, geheel), syntactisch redeneren slot (hfdstk 9, geheel, inclusief RAA), correctheid en volledigheid (hfdstk 10, begin).

hoorcollege 6 (donderdag 26 september 2013)

Docent: Vincent van Oostrom.
Propositielogica.
Onderwerp: update 24 september: vervolg syntactisch redeneren (hfdstk 9, alle afleidingsregels behalve RAA), en (daarna pas) semantisch redeneren (hfdstk 8 begin).

hoorcollege 5 (maandag 23 september 2013)

Docent: Vincent van Oostrom.
Propositielogica.
Onderwerp: redeneren ihb syntactisch redeneren: natuurlijke deductie.
Hoofdstuk (delen van) 6.3 en (begin van) Hoofdstuk 9.

hoorcollege 4 (donderdag 19 september 2013)

Docent: Vincent van Oostrom.
Propositielogica.
Onderwerp: valuaties als werelden, waar maken in een wereld, vervulbaarheid. Hoofdstuk 4,6.2,(delen van) 6.3

hoorcollege 3 (maandag 16 september 2013)

Docent: Vincent van Oostrom.
Propositielogica.
Onderwerp: verbinding tussen vorm (syntax) en betekenis (semantiek).
Hoofdstuk 1 tot en met 3 uit de inductiesyllabus, en hoofdstukken 4.2, 4.3, 6.1, 6.4 (informeel).

hoorcollege 2 (donderdag 12 september 2013)

Docent: Vincent van Oostrom.
Propositielogica.
Onderwerp: propositielogica syntax (formules) en semantiek. (waarheidswaarden), en verbinding met natuurlijke taal.
Hoofdstuk 2 tot en met 4 van de syllabus.

hoorcollege 1 (maandag 9 september 2013)

Docent: Vincent van Oostrom. Propositielogica.

Voor zover het toekomstige hoorcolleges betreft, dient bovenstaand schema slechts als een indicatie. Er kunnen geen rechten aan ontleend worden.
Inleiding Logica voor CKI Vincent van Oostrom Albert Visser