13 vzťahy: Britský mandát v Palestíne, Informatika, Izrael, New York (mesto), Overovanie modelov, Spojené štáty, Temporálna logika, Turingova cena, 1941, 1996, 2. november, 2009, 22. apríl.
Britský mandát v Palestíne
Britský mandát v Palestíne tiež známy ako Palestínsky mandát a Britský mandát Palestína, je oficiálne poverenie Spoločenstva národov pre Veľkú Britániu na správu územia v Palestíne na Parížskej mierovej konferencii 3.
Nový!!: Amir Pnueli a Britský mandát v Palestíne · Pozrieť viac »
Informatika
Informatika je veda o informácii a jej automatickom spracovaní (je to veda o algoritmickom riešení problémov).
Nový!!: Amir Pnueli a Informatika · Pozrieť viac »
Izrael
Izrael (po hebrejsky: יִשְרָאֵל – Jisrael; po arabsky: إسرائيل – 'Isráíl), dlhý tvar Izraelský štát (nesprávne: Štát Izrael; hebrejsky: מְדִינַת יִשְרָאֵל,; arabsky: دولة,إسرائيل Dawla Isráíl), je štát na Blízkom východe v oblasti juhozápadnej Ázie, ležiaci pri východnom pobreží Stredozemného mora.
Nový!!: Amir Pnueli a Izrael · Pozrieť viac »
New York (mesto)
New York je najľudnatejšie mesto USA a jeho metropolitná oblasť patrí medzi najľudnatejšie na svete.
Nový!!: Amir Pnueli a New York (mesto) · Pozrieť viac »
Overovanie modelov
Overovanie modelov alebo model checking je automatizovaná metóda formálnej verifikácie paralelného systému s konečným počtom stavov.
Nový!!: Amir Pnueli a Overovanie modelov · Pozrieť viac »
Spojené štáty
Spojené štáty americké (anglickyUnited States of America), skráteným názvom Spojené štáty, skrátene USA (alebo aj US), je demokratická federatívna prezidentská republika v Severnej Amerike, rozkladajúca sa medzi Atlantickým oceánom na východe a Tichým oceánom na západe.
Nový!!: Amir Pnueli a Spojené štáty · Pozrieť viac »
Temporálna logika
Temporálna logika je odvetvie logiky, ktoré skúma logickú štruktúru výrokov o čase s ktorými klasická výroková alebo predikátová logika nedokážu plnohodnotne narábať.
Nový!!: Amir Pnueli a Temporálna logika · Pozrieť viac »
Turingova cena
Cena A. M. Turinga (angl. ACM A.M. Turing Award) je ocenenie, udeľované každoročne Asociáciou výpočtovej techniky (ACM) jednotlivcom za ich technický prínos počítačovej komunite.
Nový!!: Amir Pnueli a Turingova cena · Pozrieť viac »
1941
Žiadny popis.
Nový!!: Amir Pnueli a 1941 · Pozrieť viac »
1996
Žiadny popis.
Nový!!: Amir Pnueli a 1996 · Pozrieť viac »
2. november
* Pamiatka zosnulých.
Nový!!: Amir Pnueli a 2. november · Pozrieť viac »
2009
Rok 2009 (MMIX) bol kalendárny rok, ktorý v súlade s gregoriánskym kalendárom začal vo štvrtok 1. januára a skončil vo štvrtok 31. decembra.
Nový!!: Amir Pnueli a 2009 · Pozrieť viac »
22. apríl
* Deň Zeme.
Nový!!: Amir Pnueli a 22. apríl · Pozrieť viac »