Basiswiskunde en Logica, UvA, 2009 - 2010


Docent: Sebastiaan Terwijn.
Assistent: Arjen Sevenster

Algemeen

  • Dit is een 1e jaars vak uit de Bachelor Informatica
  • Het vak wordt gegeven in Semester 1 blok 1 en 2
  • Het vak Basiswiskunde en Logica bestaat uit twee delen. Beide delen zijn 3 EC studiepunten waard.

    • Leerdoel

    Het verwerven van inzicht in en kennis van een aantal basisbegrippen uit de wiskunde en de logica.

    Inhoud

    De cursus behandelt eerst een aantal basisbegrippen uit de wiskunde: wiskundige notatie, verzamelingen, afbeeldingen en functies, relaties, grafen, recursie en inductie, recurrente betrekkingen. Daarna komt de nadruk te liggen op het gebruik van formele talen en semantiek voor het modelleren van informatie, en het gebruik van logische bewijssystemen voor correct redeneren. De logische formalismen die aan de orde komen zijn o.a. de propositielogica en de predikatenlogica.

    Onderwijsvorm en rooster

    Hoorcolleges Basiswiskunde: Dinsdag 11-13, REC-C2.03, wk 36-42
    Hoorcolleges Logica: Dinsdag 11-13, REC-C203, wk 44-50
    Werkcolleges: Dinsdag 14-16, REC-P019

    Studiemateriaal

  • P.I.J.M. de Paepe, Syllabus Basiswiskunde, UvA, augustus 2007. Dit dictaat is verkrijgbaar in pdf en in ps-formaat.
  • J.F.A.K. van Benthem et al., Logica voor Informatica, derde editie, Pearson Education Benelux, 2003.

    • Tentaminering

    Er zijn twee deeltentamens, een voor het deel Basiswiskunde en een voor het deel Logica. Beide dienen met een voldoende te worden afgesloten, en het eindcijfer is dan het gemiddelde van de twee deeltoetsen.
    Deeltentamen Basiswiskunde: Maandag 19 oktober, 14-17, REC-B B1.B
    Deeltentamen Logica: Maandag 14 december, 9-12, REC-B B1.B. (Let op: locatie gewijzigd!)