SluitenHelpPrint
Switch to English
Cursus: KI1V13001
KI1V13001
Inleiding logica
Cursus informatie
CursuscodeKI1V13001
Studiepunten (EC)7,5
Cursusdoelen

- 'Logische' rekenvaardigheid.

- Technisch inzicht in en over de logica.

- Theoretische resultaten over de klassieke logica's kennen.

- Het kunnen omgaan (begrijpen en beheersen) met de wiskunde nodig voor het formuleren van de logica’s en het bewijzen van eigenschappen daarover, in het bijzonder verzamelingenleer, inductie en recursie

- Filosofische en wetenschapshistorische achtergronden van de logica leren kennen.

- De rol van de logica in het moderne 'informatietijdperk' leren kennen.

- Logicatools (zoals prolog) kunnen gebruiken om problemen uit de AI te beschrijven en op te lossen

Inhoud

Logica is de wetenschap van het geldig redeneren. Ze neemt een centrale plaats in binnen de moderne informatiewetenschappen en in het bijzonder in de kunstmatige intelligentie. De onderwerpen die behandeld worden zijn achtereenvolgens:

-- Propositielogica: eenvoudige zinnen-logica (Boole), waar al verrassend veel redeneervormen mee gemodelleerd kunnen worden.

-- Predicatenlogica: uitbreiding van de propositielogica met kwantoren en predicaten.

-- Vertalen van in het Nederlands gestelde zinnen naar een predicaatlogische formulering.

-- Verschillende redeneervormen, semantisch, syntactisch (algebraïsch natuurlijke deductie), inclusief toolgebruik.

-- Volledigheid en onvolledigheid (Gödel): de grenzen van het mechanische en menselijk bewijzen/redeneren.

- Predikatenlogica als programmeertaal; eerste stappen van het logisch modelleren in de op predikatenlogica gestoelde programmeertaal prolog.

SluitenHelpPrint
Switch to English