Resolutie en Prolog
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience. TI1300. Het vak Logica gaat over logische geldig...
Redeneren en Logica
Share:
Listens: 142
About
Delft University of Technology on iTunes
Boommethode en resolutie
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience. TI1300. Het vak Logica gaat over logische geldig...
Semantiek
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience. TI1300. Het vak Logica gaat over logische geldig...
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 Logica gaat over logische geldig...
Vertalen en Syntax deel 1
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience. TI1300. Het vak Logica gaat over logische geldig...
Verzamelingen deel 3
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience. TI1300. Het vak Logica gaat over logische geldig...
Verzamelingen deel 2
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience. TI1300. Het vak Logica gaat over logische geldig...
Verzamelingen deel 1
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience. TI1300. Het vak Logica gaat over logische geldig...
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 Logica gaat over logische geldig...
Natuurlijke deductie deel 1
Some of the recorded lectures may contain technical difficulties. We apologize for the inconvenience. TI1300. Het vak Logica gaat over logische geldig...