Predicate logic #2 - function and predicate symbols

  Рет қаралды 16,041

The Morpheus Tutorials

The Morpheus Tutorials

Күн бұрын

In this tutorial, I'll show you what function symbols are and what predicate symbols are.
❤❤❤ Early access to tutorials, polls, live events, and downloads ❤❤❤
❤❤❤ www.patreon.co... ❤❤❤
❤❤❤ Not up for Patreon? ❤❤❤
❤❤❤ www.paypal.me/... ❤❤❤
🌍 Website
🌍 the-morpheus.de
¯\_(ツ)_/¯ Join the Community ¯\_(ツ)_/¯
** the-morpheus.d... **
** / themorpheustuts **
( ͡° ͜ʖ ͡°) More news? More code?
ℱ / themorpheustutorials
🐦 / themorpheustuts
🐙 github.com/The...
You order from Amazon? Order through me, costs you zero and you help me out
"-(¯`-.-'¯)-" amzn.to/2slBSgH
Video requests?
🎁 docs.google.co...
Questions? Feedback? Write me!
✉ www.patreon.co...
✉ / themorpheustutorials
✉ the-morpheus.d...
or just write a comment :)
Playlist: • Logik Tutorial

Пікірлер: 20
@TheFarshid360
@TheFarshid360 4 жыл бұрын
ich schaue jetzt in 2020 deine Videos anstatt meine Universität Folien an und die sind echt deutlicher und verständlicher! herzlichen Dank für deine Tolle Tutorials. ich könnte nicht mich genug bedanken!
@TheMorpheusTutorials
@TheMorpheusTutorials 4 жыл бұрын
Das freut mich mega, danke dir!
@circiut
@circiut 10 ай бұрын
2023 - same here 😂
@commanderlabelle1
@commanderlabelle1 3 ай бұрын
Sehr gute Tutorials :) das hier war etwas konfus, aber es ist auch ein schwieriges Thema zum Erklären.
@MsJavaWolf
@MsJavaWolf 8 жыл бұрын
Sehr gute Tutorials. Es gibt wenige, die das Thema formal erklären. Gleichzeitig hast du noch verständliche Beispiele.
@TheMorpheusTutorials
@TheMorpheusTutorials 8 жыл бұрын
vielen Dank =)
@bratspinat
@bratspinat 5 жыл бұрын
Ahhh, endlich kapier ich Prädikatensymbole 😅 danke für das Video!
@TheMorpheusTutorials
@TheMorpheusTutorials 5 жыл бұрын
:) Freut mich, danke fürs Zusehen
@davudiok7923
@davudiok7923 6 жыл бұрын
u da real mvp dawg
@TheMorpheusTutorials
@TheMorpheusTutorials 6 жыл бұрын
:) dange ;)
@mariojackle7847
@mariojackle7847 7 жыл бұрын
Insgesamt sehr schön erklärt, aber was genau die Verbindung zwischen Prädikatensymbolen und Atomaren Ausdrücken ist, kommt mmn nicht raus.
@TheMorpheusTutorials
@TheMorpheusTutorials 7 жыл бұрын
vielleicht in den folgenden Videos? :)
@hatu7020
@hatu7020 3 жыл бұрын
hey Leute, habt ihr manch themen in Gymnasium gelernt? mein Prof verhält sich dass wir schon ne Grundlage davon wissen !!!
@alliecorex
@alliecorex 6 жыл бұрын
Hallo Morpheus, Ich finde es immer noch ganz schwer zu verstehen, wie genau sind Prädikate und Funktionen verschieden, wenn es um solchen Beispielrätsel geht. Würdest du die Verschiedenheit mit solchen Beispiele wie diese in Video #3 erkären bitte?
@TheMorpheusTutorials
@TheMorpheusTutorials 6 жыл бұрын
Der Unterschied ist zwar sehr subtil aber recht simpel: Prädikate geben immer einen Wahrheitswert zurück. Funktionen geben Variablen zurück
@alliecorex
@alliecorex 6 жыл бұрын
Alles klar! Danke sehr für die schnelle Antwort
@l3nn13
@l3nn13 2 жыл бұрын
@@TheMorpheusTutorials und funktionen können keinen wahrheitswert zurückgeben, weil sie dann prädikate wären oder? :D
@squirrelbrains2197
@squirrelbrains2197 7 жыл бұрын
Das sieht so aus als würde eine atomare formel aus mehreren termen bestehen. ich hatte bisher angenommen das atomare ausdrücke die kleinsten möglichen sind, und terme unter anderem aus ihnen zusammen gesetzt werden. bei dir klingt es so als ob es anders herum wäre. das ist etwas verwirrend
@TheMorpheusTutorials
@TheMorpheusTutorials 7 жыл бұрын
Ein atomarer Ausdruck ist ein Prädikat ohne Verbindungen wie And, Or etc, also schon so, wie du vermutlich dachtest
@squirrelbrains2197
@squirrelbrains2197 7 жыл бұрын
danke. verwirrung beseitigt.
Predicate logic #3 - An example puzzle
12:51
The Morpheus Tutorials
Рет қаралды 9 М.
Propositional Logic Bonus - Horn Formulas and the Marking Algorithm
9:46
The Morpheus Tutorials
Рет қаралды 19 М.
Prädikatenlogik
13:47
Christian Spannagel
Рет қаралды 172 М.
Konjunktive und Disjunktive Normalform | Simplexity
9:15
Simplexity
Рет қаралды 32
Solving Wordle using information theory
30:38
3Blue1Brown
Рет қаралды 10 МЛН
Logic Bonus - The Sequence Calculus of Propositional Logic
18:06
The Morpheus Tutorials
Рет қаралды 13 М.
ChatGPT O1 im Test für Informatiker: Coding Durchgespielt!
52:35
The Morpheus Tutorials
Рет қаралды 54 М.
Predicate logic #4 - Free and bound variables
10:18
The Morpheus Tutorials
Рет қаралды 13 М.
Warum Software sich immer kaputter anfühlt
20:55
The Morpheus Tutorials
Рет қаралды 10 М.
Logik erster Stufe #3 - Syntax und Semantik
24:46
NLogSpace
Рет қаралды 8 М.