Discrete math and Logic

Discrete Wiskunde en Logica

Course manual 2023/2024

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. We beginnen met logica want logica is de basis voor iedere wetenschap.

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

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

Learning activities

Attendance

Programme's requirements concerning attendance (OER-B):

• For practical trainings and tutorials/seminars with assignments attendance is, in principle, obligatory. When students do not meet the requirements for attendance, this may lead to not finishing a course with a pass mark.
  

Additional requirements for this course:

Aanwezigheid bij de hoor- en groot werkcolleges wordt sterk aanbevolen. Aanwezigheid bij individueel werkcollegen is verplicht. Studenten die niet in hun werkcollege aanwezig zijn krijgen 0 punten voor de huiswerk van de week.

Assessment

Het eindcijfer is een plus 3/100 keer de overal punten.  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.Het hertentamen gaat over de hele stof. Het hertentamen bevart 180 punten en vervangt alleen de originele tentamen.

Inspection of assessed work

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

Assignments

Huiswerk is individueel. Studenten moeten de oplossigen voor hun huiswerkopdrachten in de werkcolleges kunnen presenteren (indien een TA dit eist). Als ze dit niet kunnen, krijgen ze 0 punten voor de hele huiswerkopdracht. Aanwezigheid in de werkcollegen is verplicht.

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

• dr. Gregor Behnke

Docenten

• Sebastian Gielens
• Lars Janssen
• Riemer Kerkstra
• Midas Kiebert
• Quincy Koper
• Misha Oberski
• Thijs Vromen