Corrado Böhm

Corrado Böhm

Corrado Böhm (né en 1923 à Milan) est ingénieur électronicien et informaticien suisse de l'École polytechnique fédérale de Lausanne (diplômé en 1946).

Doctorat de mathématiques de l'École polytechnique fédérale de Zurich (UTH), docteur honoris causa de l'Université de Milan.

Premier emploi à l'Université de Rome La Sapienza.

En 1965, il propose la machine abstraite CUCH comme modèle d'implantation des langages de programmation.

Domaine de recherche  : informatique théorique, mathématiques constructives, logique combinatoire, lambda-calcul, sémantique et implantation de langages de programmation fonctionnels.

Voir aussi

Articles connexes

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Corrado Böhm de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Corrado Böhm — Saltar a navegación, búsqueda Corrado Böhm Nacimiento 1923 Milán,  Italia …   Wikipedia Español

  • Corrado Böhm — (born 1923 in Milan), Professor Emeritus at the University of Rome La Sapienza , is a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda calculus …   Wikipedia

  • Corrado Bohm — Corrado Böhm Corrado Böhm (né en 1923 à Milan) est ingénieur électronicien et informaticien suisse de l École Polytechnique Fédérale de Lausanne (diplômé en 1946). Doctorat de mathématiques de l ETH (Zürich, Suisse), docteur Honoris Causa de l… …   Wikipédia en Français

  • Böhm (Familienname) — Böhm oder Boehm ist ein deutscher Familienname. Herkunft und Bedeutung Der Name ist eine mundartliche Variante von Böhme (Bewohner von Böhmen). Varianten Böhme, Boehme, Böheim, Beheim, Behaim Bohm ist dagegen eine mundartliche Variante von Baum.… …   Deutsch Wikipedia

  • Böhm — is a German surname, meaning Bohemian .It may refer to:* Carl Crack (born Carl Böhm) * Corrado Böhm, Italian computer scientist * Eduard von Böhm Ermolli, Austrian general of WWI * Eugen von Böhm Bawerk, Austrian economist * Franz Böhm, German… …   Wikipedia

  • Joseph Anton Böhm — Para el inventor y flautista alemán, véase Theobald Böhm. Para el pintor, artista plástico y escultor, véase Corbinian Böhm. Para informático teórico italiano, véase Corrado Böhm. Para político, abogado, y economista alemán, véase Franz Böhm.… …   Wikipedia Español

  • Boehm — Böhm oder Boehm ist ein deutscher Familienname. Herkunft und Bedeutung Der Name ist eine mundartliche Variante von Böhme (Bewohner von Böhmen). Varianten Böhme, Boehme, Böheim, Beheim, Behaim Bohm ist dagegen eine mundartliche Variante von Baum …   Deutsch Wikipedia

  • Structured program theorem — The structured program theorem is a result in programming language theory. It states that every computable function can be implemented in a programming language that combines subprograms in only three specific ways. These three control structures …   Wikipedia

  • P′′ — Información general Paradigma Esotérico Apareció en 1964 Diseñado por Corrado Böhm Implementaciones …   Wikipedia Español

  • Teorema del programa estructurado — El teorema del programa estructurado es un resultado en la teoría de lenguajes de programación. Establece que toda función computable puede ser implementada en un lenguaje de programación que combine sólo tres estructuras lógicas. Esas tres… …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”