Udemy
    •  
    •  
    •  
    •  
    •  
    •  
    •  
    •  
Subscribe
Turn what you know into an opportunity and reach millions around the world.
Learn More
Your cart is empty.
Keep shopping
Formale Logik
Rating: 3.9 out of 5(39 ratings)
354 students

Formale Logik

Logik hat auch einen mathematischen Aspekt
Created byCedric Mössner
Last updated 7/2017
German

What you'll learn

  • logische Gleichungen verstehen und lösen

Course content

4 sections • 38 lectures • 7h 56m total length

  • Und, Oder, Nicht9:50
  • Implikation und Äquivalenz8:33
  • XOR, NOR, NAND7:35
  • Die De Morgan'schen Gesetze6:10
  • boolsche Funktionen9:18
  • Logische Grundgesetze13:26
  • Boolsches Rechnen
  • Normalformen10:19
  • Normalformen umwandeln13:52
  • Normalformen aus Wahrheitstabellen11:44
  • Formeln aus Wahrheitstabellen
  • Wahrheitstabelle aus Formel
  • Shannon Formeln, Bäume und deren Reduktion12:57
  • Basen3:42
  • Metasprache und das Craigsche Interpolationslemma12:38
  • SatSolving und der DPLL-Algorithmen29:21
  • Übung: Ein Sudokusolver in Java47:58
  • Modelle, Interpretationen, Folgerungen und Äquivalenz14:54
  • Horn Formeln und der Markierungsalgorithmus9:45
  • Hornformel und Markierungsalgorithmus

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 this course is for:

  • 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

Report abuse