[K2.1] Semantik eines neuen logischen Operators
HTML-код
- Опубликовано: 8 ноя 2024
- Wir führen einen neuen logischen Operator ein und definieren dessen Semantik formal.
__________________________
Dieses Video ist Teil des Mathematik-Vorkurses für Informatiker der Universität des Saarlandes:
vorkurs.cs.uni...
Für Anmerkungen und Fragen steht Teilnehmern des Vorkurses das Forum offen: vorkurs.cs.uni...
![[K2.1] Beweisen mit Hilfe der Gesetze der Aussagenlogik](http://i.ytimg.com/vi/fwLzNlY90j0/mqdefault.jpg)
![[K2.1] Beweisen mit Hilfe der Gesetze der Aussagenlogik](/img/tr.png)
![[K2.2] Bereinigen und Ersetzen](http://i.ytimg.com/vi/nlfWduqItB4/mqdefault.jpg)
![[K2.2] Natürlichsprachliche Ausdrücke und Prädikatenlogik - Part 1](http://i.ytimg.com/vi/DVs9S_L2Sr4/mqdefault.jpg)
![[K2.1] Tautologie, Kontradiktion und Erfüllbarkeit](/img/1.gif)