ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Delft University of Technology on iTunes
Latest episodes of the podcast Redeneren en Logica
- Redeneren en logische helderheid
- Bewijstechnieken
- Bewijstechnieken en propositielogica
- Waarheidstafels, redeneringen, syntaxis van PROP
- Semantiek en waarheidstafels deel 1
- Semantiek en waarheidstafels deel 2
- Boommethode voor de propositielogica
- Practicum en natuurlijke deductie
- Natuurlijke deductie deel 1
- Natuurlijke deductie deel 2: meer Fitch voor de propositielogica
- Verzamelingen deel 1
- Verzamelingen deel 2
- Verzamelingen deel 3
- Vertalen en Syntax deel 1
- Vertalen en Syntax deel 2: syntax en semantiek van de predicatenlogica
- Semantiek
- Boommethode en resolutie
- Resolutie en Prolog
In God we trust