structured program theorem ^{الإنجليزية} (Q2071701)

من Marefa data

theorem that a class of control flow graphs can compute any computable function if it combines subprograms only through sequence, selection, and iteration ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	structured program theorem	theorem that a class of control flow graphs can compute any computable function if it combines subprograms only through sequence, selection, and iteration	Böhm-Jacopini theorem Dijkstra's theorem

بيانات

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

٠ مرجع

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

١ مراجع

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

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

مبرهنات رياضية

١ مراجع

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

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

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

١ مراجع

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

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

Corrado Böhm ^{الإنجليزية}

١ مراجع

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

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

Corrado Böhm ^{الإنجليزية}

١ مراجع

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

إدسخر دكسترا

١ مراجع

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

described by source ^{الإنجليزية}

Communications of the ACM ^{الإنجليزية}

statement is subject of ^{الإنجليزية}

Flow diagrams, Turing machines and languages with only two formation rules ^{الإنجليزية}

١ مراجع

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

مذكرات محاضرة في علم الحاسوب

statement is subject of ^{الإنجليزية}

The Böhm–Jacopini Theorem Is False, Propositionally ^{الإنجليزية}

١ مراجع

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

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

١ مراجع

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

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٣ وصلات)

cawiki Teorema del programa estructurat
enwiki Structured program theorem
eswiki Teorema del programa estructurado

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