Episode Synopsis "Boommethode en resolutie"

Listen "Boommethode en resolutie"

More 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