Inhaltsverzeichnis
36 Beziehungen: Angewandte Mathematik, Association for Computing Machinery, Carl von Ossietzky Universität Oldenburg, Chaim L. Pekeris, David Harel, Fellow, Grenoble, Haifa, Informatik, Israelische Akademie der Wissenschaften, Model Checking, Nahalal, New York (Bundesstaat), New York City, New York University, Oldenburg (Oldb), Ph.D., Postdoc, Rechovot, Stanford University, Technion, Telelogic, Temporale Logik, Thomas J. Watson Research Center, Turing Award, Universität Joseph Fourier Grenoble I, Universität Tel Aviv, Universität Uppsala, Völkerbundsmandat für Palästina, Verifizierung, Weizmann-Institut für Wissenschaften, Zustandsübergangsdiagramm, 1941, 2. November, 2009, 22. April.
Angewandte Mathematik
Die Angewandte Mathematik beschäftigt sich sowohl mit der Entwicklung neuer Methoden zur Lösung von Problemen aus anderen Gebieten (wie Chemie, Biologie, Physik, Wirtschaft, Informatik, Technik usw.), als auch der Anwendung bereits bekannter mathematischer Methoden auf wohlbekannte Probleme.
Sehen Amir Pnueli und Angewandte Mathematik
Association for Computing Machinery
Die Association for Computing Machinery (ACM) wurde 1947 als erste wissenschaftliche Gesellschaft für Informatik gegründet.
Sehen Amir Pnueli und Association for Computing Machinery
Carl von Ossietzky Universität Oldenburg
Luftaufnahme der Carl von Ossietzky Universität Oldenburg, Campus Haarentor Die Carl von Ossietzky Universität Oldenburg ist eine staatliche Universität in Oldenburg mit 15.677 Studenten und 2.872 Mitarbeitern (Stand: Wintersemester 2021/2022).
Sehen Amir Pnueli und Carl von Ossietzky Universität Oldenburg
Chaim L. Pekeris
Chaim Leib Pekeris (* 15. Juni 1908 in Alytus, Litauen; † 24. Februar 1993 in Rehovot) war ein israelischer Physiker und Angewandter Mathematiker, der sich insbesondere mit Geophysik und Atomphysik befasste.
Sehen Amir Pnueli und Chaim L. Pekeris
David Harel
David Harel (Mitte) 2006 David Harel (* 12. April 1950 in London) ist ein israelischer Informatiker, der sich mit Software-Engineering, theoretischer Informatik (Berechenbarkeit, Datenbanktheorie, Automatentheorie), Systembiologie und dynamischer Logik befasst.
Sehen Amir Pnueli und David Harel
Fellow
Der Titel Fellow (für Gleichgestellter, Gefährte, Genosse bzw. Mitglied) bezeichnet im Hochschulbetrieb und in sonstigen wissenschaftlichen Vereinigungen ein (nicht im juristischen Sinn) zur Körperschaft gehörendes Mitglied.
Sehen Amir Pnueli und Fellow
Grenoble
Grenoble (arpitanisch GrenobloHeinrich Leo: Lehrbuch der Universalgeschichte zum Gebrauche in höheren Unterrichtsanstalten, Eduard Anton, Halle 1842, S. 564.-->) ist die Hauptstadt des französischen Départements Isère und der Dauphiné in der Region Auvergne-Rhône-Alpes im Südosten Frankreichs.
Sehen Amir Pnueli und Grenoble
Haifa
Haifa (modernhebräische Aussprache;, Aussprache im lokalen arabischen Dialekt) ist mit 281.087 Einwohnern im Jahr 2017 die drittgrößte Stadt Israels (nach Jerusalem und Tel Aviv).
Sehen Amir Pnueli und Haifa
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Sehen Amir Pnueli und Informatik
Israelische Akademie der Wissenschaften
Das Logo der israelischen Akademie der Wissenschaften Eingang zur israelischen Akademie der Wissenschaften Statue von Albert Einstein im Hof der Akademie Die Israelische Akademie der Wissenschaften, genauer Israelische Akademie der Natur- und Geisteswissenschaften ist die Akademie der Wissenschaften des Staates Israel.
Sehen Amir Pnueli und Israelische Akademie der Wissenschaften
Model Checking
Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel).
Sehen Amir Pnueli und Model Checking
Nahalal
Nahalal ist der älteste israelische Moschaw.
Sehen Amir Pnueli und Nahalal
New York (Bundesstaat)
New York (standardsprachlich (AE), regional auch oder; BE) ist ein Bundesstaat im Nordosten der Vereinigten Staaten von Amerika.
Sehen Amir Pnueli und New York (Bundesstaat)
New York City
New York City (AE:, offiziell City of New York, kurz New York, Abkürzung NYC, deutsch veraltet Neuyork oder Newyork) ist eine Weltstadt an der Ostküste der Vereinigten Staaten.
Sehen Amir Pnueli und New York City
New York University
Die New York University (NYU) ist eine Universität in New York City im US-Bundesstaat New York.
Sehen Amir Pnueli und New York University
Oldenburg (Oldb)
Oldenburg ist eine kreisfreie Stadt in Niedersachsen.
Sehen Amir Pnueli und Oldenburg (Oldb)
Ph.D.
Der Ph.D. (auch PhD,, neulateinisch philosophiae doctor) ist in englischsprachigen Ländern der wissenschaftliche Doktorgrad in fast allen Fächern und der höchste Abschluss des Postgraduiertenstudiums.
Sehen Amir Pnueli und Ph.D.
Postdoc
Postdoc (selten auch Post-Doc oder im Deutschen auch Postdoktorand) ist ein Wissenschaftler, der nach Beendigung einer Promotion den Doktorgrad erlangt hat und nun an einer Universität oder einem Forschungsinstitut befristet tätig ist.
Sehen Amir Pnueli und Postdoc
Rechovot
''Koffler''-Teilchenbeschleuniger mit angebautem ''Kraar''-Observatorium, Weizmann-Institut für Wissenschaften Rechovot (modernhebräische Aussprache:,, andere Schreibweisen: Rehovot, Rechowot) ist eine Stadt in Israel.
Sehen Amir Pnueli und Rechovot
Stanford University
Haupteingang der ''Stanford University'' Memorial Church'' Bogengang Die Leland Stanford Junior University (kurz Stanford University oder Stanford, Spitzname „Die Farm“) ist eine private US-amerikanische Universität in Stanford, Kalifornien.
Sehen Amir Pnueli und Stanford University
Technion
Das Technion (zunächst als Technikum bezeichnet) ist die Technische Universität Israels und hat seinen Sitz in Haifa.
Sehen Amir Pnueli und Technion
Telelogic
Telelogic AB war ein börsennotiertes multinationales Softwareunternehmen mit Sitz in Malmö, Schweden.
Sehen Amir Pnueli und Telelogic
Temporale Logik
Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können.
Sehen Amir Pnueli und Temporale Logik
Thomas J. Watson Research Center
Thomas J. Watson Research Center, Hauptgebäude in Yorktown Heights Luftaufnahme des Hauptgebäudes, 1993 Das Thomas J. Watson Research Center ist die Zentrale der IBM-Forschung mit insgesamt acht Laboren in sechs Ländern.
Sehen Amir Pnueli und Thomas J. Watson Research Center
Turing Award
Der nach Alan Turing benannte A. M. Turing Award wird jährlich von der Association for Computing Machinery (ACM) an Personen verliehen, die sich besonders um die Entwicklung der Informatik verdient gemacht haben.
Sehen Amir Pnueli und Turing Award
Universität Joseph Fourier Grenoble I
Die Universität Joseph Fourier Grenoble I (UJF),, war eine Universität in Grenoble (Frankreich).
Sehen Amir Pnueli und Universität Joseph Fourier Grenoble I
Universität Tel Aviv
Die Universität Tel Aviv zählt etwa 30.000 Studierende und ist damit Israels größte Universität.
Sehen Amir Pnueli und Universität Tel Aviv
Universität Uppsala
Eingangshalle des Hauptgebäudes Die Universität Uppsala (schwedisch: Uppsala universitet; lat.: Universitas Regia Upsaliensis) wurde 1477 von Erzbischof Jakob Ulfsson und dem Regenten Sten Sture dem Älteren in Uppsala gegründet und ist damit die älteste noch existierende Universität Skandinaviens.
Sehen Amir Pnueli und Universität Uppsala
Völkerbundsmandat für Palästina
Das britische Mandatsgebiet Palästina wurde 1923 geteilt in das eigentliche Palästina westlich und das Emirat Transjordanien östlich des Jordans. Seeflagge des Mandatsgebiets Palästina Siegel des britischen Gouverneurs (High Commissioner) des Mandatsgebietes Palästina Kapitulation der osmanischen Stadtregierung Jerusalems vor den Briten, 9.
Sehen Amir Pnueli und Völkerbundsmandat für Palästina
Verifizierung
Verifizierung oder Verifikation (von und facere ‚machen‘) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist.
Sehen Amir Pnueli und Verifizierung
Weizmann-Institut für Wissenschaften
Turm des ''Koffler''-Teilchenbeschleunigers mit angebautem ''Kraar''-Observatorium (2012) Das Weizmann-Institut für Wissenschaften ist ein multidisziplinäres Institut für naturwissenschaftliche Forschung und Ausbildung in Rechovot, Israel.
Sehen Amir Pnueli und Weizmann-Institut für Wissenschaften
Zustandsübergangsdiagramm
Ein Zustandsdiagramm für eine Tür, die nur geöffnet und geschlossen werden kann. Ein Zustandsübergangsdiagramm ist eine grafische Darstellung von endlichen Automaten, d. h. Zuständen und deren Übergangsbedingungen, um die enthaltenen Verknüpfungen möglichst durchschaubar und eindeutig zu visualisieren.
Sehen Amir Pnueli und Zustandsübergangsdiagramm
1941
Roosevelt und Churchill an Bord der ''Prince of Wales'' Unter dem Eindruck des deutschen Überfalls auf die Sowjetunion treffen sich vom 9.
Sehen Amir Pnueli und 1941
2. November
Der 2.
Sehen Amir Pnueli und 2. November
2009
Das Jahr 2009 stand insbesondere im Zeichen der globalen Finanzkrise.
Sehen Amir Pnueli und 2009
22. April
Der 22.
Sehen Amir Pnueli und 22. April
Auch bekannt als Pnueli.