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  (10-11-2014 t/m 30-01-2015)
Aanvangsblok
2
TimeslotD: WO-middag, WO-namiddag, Vrijdag
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 01-09-2014 t/m 16-11-2014
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedureadministratie onderwijsinstituut
Cursusdoelen
-
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
 
Ingangseisen
Verplicht materiaal
-
Werkvormen (aanwezigheidsplicht)
Hoorcollege (Verplicht)

Werkcollege (Verplicht)

Toetsen
Tentamen
Weging100
Minimum cijfer6

SluitenHelpPrint
Switch to English