SluitenHelpPrint
Switch to English
Cursus: INFOB1LI
INFOB1LI
Logica voor informatica
Cursus informatieRooster
CursuscodeINFOB1LI
Studiepunten (ECTS)7,5
Categorie / Niveau1 (Bachelor Inleiding)
CursustypeCursorisch onderwijs
VoertaalNederlands
Aangeboden doorFaculteit Betawetenschappen; Undergraduate School Bètawetenschappen;
Contactpersoondr. M.M. Dastani
Telefoon+31 30 2533599
E-mailM.M.Dastani@uu.nl
Docenten
Docent
dr. M.M. Dastani
Overige cursussen docent
Blok
2  (13-11-2017 t/m 02-02-2018)
Aanvangsblok
2
TimeslotD: WO-middag, WO-namiddag, Vrijdag
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 18-09-2017 t/m 01-10-2017
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
Na-inschrijvingJa
Na-inschrijving geopendvanaf 23-10-2017 t/m 24-10-2017
WachtlijstJa
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
Het vak Logica voor Informatica is een introductie tot logica en speciaal ontworpen voor informatica studenten.
Het belangrijkste leerdoel van dit vak is het kennismaken met de fundamentele (basis) concepten uit de verzamelingenleer, propositie- en predicatenlogica en de toepassing van logica om de correctheid van computer programma's te bewijzen.
In het bijzonder leert de student
  • met verzamelingen te werken en simpele eigenschappen ervan te bewijzen,
  • informatie in de talen van de propositie- en predicatenlogica uit te drukken en daarmee te redeneren,
  • verschillende technieken en bewijssystemen in propositie- en predicatenlogica te beheersen en ermee te werken,
  • logica toe te passen om eigenschappen van computer programma's te bewijzen.
Inhoud
Logica wordt veelal gezien als de grondslag voor wetenschap. Het onderzoekt de regels voor de geldige manieren van redeneren. Redeneren is het proces waarmee uit een aantal beweringen, argumenten of feiten conclusies worden getrokken. Logica heeft veel raakvlakken met informatica. Verschillende deelgebieden binnen informatica, zoals databases, software systemen, kunstmatige intelligentie, theoretische informatica, games en simulaties maken gebruik van logische tools, methoden en technieken. Bijvoorbeeld, logische verificatie tools worden ingezet om software systemen te analyseren en op correctheid te controleren. Logische bewijstechnieken worden gebruikt om over informatie te redeneren en er juiste conclusies uit te trekken. Logische methoden maken het mogelijk om intelligente virtuele karakters voor computer games en simulaties te specificeren, te modelleren en te ontwikkelen.
Ingangseisen
Verplicht materiaal
-
Aanbevolen materiaal
Software
Geen software nodig
Werkvormen (aanwezigheidsplicht)
Hoorcollege

Werkcollege

Toetsen
Eindresultaat
Weging100
Minimum cijfer-

SluitenHelpPrint
Switch to English