| Onderwijstaal : Nederlands |
|
Volgtijdelijkheid
|
| |
|
Geen volgtijdelijkheid
|
| Studierichting | | Studiebelastingsuren | Studiepunten | P2 SBU | P2 SP | 2de Examenkans1 | Tolerantie2 | Eindcijfer3 | |
 | 3de bachelorjaar in de wiskunde optie fundamentele wiskunde | 2-jaarlijks verplicht (huidig academiejaar) | 135 | 5,0 | 135 | 5,0 | Ja | Ja | Numeriek |  |
|
| | | Eindcompetenties |
- EC
| EC 1: De bachelor Wiskunde bezit een grondige basiskennis en heeft inzicht in verschillende domeinen van de wiskunde waaronder algebra, meetkunde, analyse, numerieke wiskunde, kanstheorie, statistiek, aspecten van discrete wiskunde en logica. | - EC
| EC 3: De bachelor Wiskunde beheerst de formele wiskundige taal en werkwijze. Hij/zij kan met abstracte redeneringen werken. | - EC
| EC 4: De bachelor Wiskunde kan een wiskundig bewijs begrijpen, oordelen of een argument correct is en heeft inzicht in welke eigenschappen precies gebruikt worden (in de context van de verworven kennis).
Hij/zij kan een lacune of een overbodige stap in een bewijs of een berekening herkennen | - EC
| EC 14: De bachelor Wiskunde heeft een kritische ingesteldheid en een onderzoekshouding.
| - EC
| EC 15: De bachelor Wiskunde kan zelf (of in groep) een beperkte studie uitvoeren over een wiskundig onderwerp, d.w.z. wetenschappelijke bronnen kritisch hanteren, zelf de studie uitvoeren, rapporteren (ook in LaTex) en prsenteren. | - EC
| EC 16: De bachelor Wiskunde is in staat te plannen, hij/zij heeft inzicht in zijn leerproces en kan dit evalueren en bijsturen. |
|
| | EC = eindcompetenties DC = deelcompetenties BC = beoordelingscriteria |
|
|
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 modelthorie 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.
|
|
|
|
|
|
|
|
|
Hoorcollege ✔
|
|
|
|
Responsiecollege ✔
|
|
|
|
Periode 2 Studiepunten 5,00
|
| Extra info | Schriftelijk examen over theorie en oefeningen. |
|
Tweede examenkans
| Evaluatievorm tweede examenkans verschillend van eerste examenkans | |
|
|
|
| Begincompetenties |
| |
De student beschikt over basis programmeervaardigheden.
De student kent een aantal structuren uit algebra (groepen, ringen, velden). |
|
|
| Verplichte cursussen (gedrukt door boekhandel) |
|
|
| Verplicht studiemateriaal |
| |
Cursustekst "Logica en modeltheorie". Er is een cursustekst beschikbaar in de campusboekhandel.
|
|
|
|
|
|
| 3de bachelorjaar in de wiskunde | 2-jaarlijks keuze (huidig academiejaar) | 135 | 5,0 | 135 | 5,0 | Ja | Ja | Numeriek | |
|
| | | Eindcompetenties |
- EC
| EC 1: De bachelor Wiskunde bezit een grondige basiskennis en heeft inzicht in verschillende domeinen van de wiskunde waaronder algebra, meetkunde, analyse, numerieke wiskunde, kanstheorie, statistiek, aspecten van discrete wiskunde en logica. | - EC
| EC 3: De bachelor Wiskunde beheerst de formele wiskundige taal en werkwijze. Hij/zij kan met abstracte redeneringen werken. | - EC
| EC 4: De bachelor Wiskunde kan een wiskundig bewijs begrijpen, oordelen of een argument correct is en heeft inzicht in welke eigenschappen precies gebruikt worden (in de context van de verworven kennis).
Hij/zij kan een lacune of een overbodige stap in een bewijs of een berekening herkennen | - EC
| EC 14: De bachelor Wiskunde heeft een kritische ingesteldheid en een onderzoekshouding.
| - EC
| EC 15: De bachelor Wiskunde kan zelf (of in groep) een beperkte studie uitvoeren over een wiskundig onderwerp, d.w.z. wetenschappelijke bronnen kritisch hanteren, zelf de studie uitvoeren, rapporteren (ook in LaTex) en prsenteren. | - EC
| EC 16: De bachelor Wiskunde is in staat te plannen, hij/zij heeft inzicht in zijn leerproces en kan dit evalueren en bijsturen. |
|
| | EC = eindcompetenties DC = deelcompetenties BC = beoordelingscriteria |
|
|
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 modelthorie 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.
|
|
|
|
|
|
|
|
|
Hoorcollege ✔
|
|
|
|
Responsiecollege ✔
|
|
|
|
Periode 2 Studiepunten 5,00
|
| Extra info | Schriftelijk examen over theorie en oefeningen. |
|
Tweede examenkans
| Evaluatievorm tweede examenkans verschillend van eerste examenkans | |
|
|
|
| Begincompetenties |
| |
De student beschikt over basis programmeervaardigheden.
De student kent een aantal structuren uit algebra (groepen, ringen, velden). |
|
|
| Verplichte cursussen (gedrukt door boekhandel) |
|
|
| Verplicht studiemateriaal |
| |
Cursustekst "Logica en modeltheorie". Er is een cursustekst beschikbaar in de campusboekhandel.
|
|
|
|
|
|
| Educatieve master in de wetenschappen en technologie - keuze voor vakdidactiek wiskunde | 2-jaarlijks keuze (huidig academiejaar) | 108 | 4,0 | 108 | 4,0 | Ja | Ja | Numeriek | |
|
| | | Eindcompetenties |
- EC
| WET 1. De educatieve master heeft gevorderde kennis van en inzicht in de domeindisciplines relevant voor zijn specifieke vakdidactiek(en). | - EC
| WET 2. De educatieve master kan zelfstandig onderzoek opzetten en uitvoeren relevant voor zijn vakgebied bestaande uit een kritische literatuurstudie, het formuleren van een onderzoeksvraag en hypothese, het selecteren en optimaliseren van geschikte methoden en technieken, het kritisch analyseren en interpreteren van de resultaten, het formuleren van conclusies en het rapporteren van de bevindingen. |
|
| | EC = eindcompetenties DC = deelcompetenties BC = beoordelingscriteria |
|
|
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 modelthorie 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.
|
|
|
|
|
|
|
|
|
Hoorcollege ✔
|
|
|
|
Responsiecollege ✔
|
|
|
|
Periode 2 Studiepunten 4,00
|
| Extra info | Schriftelijk examen over theorie en oefeningen. |
|
Tweede examenkans
| Evaluatievorm tweede examenkans verschillend van eerste examenkans | |
|
|
|
| Begincompetenties |
| |
De student beschikt over basis programmeervaardigheden.
De student kent een aantal structuren uit algebra (groepen, ringen, velden). |
|
|
| Verplichte cursussen (gedrukt door boekhandel) |
|
|
| Verplicht studiemateriaal |
| |
Cursustekst "Logica en modeltheorie". Er is een cursustekst beschikbaar in de campusboekhandel.
|
|
|
|
|
|
| master informatica volledig keuzepakket | 2-jaarlijks keuze (huidig academiejaar) | 162 | 6,0 | 162 | 6,0 | Ja | Ja | Numeriek | |
|
| | | Eindcompetenties |
- 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. |
|
| | EC = eindcompetenties DC = deelcompetenties BC = beoordelingscriteria |
|
|
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 modelthorie 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.
|
|
|
|
|
|
|
|
|
Hoorcollege ✔
|
|
|
|
Responsiecollege ✔
|
|
|
|
Periode 2 Studiepunten 6,00
|
| Extra info | Schriftelijk examen over theorie en oefeningen. |
|
Tweede examenkans
| Evaluatievorm tweede examenkans verschillend van eerste examenkans | |
|
|
|
| Begincompetenties |
| |
De student beschikt over basis programmeervaardigheden.
De student kent een aantal structuren uit algebra (groepen, ringen, velden). |
|
|
| Verplichte cursussen (gedrukt door boekhandel) |
|
|
| Verplicht studiemateriaal |
| |
Cursustekst "Logica en modeltheorie". Er is een cursustekst beschikbaar in de campusboekhandel.
|
|
|
|
|
|
1 examenregeling art.1.3, lid 4. |
| 2 examenregeling art.4.7, lid 2. |
3 examenregeling art.2.2, lid 3.
|
| Legende |
| SBU : studiebelastingsuren | SP : studiepunten | N : Nederlands | E : Engels |
|