Der Lambda-Kalkül
0.0 (0 ratings)
Instead of using a simple lifetime average, Udemy calculates a course's star rating by considering a number of different factors such as the number of ratings, the age of ratings, and the likelihood of fraudulent ratings.
0 students enrolled
Wishlisted Wishlist

Please confirm that you want to add Der Lambda-Kalkül to your Wishlist.

Add to Wishlist

Der Lambda-Kalkül

Wie Programmiersprachen den Typ von Variablen und Funktionen herausfinden
0.0 (0 ratings)
Instead of using a simple lifetime average, Udemy calculates a course's star rating by considering a number of different factors such as the number of ratings, the age of ratings, and the likelihood of fraudulent ratings.
0 students enrolled
Created by Cedric Mössner
Last updated 8/2017
German
Current price: $10 Original price: $20 Discount: 50% off
5 hours left at this price!
30-Day Money-Back Guarantee
Includes:
  • 2.5 hours on-demand video
  • Full lifetime access
  • Access on mobile and TV
  • Certificate of Completion
What Will I Learn?
  • Mit dem Lambda-Kalkül umgehen
View Curriculum
Requirements
  • Es ist von Vorteil Programmiererfahrung zu haben
  • Du solltest Interesse an theoretischen Strukturen und Konstrukten haben
Description

In diesem Kurs lernst du zunächst, dass alles als Funktion dargestellt werden kann. Es gibt einige Regeln, wenn man Parameter in Funktionen einsetzt. Nachdem wir uns mit diesen vertraut gemacht haben, sehen wir uns die Darstellung von Variablen als Funktionen an.

Zum Schluss sehen wir uns noch Typsysteme an, die in der Praxis in Compilern und Interpreten eingesetzt werden, um den Typ von Variablen und Funktionen zu inferieren.

Who is the target audience?
  • Alle, die gerne die Logik hinter Funktionspointern sehr genau verstehen möchten
Students Who Viewed This Course Also Viewed
Curriculum For This Course
17 Lectures
02:18:43
+
Church Zahlen
4 Lectures 31:43
natürliche Zahlen
09:32

Addition
07:56

Multiplikation
05:57

True, False, If und AND
08:18
+
Typsysteme
8 Lectures 01:10:56
Einführung
06:57

Abstraktionsregel
06:22

Applikationsregel
07:42

Konstanten-und Variablenregel
04:41

variable Typen
06:09

Die Let-Regel
14:34

Ein Beispielbaum
12:05

Unifikation
12:26
About the Instructor
Cedric Mössner
3.6 Average rating
5 Reviews
66 Students
12 Courses
Informatiker und Youtuber

Seit 2012 sowohl Student der Informatik als auch Dozent auf Youtube für diverse Gebiete der Informatik und Softwareentwicklung. Meine Schwerpunkte sind zum Einen Machine Learning, mit Fokus aus Neuronale Netze und zum Anderen IT-Sicherheit.

Erfahrung habe ich gesammelt durch eigene lernende Algorithmen im privaten Bereich und als Betreiber von Webservices und gelegentlicher unabhängiger Penetrationtester für verschiedene Firmen.