Скачать
[K2.1] Tautologie, Kontradiktion und Erfüllbarkeit
Автор: Mathematik-Vorkurs – Universität des Saarlandes
Загружено: 2015-09-13
Просмотров: 23025
Описание:
Wir lernen die Begriffe Tautologie, Kontradiktion und Erfüllbarkeit und deren Bedeutung kennen.
__________________________
Dieses Video ist Teil des Mathematik-Vorkurses für Informatiker der Universität des Saarlandes:
https://vorkurs.cs.uni-saarland.de/
Für Anmerkungen und Fragen steht Teilnehmern des Vorkurses das Forum offen: https://vorkurs.cs.uni-saarland.de/forum
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
![[K2.1] Tautologie, Kontradiktion und Erfüllbarkeit](https://imager.clipsaver.ru/0cPRYfNLDRE/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[K2.1] Definieren einer Semantik](https://image.4k-video.ru/id-video/DaTfGrDibJo)
![[K2.2] Natürlichsprachliche Ausdrücke und Prädikatenlogik - Part 1](https://image.4k-video.ru/id-video/DVs9S_L2Sr4)
