Mathematical Logic

Academiejaar: 2008-2009 Code opleidingsonderdeel: MWIS2007 Semester: 2e semester Studiepunten: 6 Uren Studietijd: 168 Uren theorie: 30,00 Uren praktijk: 30,00 Uren andere: Deeltijds programma: Titularis(sen) Els Laenens Taal waarin de cursus wordt gedoceerd: Nederlands Info semesterexamen: examen in het 2de semester Info contractrestrictie: 1. Aanvangscompetenties (begintermen) *Algemene competenties Je hebt de propositielogica en de predikatenlogica met succes bestudeerd. *Volgtijdelijkheid 2. Eindcompetenties (eindtermen) Aan het eind van dit opleidingsonderdeel kan je vlot werken met fundamentele onderwerpen uit de wiskundige logica. Je bent in staat deze onderwerpen zelfstandig te bestuderen (zonder voorafgaand hoorcollege), ze te presenteren en vervolgens de kennis van je medestudenten te toetsen door ze toepassingen te laten oplossen over jouw onderwerp. Anderzijds ben je in staat om onmiddellijk problemen op te lossen rond, door medestudenten gepresenteerde, onderwerpen. 3. Inhoud Formele getallentheorie, axiomatische verzamelingenleer, berekenbaarheid en onderwerpen die door de deelnemers zelf gekozen worden. 4. Werkvormen Contactmomenten: Hoorcolleges Oefeningensessies Begeleide zelfstudie (eventueel met responsiecolleges) Portfolio Projectwerk: Individueel Projectwerk: In groep 5. Evaluatievormen Examen: Schriftelijk zonder mondelinge toelichting Permanente evaluatie: Opdrachten Medewerking tijdens de contactmomenten Portfolio: met mondelinge toelichting 6. Noodzakelijk studiemateriaal Introduction to mathematical logic, fourth edition, E. Mendelson, 2001, Chapman & Hall, ISBN 0412808307. 7. Facultatief studiemateriaal 8. Studiebegeleiding Problemen en vragen kan je mailen naar els.laenens@ua.ac.be laatste aanpassing: laatste aanpassing: 14/11/2008 14:13 els.laenens