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. G.A.W. Vreeswijk
Telefoon+31 30 2534094
E-mailG.A.W.Vreeswijk@uu.nl
Docenten
Docent
dr. G.A.W. Vreeswijk
Overige cursussen docent
Blok
2  (11-11-2013 t/m 31-01-2014)
Aanvangsblok
2
TimeslotC: MA-middag/namiddag,DI-middag, DO-ochtend
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 03-06-2013 t/m 15-11-2013
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

 

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

Werkcollege (Verplicht)

Toetsen
Tentamen
Weging100
Minimum cijfer6

SluitenHelpPrint
Switch to English