Amir Pnueli

Amir Pnueli (în) a fost un informatician israelian, laureat al Premiului Turing în 1996, care, conform comisiei de acordare, i-a fost conferit pentru lucrări de referință ce au introdus logica temporală în informatică și pentru remarcabile contribuții în domeniul verificării programelor și sistemelor.

5 relaţii: Informatică, Institutul de știință Weizmann, Israel, Premiul Turing, 1996.

Informatică

Termenul informatică desemnează știința procesării sistematice a informației, în special a procesării cu ajutorul calculatoarelor.

Nou!!: Amir Pnueli și Informatică · Vezi mai mult »

Institutul de știință Weizmann

Institutul de știință Weizmann este un prestigios complex universitar și un institut de știință multidisciplinar în orașul israelian Rehovot.

Nou!!: Amir Pnueli și Institutul de știință Weizmann · Vezi mai mult »

Israel

Statul Israel (în,; în, Dawlat Israil) este o republică parlamentară localizată în Orientul Mijlociu de-a lungul malului de est al Mării Mediterane.

Nou!!: Amir Pnueli și Israel · Vezi mai mult »

Premiul Turing

Premiul A. M. Turing este o distincție decernată anual de către Association for Computing Machinery „unei persoane alese pentru contribuțiile de natură tehnică aduse comunității informatice.

Nou!!: Amir Pnueli și Premiul Turing · Vezi mai mult »

1996

1996 (MCMXCVI) a fost un an bisect al calendarului gregorian, care a început într-o zi de luni.

Nou!!: Amir Pnueli și 1996 · Vezi mai mult »

Redirecționează aici:

Amir pnueli.

Uniunpedie este o hartă concept sau rețea semantică organizat ca o enciclopedie sau dicționar. Acesta oferă o scurtă definiție a fiecărui concept și a relațiilor sale.

Aceasta este o hartă mentală on-line gigant, care servește ca bază pentru diagrame conceptuale. Este libertatea de a folosi și pentru fiecare articol sau document poate fi descărcat. Este un instrument, resursă sau de referință pentru studiu, cercetare, educație, de învățare sau de predare, care pot fi utilizate de către profesori, educatori, elevi sau studenți; pentru lumea academică: pentru școală, primar, secundar, liceu, de mijloc, colegiu, grad tehnic, colegiu, universitate, licență, masterat sau de doctorat; pentru lucrări, rapoarte, proiecte, idei, documentare, studii, sinteze, sau a unei teze. Aici este definiția, explicația, descrierea sau semnificația fiecărei semnificative pe care aveți nevoie de informații, precum și o listă a conceptelor asociate lor, ca un glosar. Disponibil în română, Engleză, Spaniolă, Portugheză, Japonez, Chinez, Limba franceza, Germană, Italiană, Lustrui, Olandeză, Rusă, Arabic, Hindi, Suedez, Ucrainean, Maghiar, Catalan, Ceh, Evrei, daneză, finlandeză, indoneziană, norvegiană, turcă, vietnameză, coreeană, thai, greacă, bulgară, croat, slovacă, lituanian, filipineză, letonă, estonă și slovenă. Mai multe limbi în curând.

Toate informațiile au fost extrase din Wikipedia, și este disponibil sub licența Creative Commons cu atribuire şi distribuire în condiţii identice.

Uniunpedie nu este susținută de sau afiliată cu Fundația Wikimedia.

Google Play, Android și sigla Google Play sunt mărci comerciale deținute de Google Inc.

Politica de confidentialitate