Logica voor Informatici: verschil tussen versies
Komend academiejaar |
Geen bewerkingssamenvatting |
||
| Regel 3: | Regel 3: | ||
Het gaat hier om het vak ''Wiskundige logica en structuren'' uit eerste Bachelor, '''niet''' om het licentie-vak ''[[Wiskundige logica]]'', dat ook door Jan Denef gedoceerd wordt. | Het gaat hier om het vak ''Wiskundige logica en structuren'' uit eerste Bachelor, '''niet''' om het licentie-vak ''[[Wiskundige logica]]'', dat ook door Jan Denef gedoceerd wordt. | ||
De informatica-studenten krijgen dit vak in het eerste semester van eerste Bachelor. Zij hebben in januari een schriftelijk examen. De andere studenten (met name wiskunde en fysica) volgen dit vak in het tweede semester. Zij hebben een schriftelijk examen in juni. De leerstof is grotendeels hetzelfde, al wordt er aan wiskunde en fysica een wat uitgebreider gedeelde | De informatica-studenten krijgen dit vak in het eerste semester van eerste Bachelor. Zij hebben in januari een schriftelijk examen. De andere studenten (met name wiskunde en fysica) volgen dit vak in het tweede semester. Zij hebben een schriftelijk examen in juni. De leerstof is grotendeels hetzelfde, al wordt er aan wiskunde en fysica een wat uitgebreider gedeelde algebraïsche structuren gegeven. | ||
Komend academtiejaar (2006-'07) zal dit vak verdwijnen. Informaticastudenten krijgen dan in het eerste semester van eerste Bachelor een | Komend academtiejaar (2006-'07) zal dit vak verdwijnen. Informaticastudenten krijgen dan in het eerste semester van eerste Bachelor een vak ''Logica voor informatici''. Wiskundestudenten krijgen in het eerste semester een vak ''Wiskundevaardigheden: bewijzen en redeneren'', en in het tweede semester een vak ''Algebraïsche structuren''. Al deze vakken zijn keuzevakken voor Fysicastudenten. | ||
== Inleiding == | == Inleiding == | ||
Versie van 15 jun 2006 08:32
Het gaat hier om het vak Wiskundige logica en structuren uit eerste Bachelor, niet om het licentie-vak Wiskundige logica, dat ook door Jan Denef gedoceerd wordt.
De informatica-studenten krijgen dit vak in het eerste semester van eerste Bachelor. Zij hebben in januari een schriftelijk examen. De andere studenten (met name wiskunde en fysica) volgen dit vak in het tweede semester. Zij hebben een schriftelijk examen in juni. De leerstof is grotendeels hetzelfde, al wordt er aan wiskunde en fysica een wat uitgebreider gedeelde algebraïsche structuren gegeven.
Komend academtiejaar (2006-'07) zal dit vak verdwijnen. Informaticastudenten krijgen dan in het eerste semester van eerste Bachelor een vak Logica voor informatici. Wiskundestudenten krijgen in het eerste semester een vak Wiskundevaardigheden: bewijzen en redeneren, en in het tweede semester een vak Algebraïsche structuren. Al deze vakken zijn keuzevakken voor Fysicastudenten.
Inleiding
Onderschat dit toch niet, en vooral het logica-gedeelte niet! Je moet vlot oefeningen kunnen maken in de stijl van de oefenzittingen, maar altijd van de moeilijkste soort (meestal erg lange zinnen). Panikeer dus niet als je net je examen krijgt, en het ziet ernaar uit dat je nog geen halve vraag van de 7 vragen kan, begin er gewoon aan en dat loopt wel los. Oefeningen zijn dus bewijzen of iets al dan niet logisch waar is, een logisch gevolg van een (verzameling) zin(nen) is, WinKe-bewijzen, beweringen uit Tarski-werelden, e.d... niks dat je niet gezien hebt. Voor structuren komt het grotendeels op hetzelfde neer.
De algemene regel is dat als je dit vak goed kon in de oefenzittingen, dat de examens ervan geen probleem zullen zijn om te maken. Let wel op: prof. Denef verbetert vrij streng, dus zorg ervoor dat alles zeker correct genoteerd is (niet al té intuïtief, maar in de juiste taal van de propositie- of predikatenlogica). Dit kan wel eens zorgen voor verassende (in de negatieve zin) resultaten als je je punten krijgt.
De puntenverdeling is als volgt:
- Logica (12 punten)
- Theorie: 2 punten
- Oefeningen: 10 punten
- Structuren (8 punten)
- Theorie: 2 punten
- Oefeningen: 6 punten