Zoek
English
  Studiegidsen 2008-2009
Radboud UniversiteitStudiegidsenFaculteit der Natuurwetenschappen, Wiskunde en Informatica > Bachelor Informatica en Informatiekunde

Formeel Denken 

Vakcode
IPK001
Studiepunten
6
Periode
eerste semester (NB: deze cursus begint twee weken later)
Inleiding
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.

Leerdoelen
Na afloop van de cursus kunnen de studenten:
  • 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ëfficienten berekenen en toepassen
  • functies met recursie definiëren, en eenvoudige stellingen met inductie bewijzen
Onderwerpen
Het college is verdeeld in vijf blokken:
  • propositielogica
  • predicatenlogica
  • modale logica
  • formele talen en eindige automaten
  • discrete wiskunde
Alle blokken zijn ongeveer even lang.
Studielastverdeling
  • 30 uur hoorcollege
  • 30 uur werkcollege
  • 108 uur zelfstudie
Toelichting werkvormen
Het college bestaat uit vijf blokken die met de vijf onderwerpen en de vijf hoofdstukken van de syllabus corresponderen.

Iedere bijeenkomst bestaat uit een uur werkcollege gevolgd door een uur hoorcollege, afgezien van de eerste en laatste bijeenkomst van één van de vijf blokken: de eerste bijeenkomst van elk blok is uitsluitend hoorcollege en de laatste bestaat uit een uur responsiecollege gevolgd door een uur deeltoets.

Toetsvorm
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.

Vereiste voorkennis
Middelbareschoolwiskunde.
Literatuur
Het college volgt een dictaat dat geschreven is door Herman Geuvers e.a. Dit dictaat is in pdf vorm beschikbaar op de website.

Website
http://www.cs.ru.nl/~freek/courses/fd-2008
Bijzonderheden

Deze cursus wordt gevolgd door studenten Informatiekunde, door HBO-doorstromers Informatiekunde en door studenten Kunstmatige Intelligentie.