Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen. Sie beschreibt Funktionsdefinitionen, das Definieren formaler Parameter sowie das Auswerten und Einsetzen aktueller Parameter.

PropertyValue
dbpedia-owl:abstract
  • Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen. Sie beschreibt Funktionsdefinitionen, das Definieren formaler Parameter sowie das Auswerten und Einsetzen aktueller Parameter.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 990972 (xsd:integer)
dbpedia-owl:wikiPageInterLanguageLink
dbpedia-owl:wikiPageRevisionID
  • 102704509 (xsd:integer)
dcterms:subject
rdfs:comment
  • Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen. Sie beschreibt Funktionsdefinitionen, das Definieren formaler Parameter sowie das Auswerten und Einsetzen aktueller Parameter.
rdfs:label
  • Lambda-Kalkül
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:influencedBy of
is dbpedia-owl:wikiPageRedirects of
is dbpprop-de:beeinflusstVon of
is foaf:primaryTopic of