Cursusmateriaal

Voorwoord
Hoofdstuk 1: Redeneren en bewijzen
Hoofdstuk 2: Propositielogica, waarheid en classificeren
Hoofdstuk 3: Wie A zegt moet B zeggen
Hoofdstuk 4: Predikaatlogica, modellen en programma's
Hoofdstuk 5: Predikaatlogica en informatica
Hoofdstuk 6: Kennis en communicatie
Hoofdstuk 7: Complexiteit van berekeningen
Hoofdstuk 8: Spel en logica van interactie
Tot besluit

» Logica in actie
» over deze cursus » start cursus
» voorwoord » redeneren en bewijzen » propositielogica » A zegt moet B zeggen » predikaatlogica » predikaatlogica inf. » kennis en communicatie » complexiteit berekening » spel+logica interactie » tot besluit
» downloads » animaties » links » colofon » verder met studeren?

Vakgebieden
» Cultuurwetenschappen
» Informatica
» Managementwetenschappen
» Milieu- en natuurwetenschappen
» Onderwijswetenschappen
» Politiek en bestuur
» Psychologie
» Rechtswetenschappen
» Spinozareeks
» www.ou.nl

Op dit werk is een Creative Commons Licentie van toepassing.