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  (14-11-2011 t/m 03-02-2012)
Aanvangsblok
2
TimeslotC: MA-middag/namiddag,DI-middag, DO-ochtend
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 20-06-2011 t/m 18-11-2011
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

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

 

Ingangseisen
Verplicht materiaal
-
Werkvormen (aanwezigheidsplicht)
Hoorcollege (Verplicht)

Werkcollege (Verplicht)

Toetsen
Tentamen
Weging100
Minimum cijfer6

SluitenHelpPrint
Switch to English