Einführung in die Logik

Автор: NLogSpace

Загружено: 2020-08-30

Просмотров: 14336

Описание: 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.

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Einführung in die Logik

Доступные форматы для скачивания:

Скачать видео

Информация по загрузке:

Скачать аудио

Похожие видео

Aussagenlogik #1 - Einführung

Aussagenlogik #1 - Einführung

Logik erster Stufe #12 - Nicht-Ausdrückbarkeit

Logik erster Stufe #12 - Nicht-Ausdrückbarkeit

Beweis mit der Wahrheitstafel (Beweise)

Beweis mit der Wahrheitstafel (Beweise)

Logik erster Stufe #1 - Motivation und Beispiele

Logik erster Stufe #1 - Motivation und Beispiele

Einführung in die Logik, 1. Vorl., Teil I

Einführung in die Logik, 1. Vorl., Teil I

Unimathe: Aussagenlogik #1 | Einführung / Grundlagen / Basics | Beispiele und Übungsaufgaben

Unimathe: Aussagenlogik #1 | Einführung / Grundlagen / Basics | Beispiele und Übungsaufgaben

Logik

Vorkurs Mathematik für Studierende

Vorkurs Mathematik für Studierende

Wie Mathematiker denken und sprechen / Logik (Vorkurs Mathematik)

Wie Mathematiker denken und sprechen / Logik (Vorkurs Mathematik)

Задача из вступительных Стэнфорда

Задача из вступительных Стэнфорда

Почему нейросети постоянно врут? (и почему этого уже не исправить)

Почему нейросети постоянно врут? (и почему этого уже не исправить)

Professor Ingeborg Puppe - Logik für Juristen Teil 1

Professor Ingeborg Puppe - Logik für Juristen Teil 1

Logik (Teil 1): Aussagenlogik, Junktoren, Wahrheitswertetabelle | Vorkurs Mathematik für Studenten

Logik (Teil 1): Aussagenlogik, Junktoren, Wahrheitswertetabelle | Vorkurs Mathematik für Studenten

Der Begriff des Modells in der Logik

Der Begriff des Modells in der Logik

Formale Logik, Einführung 1: Ein Beispiel

Formale Logik, Einführung 1: Ein Beispiel

Herbrand-Theorie: Universum, Expansion, Interpretation – Prädikatenlogik [Logik für Informatik]

Herbrand-Theorie: Universum, Expansion, Interpretation – Prädikatenlogik [Logik für Informatik]

Einstellungstest LOGIK – Zahlenreihen lösen, Logisches Denken trainieren

Einstellungstest LOGIK – Zahlenreihen lösen, Logisches Denken trainieren

Der Gödelsche Unvollständigkeitssatz | Mathewelten - ARTE

Der Gödelsche Unvollständigkeitssatz | Mathewelten - ARTE

Aussagenlogik #2 - Syntax und Semantik

Aussagenlogik #2 - Syntax und Semantik

Unimathe: Aussagenlogik #3 | Wahrheitstafel | Beweis: Implikation A ⇒ B ist äquivalent zu...

Unimathe: Aussagenlogik #3 | Wahrheitstafel | Beweis: Implikation A ⇒ B ist äquivalent zu...