Lectures

• Bewijstechnieken

  Subject(s) 4. Bewijstechnieken
  

• Boommethode

  Subject(s) 6. Propositielogica
  

• Boommethode 2

  Subject(s) 2. Predicatenlogica
  

• Elementaire begrippen

  Subject(s) 6. Propositielogica
  

• Meta-theorie

  Subject(s) 6. Propositielogica
  

• Natuurlijke deductie

  Subject(s) 6. Propositielogica
  

• Redeneren en logische geldigheid

  Subject(s) 3. Redeneren en logische geldigheid
  

• Resolutie

  Subject(s) 6. Propositielogica
  

• Resolutie en Prolog

  Subject(s) 2. Predicatenlogica
  

• Semantiek

  Subject(s) 2. Predicatenlogica
  

Redeneren en Logica by TU Delft openCourseWare is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Based on a work at https://ocw.tudelft.nl/courses/redeneren-en-logica/.