Logica en modeltheorie (5244) |
| Studiepunten: 6,0 | | Studiebelastingsuren: 162 | Periode: semester 1 (6sp)  |
| Onderwijstaal: Nederlands |
|
|
De student kent de notie van berekenbaarheid (via algoritmisch denken of programmeervaardigheden). De student kent een aantal structuren uit algebra (groepen, ringen, geordende velden) of discrete wiskunde (grafen, bomen) die als voorbeelden aan bod komen in dit vak. De student kent elementaire bewijstechnieken (zoals bewijs uit het ongerijmde, bewijs per inductie, ...).
|
|
|
|
|
Het doel van de cursus "Logica en modeltheorie" is de student te laten kennismaken met de beginselen van de logica en de student vertrouwd te maken met de rol van de logica binnen de Wiskunde (en de Informatica). De basisbegrippen en de basisprincipes van de propositie-logica alsook enkele belangrijke resultaten in verband met de relatie tussen syntax en semantiek (compactheids- en volledigheidsstellingen) worden aangeleerd. Ook voor predikaten-logica en modeltheorie worden de basisbegrippen en de basisprincipes aangeleerd alsook enkele belangrijke resultaten (compactheids- en volledigheidsstellingen, onvolledigheidsstelling van Gödel, het gebruik van Ehrenfeucht-Fraisse-spelen). De cursus heeft ook tot doel het belang van de axiomatische methode duidelijk te maken. We bestuderen voor zowel de propositie-logica als de predikaten-logica wat een logische gevolgtrekking is en we zien een aantal technieken om de correctheid van logische gevolgtrekkingen aan te tonen.
|
|
| Verplichte cursussen (gedrukt door boekhandel) |
|
|
| Verplicht studiemateriaal |
| |
Cursustekst "Logica en modeltheorie".Er is een cursustekst beschikbaar in de campusboekhandel.
|
|
|
|
|
|
|
|
|
|
Hoorcollege ✔
|
|
|
|
Responsiecollege ✔
|
|
|
|
Semester 1 (6,00sp)
|
| Extra info | Schriftelijk examen over theorie en oefeningen. |
|
Tweede examenkans
| Evaluatievorm tweede examenkans verschillend van eerste examenkans | |
|
|
Eindcompetenties | EC = eindcompetenties DC = deelcompetenties BC = beoordelingscriteria |
master in de informatica
|
- EC
| EC 2: De afgestudeerde is in staat om de evolutie in het vakgebied van de informatica (en aanverwante gebieden) bij te houden, om de nieuwe technologieën te evalueren en ze zich eigen te maken. | - EC
| EC 3: De afgestudeerde heeft de nodige kennis en inzichten in minstens 1 subdiscipline die toelaten om een bijdrage te leveren aan het ontwikkelen of toepassen van vernieuwende ideeën in een bepaald gebied van de informatica (door verdieping van basiskennis op bachelor niveau, inclusief deze van wiskundige en andere wetenschappelijke grondslagen). | - EC
| EC 4: De afgestudeerde houdt rekening met de limieten van de informatica, zoals het bestaan van onbeslisbaarheid, en met het bestaan van belangrijke onopgeloste problemen in de informatica, zoals het P=NP vraagstuk. | - EC
| EC 5: De afgestudeerde kan zelfstandig een complex informaticaprobleem modelleren, de nodige abstracties invoeren, de oplossing gestructureerd beschrijven en implementeren, en ten slotte tegenover de stakeholders argumenteren waarom de gekozen oplossing en de bijhorende implementatie voldoen aan de gestelde specificaties. | - EC
| EC 6: De afgestudeerde is in staat om zelfstandig een wetenschappelijk probleem te situeren, te analyseren, te evalueren, een onderzoeksvraag te formuleren en hiervoor op een wetenschappelijk onderbouwde manier een oplossing voor te stellen. | - EC
| EC 7: De afgestudeerde is in staat om informatie kritisch te analyseren en te evalueren, en op een efficiënte manier te verwerken. | - EC
| EC 12: De afgestudeerde kan kritisch reflecteren over het eigen handelen, hierover verantwoording afleggen en zichzelf bijsturen waar nodig. |
|
|
|
|
| Plaats in het onderwijsaanbod | Tolerantie3 |
|
master informatica volledig keuzepakket
|
J
|
|
|
1 Onderwijs-, examen- en rechtspositieregeling art. 12.2, lid 2. |
| 2 Onderwijs-, examen- en rechtspositieregeling art. 15.1, lid 3. |
3 Onderwijs-, examen- en rechtspositieregeling art. 16.9, lid 2.
|
|
|