Video není dostupné.
Omlouváme se.
Logic Bonus - The Sequence Calculus of Propositional Logic
Vložit
- čas přidán 19. 02. 2017
- In this video we look at the sequence calculus of propositional logic.
❤❤❤ 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
Einfach unfassbar, dass ich nach der Vorlesung und der Nacharbeitung der Vorlesung immer noch kp hatte, wie das funktioniert, aber ich es nach deinem 18-minütigen Video perfekt verstanden habe. VIELEN DANK DAFÜR!
Gutes Video :) Grüße aus Aachen
Super zusammenfassung. Grüße von der TU Darmstadt!
Dieses Video rettet mir die Hausübung. Vielen Dank, ich hab jetzt ENDLICH begriffen, was Dozent, Folien und Skript von mir wollen. Ich wünschte, die hätten das so verständlich erklärt.
Freut mich, danke dir =)
Das Video ist zwar etwas durcheinander und unübersichtlich, aber es hat mir doch beim Verständnis sehr geholfen, danke ;)
Sehr gut erklärt, danke dir :)
Hey, danke für das Video, hat mir geholfen!
Gerade hat es nach 5 Monaten klick gemacht :D Danke!!!
:D Danke fürs Zusehen
Danke für das Video, Bereite mit gerade auf Formale Systeme vor. Grüße aus Karlsruhe
Sag jmal Junge, hattest du bei all diesem "Spaß" mal probleme?
Also ich habe Theo. Inf. jetzt so halbwegs durch halt, Kellerautomat sowieso komplett einfach und NEA auch nicht schwerer.
Aber all dies Logik und Berechenbarkeit und Datenstrukturen und Algorithmen, ich trete demnächst an, deine Videos dazu erscheinen mir ziemlich - ich will jetzt nicht sagen trivial - aber sagen wir einfach zu verstehen.
Gibt es da irgendwelche Fallen?
Oder kann ich wenn ich deine Videos verstehen mit gutem Gewissen einen Versuch riskieren?
Ich meine das hier zB habe ich sehr gut verstanden in deinem Video
nices video btw
Und nein ich gehe nicht zu den Vorlesungen, die sind totlangweilig.
Also sagen wir mal so, meine Videos sind keine Garantie, da ich eventuell nicht deinen Lehrplan abdecke. Aber wenn du wirklich verstanden hast, was ich gemacht habe und es auch selbst machen kannst, definitiv 👍
Hallo,
mir ist noch nicht klar,was der Unterschied zw.(⊢ ; |= ; → ) ist? könntest du bitte mir erklären
die ersten beiden sind auf der Meta Ebene
13:48 das ist kein rho... Das ist ein Psi :)
woops :D Danke
17:09 Muss man das rechte überhaupt noch zeigen um zu beweisen, dass das allgemeingültig ist? Reicht es nicht eine Seite zu zeigen?
Auf jeden Fall Danke für die Videoreihe. Sehr gut erklärt! :)
Die Frage habe ich mir auch gestellt, da man rechts ja bereits das 1 Axiom hat und die weitere Regelanwendung "unnötige" Arbeit ist.