SluitenHelpPrint
Switch to English
Cursus: INFOB1LI
INFOB1LI
Logica voor informatica
Cursus informatie
CursuscodeINFOB1LI
Studiepunten (EC)7,5
Inhoud

 

De cursus Logica voor informatica heeft de volgende leerdoelen:

 

  • je neemt kennis van de propositielogica en de predikaatlogica
  • je kunt uitspraken bewijzen met behulp van: formule-inductie, axiomatisch afleiden, resolutie en unificatie
  • je kunt syntax en semantiek onderscheiden
  • je krijgt inzicht in de logische semantiek van programmeertalen
  • je kunt informatica-problemen modelleren met behulp van logica

http://www.cs.uu.nl/education/vak.php?vak=INFOB1LI

 

SluitenHelpPrint
Switch to English