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