Resolutie en Prolog
Resolutie en Prolog
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience.TI1300. Het vak Log... Read more
15 Oct 2010
•
1hr 11mins
Boommethode en resolutie
Boommethode en resolutie
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience.TI1300. Het vak Log... Read more
12 Oct 2010
•
1hr 12mins
Semantiek
Semantiek
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience.TI1300. Het vak Log... Read more
8 Oct 2010
•
1hr 24mins
Vertalen en Syntax deel 2: syntax en semantiek van de predicatenlogica
Vertalen en Syntax deel 2: syntax en semantiek van de predicatenlogica
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience.TI1300. Het vak Log... Read more
5 Oct 2010
•
1hr 10mins
Vertalen en Syntax deel 1
Vertalen en Syntax deel 1
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience.TI1300. Het vak Log... Read more
1 Oct 2010
•
36mins
Verzamelingen deel 3
Verzamelingen deel 3
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience.TI1300. Het vak Log... Read more
29 Sep 2010
•
1hr 27mins
Verzamelingen deel 2
Verzamelingen deel 2
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience.TI1300. Het vak Log... Read more
28 Sep 2010
•
33mins
Verzamelingen deel 1
Verzamelingen deel 1
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience.TI1300. Het vak Log... Read more
28 Sep 2010
•
36mins
Natuurlijke deductie deel 2: meer Fitch voor de propositielogica
Natuurlijke deductie deel 2: meer Fitch voor de propositielogica
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience.TI1300. Het vak Log... Read more
24 Sep 2010
•
59mins
Natuurlijke deductie deel 1
Natuurlijke deductie deel 1
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience.TI1300. Het vak Log... Read more
22 Sep 2010
•
1hr 29mins