Zoek
English
  Studiegidsen 2013-2014
Radboud UniversiteitStudiegidsenFaculteit der Sociale Wetenschappen > 2013-2014 Kunstmatige Intelligentie Bachelor

Formeel Denken 


Vakcode
NWI-IPK001
Studiepunten
6
Periode
eerste semester
Collegerooster opvragen
SWS / PersoonlijkRooster
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.