Discrete Wiskunde en Logica

Discrete math and Logic

Eigenaar	Bachelor Informatica
Coördinator	dr. Gregor Behnke
Onderdeel van	Bachelor Informatica, jaar 1

Studiewijzer 2022/2023

Globale inhoud

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

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.

Verdeling leeractiviteiten

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B):

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

Toetsing

Onderdeel en weging	Details
Eindcijfer
1 (50%) Deeltoets 1
1 (50%) Deeltoets 2

Het eindcijfer is het gemiddelde van deze twee en moet minimaal een 5,5 (afgerond een 6) zijn om te slagen voor het vak. Het hertentamen gaat over de hele stof.

Tijdens de collegeperiode zijn er quizzen waarmee bonuspunten voor het tentamen kunnen worden verdiend. Deze bonuspunten zijn alleen geldig voor de Deeltoetsen marr niet voor het hertentamen.

Inzage toetsing

De manier van inzage wordt via de digitale leeromgeving gecommuniceerd.

Fraude en plagiaat

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

Weekplanning

Rooster

Het rooster van dit vak is in te zien op DataNose.

Verwerking feedback studenten

Hieronder vind je de aanpassingen in de opzet van het vak naar aanleiding van de vakevaluaties.

Contactinformatie

Coördinator

• dr. Gregor Behnke

Docenten

• Martijn Brehm
• Ilya Claassen
• Jaròn Has
• Misha Oberski
• Thijs Vromen
• Koen Hoeberechts