About: Structured program theorem

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Theorem that a class of control flow graphs can compute any computable function if it combines subprograms only through sequence, selection, and iteration

thumbnail
Property Value
dbo:description
  • mathematischer Satz (de)
  • theorem that a class of control flow graphs can compute any computable function if it combines subprograms only through sequence, selection, and iteration (en)
  • teorema di informatica teorica enunciato dagli informatici Corrado Böhm e Giuseppe Jacopini (it)
  • twierdzenie informatyki matematycznej (pl)
dbo:thumbnail
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Structured program theorem (en)
  • Teorema del programa estructurat (ca)
  • Teorema del programa estructurado (es)
  • Teorema di Böhm-Jacopini (it)
  • 構造化定理 (ja)
  • Twierdzenie Böhma-Jacopiniego (pl)
  • Структурна теорема Бьома — Якопіні (uk)
  • Теорема Бёма — Якопини (ru)
  • 結構化程式理論 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International