Computational Logic

Cursustoelichting

De cursus gaat over verschillende soorten van de Computational Logica die worden gebruikt in het modelleren en verwerken van informatie: propositielogical, relationele logica en Herbrand-logica.

De primaire taak van de propositielogica is de presentatie van voorwaarden. De relationele logica kan ook object constraints representeren, en werkt met verschillende soorten variabelen en quantifiers.

De cursus geeft een training in het gebruik van de Computational Logica voor optimalisatie van queues, voor hardwareontwerp, voor codering van bedrijfsregels en voor het redeneren over programma's en integrerende systemen.

Leermiddelen

9 dictaten, pdf-hoofdstukken, opgaven en antwoorden.

Relatie met cursussen van de Open Universiteit

De cursus kan worden gebruikt als verdieping van de cursussen over redenering en verificatie van softwareontwerp en over bedrijfsregels.

Auteur(s)

M.R. Genesereth

Instituut

Stanford University, VS

http://www.stanford.edu/

Link

http://logic.stanford.edu/classes/cs157/2009/cs157.html

Inschrijving

http://www.stanford.edu/admission/