حساب لمبدا (Q29282)

من Marefa data

formal system in mathematical logic ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	حساب لمبدا	لا يوجد وصف
الإنجليزية	lambda calculus	formal system in mathematical logic	λ-calculus lambda calculi λ-calculi untyped lambda calculus type-free lambda calculus

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

Commons category ^{الإنجليزية}

Lambda calculus

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

named after ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

part of ^{الإنجليزية}

معلوماتية نظرية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Freebase ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Encyclopædia Britannica Online ID ^{الإنجليزية}

topic/lambda-calculus

subject named as ^{الإنجليزية}

lambda calculus

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

subclass of ^{الإنجليزية}

نظام صوري

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

has use ^{الإنجليزية}

نموذج تحسيب

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

GND ID ^{الإنجليزية}

subject named as ^{الإنجليزية}

Lambda-Kalkül

Churchscher Lambda-Kalkül

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Stack Exchange tag ^{الإنجليزية}

https://cstheory.stackexchange.com/tags/lambda-calculus

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

https://mathoverflow.net/tags/lambda-calculus

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

https://stackoverflow.com/tags/lambda-calculus

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

discoverer or inventor ^{الإنجليزية}

ألونزو تشرتش

time of discovery or invention ^{الإنجليزية}

1932^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

topic's main category ^{الإنجليزية}

تصنيف:حسابات اللامدا

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

instance of ^{الإنجليزية}

نموذج رياضي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

has quality ^{الإنجليزية}

كمال تورنغ

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

image ^{الإنجليزية}

Un terme avec liens version 2.png
٢٥٧ × ٣٥٧؛ ١٠ كيلوبايت

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(١ وصلة واحدة)

marefa حساب لمبدا

ويكيبيديا(٢٩ وصلة)

مجلوبة من «https://data.marefa.org/w/index.php?title=Q29282&oldid=46060129»