Lambda Kalkül #17 - Typsysteme: Unifikation - Theoretische Informatik
31Playlist: https://www.youtube.com/playlist?list=PLNmsVeXQZj7oBz3PP5sGIkLnmBbw10UUP
In diesem Tutorial erkläre ich euch den Unifikationsalgorithmus, mit dem wir den allgemeinsten Typ des Terms bestimmen können.
❤❤❤ Früherer Zugang zu Tutorials, Abstimmungen, Live-Events und Downloads ❤❤❤
❤❤❤ https://www.patreon.com/user?u=5322110 ❤❤❤
❤❤❤ Keinen Bock auf Patreon? ❤❤❤
❤❤❤ https://www.paypal.me/TheMorpheus ❤❤❤
🌍 Website
🌍 https://the-morpheus.de
¯\_(ツ)_/¯ Tritt der Community bei ¯\_(ツ)_/¯
** https://the-morpheus.de/discord.html **
** https://www.reddit.com/r/TheMorpheusTuts/ **
( ͡° ͜ʖ ͡°) Mehr News? Mehr Code?
ℱ https://www.facebook.com/themorpheustutorials
🐦 https://twitter.com/TheMorpheusTuts
🐙 https://github.com/TheMorpheus407/Tutorials
Du bestellst bei Amazon? Bestell über mich, kostet dich null und du hilfst mir
»-(¯`·.·´¯)-» http://amzn.to/2slBSgH
Videowünsche?
🎁 https://docs.google.com/spreadsheets/d/1YPv8fFJOMRyyhUggK8phrx01OoYXZEovwDLdU4D4nkk/edit#gid=0
Fragen? Feedback? Schreib mir!
✉ https://www.patreon.com/user?u=5322110
✉ https://www.facebook.com/themorpheustutorials
✉ https://the-morpheus.de/discord.html
oder schreib einfach ein Kommentar :)