2018-2019: Het vak wordt gedoceerd door Daniel De Schreye en Luc De Raedt. De nodige documenten voor het gedeelte van prof. De Schreye zijn nog steeds op zijn website te vinden, maar voor de bestanden van Luc De Raedt kan je op Toledo terecht. De eerste paar weken waren er twee hoorcolleges per week, maar de weken daarna slechts één. Wel is de oefenzitting nog steeds wekelijks, dus 13 in totaal. Ook zijn er geen practica meer doorheen het semester.
Outdated, maar wel nuttig: Dit vak wordt gegeven door prof. Danny De Schreye aan de tweedejaars Informatica, derdejaars Wiskunde met minor IT en derdejaars Ingenieurswetenschappen met hoofdrichting Computerwetenschappen. Per week zijn er één of twee colleges en één oefenzitting, waarvan de oplossingen overlopen worden en ook uitgewerkt online te vinden zijn. Er is geen handboek of cursustekst; alles staat in principe op de slides. Wie zeker wil zijn, kan dus best naar de colleges komen. Prof. De Schreye is een uitstekend leraar.
Er is weinig werk vereist voor dit vak: voor de oefenzittingen is geen voorbereiding nodig en de hoeveelheid theorie is klein, zeker voor een vak van zes studiepunten. Tijdens het semester zijn er wel twee practica, waarbij je een verslag schrijft over de werking van een gekend algoritme. Deze staan elk op 3 van de 20 punten voor het eindexamen.
Voor wie in de loop van het semester mee was met de leerstof is het maken van enkele oefeningen op automatisch redeneren en het overlopen en beantwoorden van de theorievragen van vorige jaren voldoende voorbereiding voor het examen.
Elk puntje hieronder is iemands mening. Verander aub geen puntjes. Als je een andere mening hebt, gelieve ze onderaan toe te voegen.
2018-2019: Qua theorie is het een hoop meer geworden doordat Luc de Raedt veel extra onderwerpen heeft ingevoegd. Zoals o.a. Pattern mining, machine learning, MDP, DPLL etc.
2016: Gewoon een paar slides (en een onofficiele studentencursus die online te vinden is). Eigenlijk heb je niet veel meer nodig als je naar de les komt.
2018-2019: Veel werk qua theorie door professor de Raedt. Vragen van prof de Schreye bleven hetzelfde en daardoor makkelijk voorspelbaar. Voor het deel van prof de Raedt wordt verwacht ALLES te kennen. En dat laatste is letterlijk te nemen. Hij is een professor die alles durft te vragen.
2016: Belachelijk weinig tijdens de examenperiode. Nog gemakkelijker dan in het middelbaar. Er zijn twee practica, die een beetje vergelijkbaar zijn met die van G&A.
Plaats binnen de opleiding (nodige voorkennis, overlap met andere vakken, relevantie van het vak,...)
2016: Bepaalde dingen ken je al uit het eerste jaar informatica: zoeken in bomen, backtracking, en logica.
2016: Danny is een geweldige prof. De colleges zijn zeker aan te raden. Zeker als er niet echt een cursustekst is.
2018-2019: Zeker aan te raden, daar de moeilijkere theorie delen mooi worden verklaard aan de hand van zijn daartoe betreffende oefz. De oplossingen van de oefz komen allemaal online en mogen ook meegenomen worden naar het examen, echter wel aan te raden deze allemaal te herzien en hermaken daar het examen je anders in tijdsnood zal brengen.
2016: OK. Ze helpen je om bepaalde algoritmen beter te leren begrijpen. Uiteindelijk moet je vooral theorie kennen, maar de oefenzittingen zijn wel nuttig.
2018-2019: Deel van prof de schreye zoals verwacht en reeds bondig uitgewerkt op deze wiki. Voor prof de raedt is alles te kennen. Alles.
2016: Een oefening op logica en automatisch redeneren, een theorievraag over zoeken (de mogelijke vragen staan op Danny's homepagina), en en theorievraag over een ander hoofdstuk (de mogelijke vragen staan op de Wiki's van Wina en VTK)
(De vragen zijn uit het geheugen overgenomen, de verwoording is mogelijks niet volledig correct, maar de inhoud wel.)
Enkel belangrijk te vermelden dat als je niet aan het resolutiebewijs geraakte, je ook gewoon 5 stappen mocht geven.