Logica voor informatica

Website:

Vakcode:

INFOB1LI

Studiepunten:

7.5 ECTS

Periode:

periode 2 (week 46 t/m 5, dwz 12-11-2012 t/m 1-2-2013; herkansing week 11)

Timeslot:

Deelnemers:

Rooster:

Let op: m.i.v. het collegejaar 2008/2009 is het rooster te vinden in Osiris

Docenten:

Dit is een oud rooster!

vorm	groep	tijd	week	zaal	docent
college		di 15.15-17.00	46-51	ANDRO-C101	Mehdi Dastani Gerard Vreeswijk
		di 15.15-17.00	2-4	ANDRO-C101
		do 11.00-12.45	46-51	ANDRO-C101
		do 11.00-12.45	2-4	ANDRO-C101
werkcollege	groep 1	ma 13.15-15.00	47-51	BBL-165	Gerard Vreeswijk Simon Prins
		ma 13.15-15.00	2-4	BBL-165
		do 9.00-10.45	46-51	BBL-169
		do 9.00-10.45	2-4	BBL-169
	groep 2	ma 13.15-15.00	47-51	BBL-083	Jan van Balen Guido Passage
		ma 13.15-15.00	2-4	BBL-083
		do 9.00-10.45	46-51	BBL-205
		do 9.00-10.45	2-4	BBL-205
	groep 3	ma 13.15-15.00	47-51	BBL-023	Mihai Polak Geertien de Vries
		ma 13.15-15.00	2-4	BBL-023
		do 9.00-10.45	46-51	BBL-023
		do 9.00-10.45	2-4	BBL-023

Tentamen:

week: 51	do 19-12-2013	8.30-10.30 uur	zaal: EDUC-BETA
week: 5	do 30-1-2014	8.30-10.30 uur	zaal: EDUC-BETA

Inhoud:

Logica voor Informatica.

Literatuur:

Collegedictaat "Logica voor Alpha's en Informatici," editie 2012.

Werkvorm:

Hoorcollege, werkcollege.

Toetsvorm:

Twee deeltoetsen.

Inspanningsverplichting voor aanvullende toets:

Om aan de aanvullende toets te mogen meedoen moet de oorspronkelijke uitslag minstens 4 zijn.

Beschrijving:

wijzigen?