Скачать
[K2.1] Definieren einer Semantik
Автор: Mathematik-Vorkurs – Universität des Saarlandes
Загружено: 2015-09-13
Просмотров: 2070
Описание:
In diesem Video zeigen wir dir, wie du die Semantik für einen neuen Operator angibst. Die Semantik muss zu einer gegebenen Wahrheitstafel passen.
__________________________
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] Definieren einer Semantik](https://imager.clipsaver.ru/DaTfGrDibJo/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[K2.1] Semantik eines neuen logischen Operators](https://image.4k-video.ru/id-video/35Da77tOXNY)
![[K2.2] Natürlichsprachliche Ausdrücke und Prädikatenlogik - Part 1](https://image.4k-video.ru/id-video/DVs9S_L2Sr4)
![[K2.1] Tautologie, Kontradiktion und Erfüllbarkeit](https://image.4k-video.ru/id-video/0cPRYfNLDRE)
![[K2.2] Skopus, definierendes und benutzendes Auftreten von Variablen](https://image.4k-video.ru/id-video/5GiGsaw-eFI)
