- Nummer
- 0211100
- Leitung
- Gianni N. Di Pietro Fachhochschule Solothurn Nordwestschweiz
- ECTS
- 1.0
- Unterrichtssprache
- Deutsch
- Standardbezug
- Einführung in die mathematische Logik
- Inhalt
- Aussagenlogik: Wahrheitstafeln, semantische Tableaus, Resolution, Prädikatenlogik: Einführung, Resolution, Logikprogrammierung