Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Herunterladen
Schneller Zugriff als Browser!
 

Corrado Böhm

Index Corrado Böhm

Corrado Böhm an seinem 90. Geburtstag auf der ETAPS-Konferenz in Rom (2013) Corrado Böhm (* 17. Januar 1923 in Mailand; † 23. Oktober 2017) war ein italienischer theoretischer Informatiker und Computerpionier.

40 Beziehungen: Academia Europaea, Alonzo Church, École polytechnique fédérale de Lausanne, Bedingte Anweisung und Verzweigung, Christopher Strachey, Compiler, Consiglio Nazionale delle Ricerche, Dana Scott, Donald E. Knuth, EATCS-Award, Edsger W. Dijkstra, Eduard Stiefel, Ehrendoktor, ETH Zürich, Ferranti, Funktionale Programmierung, Gian-Carlo Rota, Haskell Brooks Curry, International Federation for Information Processing, Konrad Zuse, Lambda-Kalkül, Mailand, Mauro Picone, Oktober 2017, Olivetti, Paul Bernays, Programmablaufplan, Schleife (Programmierung), Strukturierte Programmierung, Theoretische Informatik, Turingmaschine, Universität La Sapienza, Universität Mailand, Universität Pisa, Universität Turin, Zuse Z4, 17. Januar, 1923, 2017, 23. Oktober.

Academia Europaea

Die Academia Europaea ist eine europäische regierungsunabhängige wissenschaftliche Gesellschaft, die im Jahr 1988 gegründet wurde.

Neu!!: Corrado Böhm und Academia Europaea · Mehr sehen »

Alonzo Church

Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik.

Neu!!: Corrado Böhm und Alonzo Church · Mehr sehen »

École polytechnique fédérale de Lausanne

Luftaufnahme der EPFL, links im Vordergrund das Kongresszentrum Die École polytechnique fédérale de Lausanne (EPFL,, ETHL,, PFL, SPFL) ist eine technisch-naturwissenschaftliche Universität in Lausanne, Schweiz.

Neu!!: Corrado Böhm und École polytechnique fédérale de Lausanne · Mehr sehen »

Bedingte Anweisung und Verzweigung

Anweisung Eine bedingte Anweisung ist eine Kontrollstruktur in der Programmierung.

Neu!!: Corrado Böhm und Bedingte Anweisung und Verzweigung · Mehr sehen »

Christopher Strachey

Christopher Strachey (* 16. November 1916 in Hampstead, England; † 18. Mai 1975 in Oxford, England) war ein britischer Informatiker.

Neu!!: Corrado Böhm und Christopher Strachey · Mehr sehen »

Compiler

Ein Compiler (auch Kompilierer; von ‚zusammentragen‘ bzw. ‚aufhäufen‘) ist ein Computerprogramm, das Quellcodes einer bestimmten Programmiersprache in eine Form übersetzt, die von einem Computer (direkter) ausgeführt werden kann.

Neu!!: Corrado Böhm und Compiler · Mehr sehen »

Consiglio Nazionale delle Ricerche

Hauptsitz des CNR in Rom Der Consiglio Nazionale delle Ricerche (CNR; deutsch Nationaler Forschungsrat) ist eine italienische Behörde mit Sitz in Rom, die die Aufgabe hat, Forschungs- und Entwicklungsarbeiten in allen Wissenschaften zu fördern und zu unterstützen.

Neu!!: Corrado Böhm und Consiglio Nazionale delle Ricerche · Mehr sehen »

Dana Scott

Dana S. Scott Dana Stewart Scott (* 11. Oktober 1932 in Berkeley, Kalifornien) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie, axiomatischen Mengenlehre und Semantik der Programmiersprachen geleistet hat.

Neu!!: Corrado Böhm und Dana Scott · Mehr sehen »

Donald E. Knuth

Donald Knuth (2005) Donald Ervin „Don“ Knuth (* 10. Januar 1938 in Milwaukee, Wisconsin) ist ein US-amerikanischer Informatiker.

Neu!!: Corrado Böhm und Donald E. Knuth · Mehr sehen »

EATCS-Award

Der EATCS-Award der European Association for Theoretical Computer Science ist ein seit 2000 jährlich vergebener Preis für herausragende theoretische Informatiker.

Neu!!: Corrado Böhm und EATCS-Award · Mehr sehen »

Edsger W. Dijkstra

Edsger W. Dijkstra, 2002 Edsger Wybe Dijkstra (* 11. Mai 1930 in Rotterdam; † 6. August 2002 in Nuenen) war ein niederländischer Informatiker.

Neu!!: Corrado Böhm und Edsger W. Dijkstra · Mehr sehen »

Eduard Stiefel

Eduard Stiefel, 1955 Oberwolfach, 1978 Eduard Ludwig Stiefel (* 21. April 1909 in Zürich; † 25. November 1978 ebenda) war ein Schweizer Mathematiker.

Neu!!: Corrado Böhm und Eduard Stiefel · Mehr sehen »

Ehrendoktor

Heiliggeistkirche (Zeichnung 1886) Urkunde der Universität Erlangen (Jürgen Gebhard, 1998) Die Ehrendoktorwürde ist eine ehrenhalber verliehene Auszeichnung einer Universität oder Fakultät, die für besondere akademische, wissenschaftliche, kulturelle oder öffentliche Verdienste auch an nichtakademische Personen verliehen werden kann.

Neu!!: Corrado Böhm und Ehrendoktor · Mehr sehen »

ETH Zürich

Hauptgebäude im Abendlicht mit der charakteristischen Kuppel von Gustav Gull Hauptgebäude der ETH Zürich, von der Polyterrasse aus gesehen und der Façade von Gottfried Semper Jüdischen Museums der Schweiz in Basel zeigt u. a. Albert Einstein beim 75. Jubiläum der ETH Ansicht des damaligen ETH- und Universitätsgebäudes um 1880, errichtet 1858–1864 durch Gottfried Semper, vor dem Beginn der Umbauten durch Gustav Gull 1915–1924 Die Eidgenössische Technische Hochschule Zürich, kurz ETH Zürich (EPFZ,, PF di Zurigo,, SPFT), ist eine technisch-naturwissenschaftliche universitäre Hochschule in Zürich.

Neu!!: Corrado Böhm und ETH Zürich · Mehr sehen »

Ferranti

ZN414, ein integrierter Geradeausempfänger für Mittelwelle Ferranti Limited war ein 1885 von Sebastian Ziani de Ferranti gegründetes britisches Unternehmen der Elektroindustrie.

Neu!!: Corrado Böhm und Ferranti · Mehr sehen »

Funktionale Programmierung

Funktionale Programmierung ist ein Programmierparadigma, in dem Funktionen nicht nur definiert und angewendet werden können, sondern auch wie Daten miteinander verknüpft, als Parameter verwendet und als Funktionsergebnisse auftreten können.

Neu!!: Corrado Böhm und Funktionale Programmierung · Mehr sehen »

Gian-Carlo Rota

Gian-Carlo Rota Gian-Carlo Rota (* 27. April 1932 in Vigevano, Italien; † 18. April 1999 in Cambridge, Massachusetts, USA) war ein italienisch-amerikanischer Mathematiker, der sich mit Analysis, Wahrscheinlichkeitstheorie und insbesondere mit Kombinatorik beschäftigte.

Neu!!: Corrado Böhm und Gian-Carlo Rota · Mehr sehen »

Haskell Brooks Curry

Haskell Brooks Curry (* 12. September 1900 in Millis, Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US-amerikanischer Logiker und Mathematiker.

Neu!!: Corrado Böhm und Haskell Brooks Curry · Mehr sehen »

International Federation for Information Processing

Die International Federation for Information Processing (IFIP) ist eine internationale Informatikorganisation.

Neu!!: Corrado Böhm und International Federation for Information Processing · Mehr sehen »

Konrad Zuse

zentriert Konrad Ernst Otto Zuse (* 22. Juni 1910 in Deutsch-Wilmersdorf, heute zu Berlin; † 18. Dezember 1995 in Hünfeld) war ein deutscher Bauingenieur, Erfinder und Unternehmer (Zuse KG).

Neu!!: Corrado Böhm und Konrad Zuse · Mehr sehen »

Lambda-Kalkül

griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.

Neu!!: Corrado Böhm und Lambda-Kalkül · Mehr sehen »

Mailand

Mailand ist mit rund 1,4 Millionen Einwohnern die zweitgrößte Stadt Italiens und Hauptstadt der Region Lombardei sowie der Metropolitanstadt Mailand.

Neu!!: Corrado Böhm und Mailand · Mehr sehen »

Mauro Picone

Mauro Picone (1903) Mauro Picone Mauro Picone (* 2. Mai 1885 in Lercara Friddi bei Palermo; † 11. April 1977 in Rom) war ein italienischer Mathematiker.

Neu!!: Corrado Böhm und Mauro Picone · Mehr sehen »

Oktober 2017

Dieser Artikel behandelt tagesbezogene Nachrichten und Ereignisse im Oktober 2017.

Neu!!: Corrado Böhm und Oktober 2017 · Mehr sehen »

Olivetti

Olivetti ist ein italienisches Unternehmen mit Sitz in Ivrea, das Computer, Bürogeräte und -maschinen sowie Anwendungssoftware herstellt.

Neu!!: Corrado Böhm und Olivetti · Mehr sehen »

Paul Bernays

Paul Bernays (links) im Gespräch Paul Isaak Bernays (meist genannt als Paul Bernays; * 17. Oktober 1888 in London; † 18. September 1977 in Zürich) war ein Mathematiker und Logiker.

Neu!!: Corrado Böhm und Paul Bernays · Mehr sehen »

Programmablaufplan

Ein Programmablaufplan (PAP) ist ein Ablaufdiagramm für ein Computerprogramm, das auch als Flussdiagramm (engl. flowchart) oder Programmstrukturplan bezeichnet wird.

Neu!!: Corrado Böhm und Programmablaufplan · Mehr sehen »

Schleife (Programmierung)

Eine Schleife (auch „Wiederholung“ oder) ist eine Kontrollstruktur in Programmiersprachen.

Neu!!: Corrado Böhm und Schleife (Programmierung) · Mehr sehen »

Strukturierte Programmierung

Strukturierte Programmierung ist ein programmiersprachenübergreifendes Programmierparadigma, aus den 1960er Jahren, also noch vor der Softwarekrise.

Neu!!: Corrado Böhm und Strukturierte Programmierung · Mehr sehen »

Theoretische Informatik

Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.

Neu!!: Corrado Böhm und Theoretische Informatik · Mehr sehen »

Turingmaschine

Eine Turingmaschine ist ein mathematisches Modell der theoretischen Informatik, das eine abstrakte Maschine definiert.

Neu!!: Corrado Böhm und Turingmaschine · Mehr sehen »

Universität La Sapienza

Das Hauptgebäude mit Rektorat, Bibliothek und Audimax Sant’Ivo alla Sapienza, erbaut von Francesco Borromini, war ursprünglich die UniversitätskapelleNeue Universitätskapelle La Divina Sapienza, 1945–48 von Marcello Piacentini erbaut Die Universität La Sapienza, offiziell Sapienza – Università di Roma, auch Universität Rom I genannt, ist eine der größten Universitäten Europas und die älteste der Stadt Rom.

Neu!!: Corrado Böhm und Universität La Sapienza · Mehr sehen »

Universität Mailand

Die Universität Mailand (italienisch: Università degli Studi di Milano; lateinisch: Universitas Studiorum Mediolanensis), kurz UniMi oder La Statale genannt, ist mit insgesamt über 60.000 Studierenden die größte öffentliche Universität von Mailand und ganz Norditalien.

Neu!!: Corrado Böhm und Universität Mailand · Mehr sehen »

Universität Pisa

Die Universität Pisa (italienisch Università di Pisa) ist eine der ältesten und renommiertesten Universitäten Italiens und wird (Stand 2020/21) von knapp 45.000 Studierenden besucht.

Neu!!: Corrado Böhm und Universität Pisa · Mehr sehen »

Universität Turin

Innenhof der Universität Die Universität Turin (italienisch: Università degli Studi di Torino; lat.: Alma Universitas Taurinensis, früher auch: Academia Turicensis) ist eine staatliche Universität in der norditalienischen Stadt Turin mit rund 67.000 Studenten und knapp 2.000 wissenschaftlichen Angestellten.

Neu!!: Corrado Böhm und Universität Turin · Mehr sehen »

Zuse Z4

Die Z4 im Deutschen Museum (München) Elektromagnetisches Relais der Z4 Die Zuse Z4 ist ein zwischen 1942 und 1945 von dem Zuse Ingenieurbüro und Apparatebau entwickelter Digitalrechner, der aus 2200 Relais gebaut ist.

Neu!!: Corrado Böhm und Zuse Z4 · Mehr sehen »

17. Januar

Der 17.

Neu!!: Corrado Böhm und 17. Januar · Mehr sehen »

1923

Notgeld in Höhe von einer Million Mark aus dem Jahr 1923.

Neu!!: Corrado Böhm und 1923 · Mehr sehen »

2017

International war das Jahr durch den Amtsantritt von Donald Trump als 45.

Neu!!: Corrado Böhm und 2017 · Mehr sehen »

23. Oktober

Der 23.

Neu!!: Corrado Böhm und 23. Oktober · Mehr sehen »

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »