SluitenHelpPrint
Switch to English
Cursus: CK1W0007
CK1W0007
Logisch programmeren
Cursus informatieRooster
CursuscodeCK1W0007
Studiepunten (ECTS)7,5
Categorie / Niveau1 (Bachelor Inleiding)
CursustypeCursorisch onderwijs
VoertaalNederlands
Aangeboden doorFaculteit Geesteswetenschappen; Cognitieve Kunstmatige Intelligentie;
ContactpersoonDocent nog onbekend/To be announced
Docenten
Contactpersoon van de cursus
Docent nog onbekend/To be announced
Overige cursussen docent
Blok
Onbekend
Aanvangsblok
3
TimeslotB: DI-ochtend, DO-middag, DO-namiddag
Onderwijsvorm
Voltijd
OpmerkingDeze cursusbeschrijving kan i.v.m. docentwisseling nog wijzigngen.
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Cursusdoelen
-
Inhoud

Er bestaan verschillende methoden (en technieken) van  programmeren. Binnen de AI neemt het logisch programmeren een belangrijke plaats in.

Allereerst leren de studenten programmeren in de programmeertaal Prolog, die gebaseerd is op logisch  programmeren. In deze taal kan men op een heel directe manier kennis  representeren (declaratief), waarbij de  algoritmen om deze kennis toe te passen (procedureel) in hoge mate aan de computer kunnen worden overgelaten.

Verder wordt ook de theorie van het logisch programmeren behandeld (trefwoorden: resolutie, unificatie, horn clause) en worden verschillende AI technieken in prolog besproken (zoals natuurlijke taalanalyse, expertsystemen, zoekalgoritmen).

Ingangseisen
Verplicht materiaal
Wordt nader bekendgemaakt
-
Werkvormen
Hoorcollege

Practicum

Toetsen
Deeltoets A
Weging50
Minimum cijfer1

Eindtoets
Weging50
Minimum cijfer1

Beoordeling
Twee toetsen 50 %
Practicumopdrachten 50 %

Aspecten van academische vorming
Bestuderen en analyseren van informatie
Synthetiseren en structureren van informatie
Gebruiken van informatie- en communicatietechnologie ('computer literacy')
Beheersen van methoden en technieken

SluitenHelpPrint
Switch to English