Toelatingsvoorwaarden
Middelbareschoolwiskunde.
|
Doelstelling
Na afloop van de cursus kun je:
- omgaan met de cognitieve stijl van de theoretische informatica
- natuurlijke taal vertalen in logische formules en omgekeerd zowel in propositielogica, predicatenlogica en modale logica
- informeel redeneren over geldigheid van formules in modellen in deze drie logica's
- de begrippen alfabet, woord, formele taal, en de basisoperaties op woorden en talen hanteren
- talen in verband brengen met reguliere expressies en contextvrije grammatica's
- talen in verband brengen met eindige automaten
- basisbegrippen uit de grafentheorie weten en toepassen
- binomiaalcoëfficiënten berekenen en toepassen
- functies met recursie definiëren, en eenvoudige stellingen met inductie bewijzen
|
Inhoud / Omschrijving
Dit is een introductiecursus in de mathematische logica en theoretische informatica. Allerlei onderwerpen uit deze vakgebieden worden kort geïntroduceerd. Tijdens de eerste helft van de cursus (propositielogica en predicatenlogica) bouwt dit op, maar daarna bestaat de cursus uit allerlei niet direct gerelateerde onderwerpen. De cursus is een directe voorbereiding op de cursus Beweren & Bewijzen.
|
Literatuur
Het college volgt een dictaat dat geschreven is door Herman Geuvers e.a. Dit dictaat is in pdf vorm beschikbaar op de website.
|
Werkvormen
- 25 uur hoorcollege
- 5 uur responsie-college
- 25 uur werkcollege
- 113 uur zelfstudie
|
Toetsingsvorm
Er zijn vijf niet verplichte deeltoetsen en er is een eindtentamen. De deeltoetsen tellen alleen mee als het gemiddelde hoger is dan het tentamencijfer. Voor de precieze berekening van het eindcijfer zie de website.
Studenten die Beweren & Bewijzen al hebben gehaald krijgen deels vrijstelling. Zie ook hiervoor de website.
|
Inschrijving Via de Studenten Portal |
Bijzonderheden
Deze cursus wordt gevolgd door studenten Informatiekunde, door HBO-doorstromers Informatiekunde en door studenten Kunstmatige Intelligentie.
|