LogikSpotlight: Unentscheidbarkeit und Semi-Entscheidbarkeit der Prädikatenlogik

1 127 просмотров · 6 л. назад

Gerhard Brewka

115 подписчиков

1 127 просмотров · 6 л. назад

Das Video diskutiert Unentscheidbarkeit und Semi-Entscheidbarkeit des Unerfüllbarkeitsproblems der Prädikatenlogik und verwandter Probleme.