Einführung in die Logik

preview_player
Показать описание
Mathematische Logik wird benutzt um Wissen und Schlussfolgerungen zu formalisieren. Sie spielt eine wichtige Rolle in der Mathematik und in der Informatik. Die wichtigsten Logiken sind Aussagenlogik, Prädikatenlogik (Logik erster Stufe) und Modallogik. In den folgenden Videos dieser Serie geht es zunächst um Aussagenlogik, später auch um andere Logiken.
Рекомендации по теме
Комментарии
Автор

Super super playlist! In der Zeit von 2 Vorlesungen das halbe Semester "Formale Modellierung" verständlich erklärt. Verdienst echt mehr views!

tomm
Автор

Ein wirklich interessantes Thema, was ich mir demnächst anschauen wollte. Schön das du Videos zu diesem Thema machst! :)

codebrothers
Автор

Danke für deine Videos! Die haben mich damals gut durch TI1 gebracht :D

xiaolaw
Автор

Lang erwartete Serie :D
Wo kann man am besten darüber lesen? Gibt es z.B. Standardwerke dazu?

MrLimetto
Автор

hoffentlich kommen irgendwann auch videos zu den gödelschen unvollständigkeitssätzen

crackindenpockets