Discrete Wiskunde en Logica

Discrete math and Logic

Studiewijzer 2016/2017

Globale inhoud

In het gedeelte Discrete Wiskunde komen de onderwerpen eenvoudige verzamelingenleer, afbeeldingen, relaties, inductie en recursie, combinatoriek en telprincipes, 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.

Studiemateriaal

Literatuur

• Kenneth H. Rosen 'Discrete Mathematics and Its Applications', 7th edition, McGraw Hill, 2013.

Leerdoelen

Na afloop van deze cursus kan de student met behulp van wiskundige taalmiddelen over wiskundige objecten redeneren, eenvoudige stellingen bewijzen, en methoden en technieken van de discrete wiskunde toepassen. Bovendien kan de student 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 tegenvoorbeeld.

Onderwijsvormen

• Hoorcollege
• Werkcollege
• Zelfstudie

Afwisselend hoor- en werkcolleges. Aanwezigheid bij de hoor- en werkcolleges wordt sterk aanbevolen maar is niet verplicht.

Verdeling leeractiviteiten

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B):

• Voor practica en werkgroepbijeenkomsten met opdrachten geldt een aanwezigheidsplicht. Wanneer studenten niet voldoen aan deze aanwezigheidsplicht kan dit als gevolg hebben dat het onderdeel niet met een voldoende kan worden afgerond.
  

Aanvullende eisen voor dit vak:

Aanvullende eisen voor dit vak:

Geen

Toetsing

Opdrachten

Onderstaande opdrachten komen aan bod in deze cursus:

•    Naam opdracht 1 : beschrijving 2
•    Naam opdracht 2 : beschrijving 1
•    ....

Fraude en plagiaat

Dit vak hanteert de algemene ‘Fraude- en plagiaatregeling’ van de UvA. Onder plagiaat of fraude wordt verstaan het overschrijven van het werk van een medestudent dan wel het kopiëren van wetenschappelijke bronnen (uit bijvoorbeeld boeken en tijdschriften en van het Internet) zonder daarbij de bron te vermelden. Uiteraard is plagiaat verboden. Hier wordt nauwkeurig op gecontroleerd en streng tegen opgetreden. Bij verdenking van plagiaat wordt de examencommissie van de opleiding ingeschakeld. Wanneer de examencommissie overtuigd is dat er plagiaat gepleegd is dan kan dit maximaal leiden tot een uitsluiting van al het onderwijs van de opleiding voor een heel kalenderjaar. Zie voor meer informatie over het fraude- en plagiaatreglement van de Universiteit van Amsterdam.www.uva.nl/plagiaat

Weekplanning

Rooster

Contactinformatie

Coördinator

• I. Bethke