Formale Logik
0.5 (1 rating)
Instead of using a simple lifetime average, Udemy calculates a course's star rating by considering a number of different factors such as the number of ratings, the age of ratings, and the likelihood of fraudulent ratings.
7 students enrolled
Wishlisted Wishlist

Please confirm that you want to add Formale Logik to your Wishlist.

Add to Wishlist

Formale Logik

Logik hat auch einen mathematischen Aspekt
0.5 (1 rating)
Instead of using a simple lifetime average, Udemy calculates a course's star rating by considering a number of different factors such as the number of ratings, the age of ratings, and the likelihood of fraudulent ratings.
7 students enrolled
Created by Cedric Mössner
Last updated 7/2017
German
Current price: $10 Original price: $80 Discount: 88% off
5 hours left at this price!
30-Day Money-Back Guarantee
Includes:
  • 8 hours on-demand video
  • Full lifetime access
  • Access on mobile and TV
  • Assignments
  • Certificate of Completion
What Will I Learn?
  • logische Gleichungen verstehen und lösen
View Curriculum
Requirements
  • Ein grundlegendes mathematisch-logisches Verständnis ist hilfreich
Description

In diesem Kurs lernst du formale Logik kennen. Diese hat nicht nur eine Anwendung in der Philosophie, sondern auch in der Mathematik und der Informatik - Machine Learning, automatische Codeprüfunge und vieles mehr lebt davon.

Lerne die verschiedenen Logiken kennen (ja es gibt mehrere!) und mit ihnen umzugehen. Aussagenlogik, Prädikatenlogik und automatische Lösungssysteme erwarten dich!

Freue dich auf viele Informationen, Aufgaben und sogar einen logischen Sudokulöser in Java.

Who is the target audience?
  • Alle, die gerne logische Gleichungen verstehen und lösen möchten
  • Alle, die gerne das Verständnis ihrer if-Bedingungen auf ein ganz neues Level heben möchten
Students Who Viewed This Course Also Viewed
Curriculum For This Course
38 Lectures
07:56:34
+
Lesson Proper
16 Lectures 03:42:02





Logische Grundgesetze
13:26

Vereinfache die im Bild dargestellten boolschen Gleichungen.
Boolsches Rechnen
1 question

Normalformen
10:19

Normalformen umwandeln
13:52

Normalformen aus Wahrheitstabellen
11:44

Wie lautet die Formel, die zu dieser Wahrheitstabelle gehört? Vereinfache!
Formeln aus Wahrheitstabellen
1 question

Wie sieht die Wahrheitstabelle aus, die diese Funktion erzeugt?
Wahrheitstabelle aus Formel
1 question

Shannon Formeln, Bäume und deren Reduktion
12:57

Basen
03:42

Metasprache und das Craigsche Interpolationslemma
12:38

SatSolving und der DPLL-Algorithmen
29:21

Übung: Ein Sudokusolver in Java
47:58

Modelle, Interpretationen, Folgerungen und Äquivalenz
14:54

Horn Formeln und der Markierungsalgorithmus
09:45

Nutze den Markierungsalgorithmus und zeige, ob diese Formel erfüllbar ist.
Hornformel und Markierungsalgorithmus
1 question
+
Prädikatenlogik
9 Lectures 01:32:34
Quantoren
12:36

Funktions- und Prädikatensymbole
17:23

Ein Beispielrätsel
12:50

Freie und gebundene Variablen
10:18

Substitutionen
09:09

Unifikation
10:48

Sind die folgenden Formeln unifizierbar?
Unifizierbarkeit
2 questions

Normalformen
04:49

Die pränexe Normalform
06:03

Die Skolemnormalform
08:38
+
Kalküle
10 Lectures 02:18:24
Der Hilbertkalkül
17:55

Der Hilbertkalkül #2
11:21

Der Hilbertkalkül #3
20:01

Resolutionskalkül #1
05:31

Resolutionskalkül #2
15:36

Baumkalkül / Tableaukalkül
11:01

Wende den Tableaukalkül an, um die Gleichung auf ihre Erfüllbarkeit zu überprüfen
Tableaukalkül
5 questions

Baumkalkül / Tableaukalkül #2
12:30

Reduktionssysteme
14:55

Der Sequenzenkalkül der Aussagenlogik
18:05

Der Sequenzenkalkül der Prädikatenlogik
11:29
+
Weitere Logiken
3 Lectures 23:34
Modale Logik
08:27

Lineare Temporal-Logik
08:43

About the Instructor
Cedric Mössner
2.8 Average rating
13 Reviews
148 Students
12 Courses
Informatiker und Youtuber

Seit 2012 sowohl Student der Informatik als auch Dozent auf Youtube für diverse Gebiete der Informatik und Softwareentwicklung. Meine Schwerpunkte sind zum Einen Machine Learning, mit Fokus aus Neuronale Netze und zum Anderen IT-Sicherheit.

Erfahrung habe ich gesammelt durch eigene lernende Algorithmen im privaten Bereich und als Betreiber von Webservices und gelegentlicher unabhängiger Penetrationtester für verschiedene Firmen.