Propositional Logic Bonus - Horn Formulas and the Marking Algorithm
Vložit
- čas přidán 14. 02. 2017
- This time it's about horn formulas and the marking algorithm.
❤❤❤ Early access to tutorials, polls, live events and downloads ❤❤❤
❤❤❤ www.patreon.com/user?u=5322110 ❤❤❤
❤❤❤ Not up for Patreon? ❤❤❤
❤❤❤ www.paypal.me/TheMorpheus ❤❤❤
🌍 Website
🌍 the-morpheus.de
¯\_(ツ)_/¯ Join the Community ¯\_(ツ)_/¯
** the-morpheus.de/discord.html **
** / themorpheustuts **
( ͡° ͜ʖ ͡°) More news? More code?
ℱ / themorpheustutorials
🐦 / themorpheustuts
🐙 github.com/TheMorpheus407/Tut...
You order from Amazon? Order through me, costs you zero and you help me out
"-(¯`-.-'¯)-" amzn.to/2slBSgH
Video requests?
🎁 docs.google.com/spreadsheets/...
Questions? Feedback? Write me!
✉ www.patreon.com/user?u=5322110
✉ / themorpheustutorials
✉ the-morpheus.de/discord.html
or just write a comment :)
Playlist: • Logik Tutorial
Danke du hast mir stundenlange Vorlesungen zusammengefasst :)
Vorlesungen? Bei uns wurde das in 10 Minuten vorgestellt
Das Video hat mir sehr gut gefallen und und weitergeholfen.
Danke, dass du dir den Aufwand gemacht hast
Danke fürs Zusehen :)
So ein gut zusammengefasstes und top erklärtes Video habe ich zu solch einem Nischenthema lange nicht gesehen. Top
Kuss auf die nuss für das video, mein prof war zu faul für ein erklärvideo
Wow, super Video, klasse erklärt und dazu noch astreine Qualität
Thank you for the English subtitles and for the great explanation!
Super gut erklärt, danke! :)
Danke dir echt
bester mann!
danke für Erklärung
ich liebs
auf albanisch würde man sagen, tlumt kari. Ich küsse deine Augen
Super Video, was mache ich wenn ich habe: (nicht A v nicht B)
Kann ich links oder rechts der Subjunktion auch ein negiertes literal haben?
ich find die darstellung durch plus und mal und strich drüber einfacher als die spitzen dinger :D
o.O Die Darstellung kenne ich gar nicht :O
muss man glaub ich auch nicht, ich finds nur einfacher als immer zu überlegen wie rum das und bzw das oder orientiert ist, ich kann mir das einfach nicht merken xD
(!a+!b+c)(!a+c)(!a+b)*b*!c
statt ! benutz ich sonst auch immer ā, b̄ und c̄ ^^
(ā+b̄+c)(ā+c)(ā+b)*b*c̄
achso okay, also plus und mal kannte ich nicht, die Negation als Balken kenn ich.
Aber ich finde, die verwechselt man so leicht - zumindest in nem Video..
ist nur persönliche präferenz c:
Ist die Hornformel einfach nur eine Normalform mit der Speziellen Eigenschaft, dass nur maximal 1 mal ein unnegiertes Literal in jeder Klausel vorkommt? Oder muss es, wie bei dir im Beispiel eine KNF sein? Unter Normalform verstehe ich nämlich entweder KNF oder DNF. Das wird nämlich nicht deutlich was du mit Normalform genau meinst.
Die Normalformen KNF und DNF hab ich in nem separaten Video erklärt. Hornformeln sind aber auch eine Normalform für ganz spezielle Formeln, die du dann mit dem Algorithmus auswerten kannst
Okay, danke.
In welchem Semester hattest du eigentlich Logik? Bin gerade im ersten und das ist schon ganz schön "abschrekend" für das Studium. Allerdings kann ich mir schon vorstellen dass das wichtig ist. Erschlägt einen bloß ganz schön am Anfang.
Deswegen bin ich dir auch echt dankbar, dass du so gute Videos machst. ;)
im 3. und im 1. Mastersemester nochmal ausführlich^^
Das ist wahr, geht glaube ich vielen so..
freut mich, wenn ich helfen kann =)
Wenn auf der linken Seite Beispielsweise keine 1 Steht, dann ist die Formel nicht zu 1 auflösbar richtig?
Zwei Sekunden später kam die Antwort :) Top!
:D Nice :)
Jemand hier wegen H2.2 APL TU Darmstadt?
Wann kommen mal wieder Python Tutorials? :(
momentan hab ich keine Serie zu Python am laufen, aber was fehlt dir denn?
Wenn du eine zusammenfassung machst... die kann ja auch länger dauern aber halt das du so zu jedem schwierigkeits gebiet eine zusammenfassung machst :D wie z.b. von integern bis arrays dann von guis zu klassen usw
am Anfang macht das vielleicht Sinn, aber die Fortgeschritteneren Themen kann man eigentlich nicht zusammenfassen.. Dabei würde zu viel verloren gehen
Ich meine, dass die zusammen fassung nur noch mal so eine kurzwiederholung ist. D.h., dass du einfach ein kleines programm mit dem jeweiligen thema vorstellst
hm, das wäre vielleicht ne idee
Aus welcher Stadt kommst du eigentlich? Kann deinen Dialekt nie zuordnen xD
Ich komme ursprünglich aus der Gegend von Freiburg.
Aber ich dachte, ich bin den Dialekt losgeworden? :D
Das auf jeden Fall, aber fast jeder (außer natürlich unsere Freunde aus Hannover) hat einen Dialekt; hätte bei dir eher auf Rheinland-Pfalz getippt, weil du so ziemlich wie ich sprichst, musst bei deinem 'i' und 'u' mal auf deine Betonung achten. :D
hm, kommt vielleicht von Freunden, die daher stammen :D
Ach so. :D Echt schade, dass du kein Skype hast, scheinst echt ein sympathischer Typ zu sein! :) Wie weit bist du eig. mit deinem Studium? :)
Danke :) teamspeak bzw discord dann mal, wenn ich den Server eingerichtet hab :D
Master, noch 3 Semester nach dem hier ;)
Wirst du dich mal zeigen ? :D (Bitteeeee)
:D wieso denn das?
Vielleicht irgendwann mal xD
The Morpheus Tutorials Weil ich einfach wissen will, wer hinter diesen ganzen Videos steckt :D Ich glaub ich bin nicht der einzige der wissen will :c
:D na dann
Bitte doch! :D
also dauerhaft werd ich das auf keinen Fall machen. Ich find das bei anderen auch immer störend. Außer natürlich bei Slender-Let's Plays. Aber das ist die Ausnahme :D