Beamer-Folien Mathematik und Logik

Text

• Aussagenlogik: Bildschirm, Drucker.
• Prädikatenlogik: Bildschirm, Drucker.

Coq-Programme

• Aussagenlogik, kurz.
• Aussagenlogik, lang.
• Prädikatenlogik.
• Induktive Definition.
• Listen.