Discrete math and Logic

Discrete Wiskunde en Logica

Course manual 2025/2026

Course content

In deze cursus worden notaties en concepten behandeld die nuttig zijn voor je informaticaopleiding. In het gedeelte Discrete Wiskunde komen de onderwerpen eenvoudige verzamelingenleer, afbeeldingen, relaties, inductie en recursie, combinatoriek en telprincipes, groepen en lichamen, en grafentheorie aan de orde. In het Logica-gedeelte wordt de propositielogica en de predicaatlogica bestudeerd. In het bijzondere worden de begrippen syntax, semantiek, valuatie, model, logisch gevolg en geldigheid besproken.

Objectives

• Studenten kunnen uitleggen wat een redenering is, hoe die eruit ziet, wat het betekent als een redenering logisch geldig is, en wat het verband is tussen logische geldigheid, bewijs en tegenvoorbeelden.
• Studenten kunnen formele calculi gebruiken om bewijzen te vinden en berekeningen uit te voeren.
• Studenten kunnen gegeven modellen analyseren met behulp van wiskundige middelen.
• Studenten kunnen bepalen of een bewijs geldig is.
• Studenten kunnen met behulp van wiskundige middelen situaties en eigenschappen modelleren.
• Studenten kunnen zelfstandig eenvoudige wiskundige stellingen bewijzen.

Teaching methods

• Lecture
• Seminar
• Self-study

Twee hoorcolleges per week. Een groot en een individueel werkcollege per week.

Learning activities

Attendance

Additional requirements for this course:

Aanwezigheid tijdens de werkgroepen en hoorcollegen is cruciaal voor succesvolle deelname aan het vak.  Aanwezigheid bij de hoorcolleges wordt sterk aanbevolen.

Aanwezigheid bij individuele en grote werkgroepen is verplicht. Met een geldige reden mag een student maximaal twee werkgroepen missen. Mist een student zonder een geldige reden of meer dan twee keer met geldig reden voldoet zij/hij niet meer aan de eisen van dit vak en kan maximaal een cijfer van 5.0 halen.

Assessment

Huiswerk bevat 102 punten in totaal. Quizzes bevatten 18 punten. Het tentamen en hertentamen bevatten 180 punten.  Het hertentamen vervangt alleen de originele tentamen. Er is geen herkansing voor huiswerk en quizzes.

Het eindcijfer is één plus (3/100 keer het totaal behaalde puntenaantal).  Studenten met minder dan 90 punten in het tentamen of minder dan 51 punten in de zes huiswerkopdrachten kunnen maximal de cijfer 5.0 bereiken.

Inspection of assessed work

The manner of inspection will be communicated via the digitial learning environment.

Assignments

Er zijn wekelijkse huiswerkopdrachten. Huiswerk is individueel.

Studenten presenteren de oplossingen voor hun huiswerkopdrachten in de individuele werkcolleges.

Fraud and plagiarism

Over het algemeen geldt dat elke uitwerking die je inlevert ter verkrijging van een beoordeling voor een vak je eigen werk moet zijn, tenzij samenwerken expliciet door de docent is toegestaan. Het inzien of kopiëren van andermans werk (zelfs als je dat hebt gevonden bij de printer, in een openstaande directory of op een onbeheerde computer) of materiaal overnemen uit een boek, tijdschrift, website, code repository of een andere bron - ook al is het gedeeltelijk - en inleveren alsof het je eigen werk is, is plagiaat.

We juichen toe dat je het cursusmateriaal en de opdrachten met medestudenten bespreekt om het beter te begrijpen. Je mag bronnen op het web raadplegen om meer te weten te komen over het onderwerp en om technische problemen op te lossen, maar niet voor regelrechte antwoorden op opgaven. Als in een uitwerking gebruik is gemaakt van externe bronnen zonder dat een bronvermelding is vermeld (bijvoorbeeld in de rapportage of in commentaar in de code), dan kan dat worden beschouwd als plagiaat.

Deze regels zijn er om alle studenten een eerlijke en optimale leeromgeving aan te kunnen bieden. De verleiding kan groot zijn om te plagiëren als de deadline voor een opdracht nadert, maar doe het niet. Elke vorm van plagiaat wordt bestraft. Als een student ernstige fraude heeft gepleegd, kan dat leiden tot het uitschrijven uit de Universiteit. Zie voor meer informatie over het fraude- en plagiaatreglement van de Universiteit van Amsterdam: www.student.uva.nl

Course structure

Contact information

Coordinator

• Balder ten Cate

Docenten:

Hoofd-docent:

Balder ten Cate

Onderwijs-assistenten:

Adeela Ashraf
Sonny Chim
Rik Heurter
Raoul Koudijs
Rinske Oskamp
Joost Peters
Michel Resing
Taeke Roukema