| dbo:abstract
|
- Corrado Böhm (* 17. Januar 1923 in Mailand; † 23. Oktober 2017) war ein italienischer theoretischer Informatiker und Computerpionier. Er war Professor an der Universität La Sapienza (Rom). (de)
- Corrado Böhm (17 January 1923 – 23 October 2017) was a Professor Emeritus at the University of Rome "La Sapienza" and a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda calculus, and the semantics and implementation of functional programming languages. (en)
- Corrado Böhm (Milán, 17 de enero de 1923-Roma, 23 de octubre de 2017) fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional. En un número de la revista científica Theoretical Computer Science se le dedicó una sección especial, producto de su cumpleaños número 70. En 2001, recibió el premio EATCS Award por su distinguida carrera en las ciencias de la computación teórica. (es)
- Corrado Böhm, né le 17 janvier 1923 à Milan et mort le 23 octobre 2017 à Rome, est un informaticien théoricien italien. Professeur émérite à l'université de Rome « La Sapienza », il est connu principalement pour ses contributions à la théorie de la programmation structurée, aux mathématiques constructives, à la logique combinatoire, au lambda-calcul, à la sémantique et à l'implémentation des langages de programmation fonctionnelle. (fr)
- コラド・ベーム（Corrado Böhm, 1923年1月17日 - 2017年10月23日）は、イタリアミラノ出身の計算機科学者。ローマ・ラ・サピエンツァ大学名誉教授。 1946年にローザンヌ大学で電気工学を修了した後、コンピュータ科学の研究を始め、1966年にとともに構造化定理を証明した。この構造化定理は、エドガー・ダイクストラが提唱した構造化プログラミングとよく混同されるが、本来はあまり関係のないものである。 その他、ラムダ計算や関数型言語の研究でも知られる。 (ja)
- Corrado Böhm (Milano, 17 gennaio 1923 – Roma, 23 ottobre 2017) è stato un matematico e informatico italiano, professore emerito dell'Università "La Sapienza" di Roma. (it)
- Corrado Böhm (Milão, 17 de janeiro de 1923 – Roma, 23 de outubro de 2017) foi um cientista da computação italiano. Contribuiu com as teorias de programação estruturada, cálculo Lambda, lógica combinatória e com as semânticas e com a implementação de linguagens de programação funcional. Foi o criador da linguagem P′′, uma linguagem Turing completa, ou seja, com o mesmo poder computacional de uma Máquina de Turing. (pt)
- Коррадо Бём (Corrado Böhm; 17 января 1923 года, Милан — 23 октября 2017 года, Рим) — итальянский математик, специалист в области информатики и математической логики, внёсший решающий вклад в теоретическое обоснование парадигмы структурного программирования и получивший важные результаты в λ-исчислении, комбинаторной логике, семантике языков программирования; один из ранних исследователей теории языков программирования. Профессор римского университета «Сапиенца», сооснователь факультетов информатики Туринского университета и «Сапиенцы». (ru)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:institution
| |
| dbo:nationality
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5232 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:caption
|
- Corrado Böhm's 90th birthday celebration at ETAPS 2013 in Rome, Italy (en)
|
| dbp:deathDate
| |
| dbp:deathPlace
| |
| dbp:doctoralAdvisor
| |
| dbp:doctoralStudents
| |
| dbp:fields
| |
| dbp:name
| |
| dbp:nationality
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Corrado Böhm (* 17. Januar 1923 in Mailand; † 23. Oktober 2017) war ein italienischer theoretischer Informatiker und Computerpionier. Er war Professor an der Universität La Sapienza (Rom). (de)
- Corrado Böhm (17 January 1923 – 23 October 2017) was a Professor Emeritus at the University of Rome "La Sapienza" and a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda calculus, and the semantics and implementation of functional programming languages. (en)
- Corrado Böhm, né le 17 janvier 1923 à Milan et mort le 23 octobre 2017 à Rome, est un informaticien théoricien italien. Professeur émérite à l'université de Rome « La Sapienza », il est connu principalement pour ses contributions à la théorie de la programmation structurée, aux mathématiques constructives, à la logique combinatoire, au lambda-calcul, à la sémantique et à l'implémentation des langages de programmation fonctionnelle. (fr)
- コラド・ベーム（Corrado Böhm, 1923年1月17日 - 2017年10月23日）は、イタリアミラノ出身の計算機科学者。ローマ・ラ・サピエンツァ大学名誉教授。 1946年にローザンヌ大学で電気工学を修了した後、コンピュータ科学の研究を始め、1966年にとともに構造化定理を証明した。この構造化定理は、エドガー・ダイクストラが提唱した構造化プログラミングとよく混同されるが、本来はあまり関係のないものである。 その他、ラムダ計算や関数型言語の研究でも知られる。 (ja)
- Corrado Böhm (Milano, 17 gennaio 1923 – Roma, 23 ottobre 2017) è stato un matematico e informatico italiano, professore emerito dell'Università "La Sapienza" di Roma. (it)
- Corrado Böhm (Milão, 17 de janeiro de 1923 – Roma, 23 de outubro de 2017) foi um cientista da computação italiano. Contribuiu com as teorias de programação estruturada, cálculo Lambda, lógica combinatória e com as semânticas e com a implementação de linguagens de programação funcional. Foi o criador da linguagem P′′, uma linguagem Turing completa, ou seja, com o mesmo poder computacional de uma Máquina de Turing. (pt)
- Коррадо Бём (Corrado Böhm; 17 января 1923 года, Милан — 23 октября 2017 года, Рим) — итальянский математик, специалист в области информатики и математической логики, внёсший решающий вклад в теоретическое обоснование парадигмы структурного программирования и получивший важные результаты в λ-исчислении, комбинаторной логике, семантике языков программирования; один из ранних исследователей теории языков программирования. Профессор римского университета «Сапиенца», сооснователь факультетов информатики Туринского университета и «Сапиенцы». (ru)
- Corrado Böhm (Milán, 17 de enero de 1923-Roma, 23 de octubre de 2017) fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional. (es)
|
| rdfs:label
|
- Corrado Böhm (en)
- Corrado Böhm (de)
- Corrado Böhm (es)
- Corrado Böhm (fr)
- Corrado Böhm (it)
- コラド・ベーム (ja)
- Corrado Böhm (pt)
- Бём, Коррадо (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:designer
of | |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:designer
of | |
| is dbp:doctoralAdvisor
of | |
| is dbp:doctoralStudents
of | |
| is foaf:primaryTopic
of | |
