Скачать
Markierungsalgorithmus für Hornformeln
Автор: Elias
Загружено: 2014-11-24
Просмотров: 18746
Описание:
Markierungsalgorithmus aus dem Buch von Uwe Schöning: "Logik für Informatiker", 5 Auflage.
Den Algorithmus habe nicht ich erfunden. Ich übernehme keine Verantwortung!
Dieses Video ist mit der Absicht entstanden, anderen zu helfen. Es geht mir nicht um persönliche Bereicherung.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![Herbrand-Theorie: Universum, Expansion, Interpretation – Prädikatenlogik [Logik für Informatik]](https://image.4k-video.ru/id-video/eF_5IXLHvGw)
![[K2.1] Tautologie, Kontradiktion und Erfüllbarkeit](https://image.4k-video.ru/id-video/0cPRYfNLDRE)
