|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: Na przewlekłą obturacyjną chorobę płuc - POChP - cierpi ponad 200 mln osób. Do 2030 r. choroba ta stanie się trzecią najważniejszą przyczyną zgonów na świecie - alarmuje Światowa Organizacja Zdrowia (WHO).Światowy Dzień POChP, obchodzo... Dzieci urodzone przedwcześnie są znacznie bardziej narażone na różne powikłania zdrowotne niż noworodki urodzone o czasie, dlatego wymagają szczególnej opieki - przypominają rodzice maluchów w Światowym Dniu Wcześniaka, który obchodzony je... W dniach 12-14 września 2010 r. w Tel Awiwie, Izrael, odbędzie się piąta śródziemnomorska konferencja nt. systemów informatycznych.
Trzydniowa konferencja zgromadzi ekspertów, praktyków, decydentów i naukowców z regionu Morza Śródziemnego specjalizujących się w systemach informa... Ostatnie sześć miesięcy upłynęło pod znakiem dobrej passy polskich archeologów prowadzących badania w kraju i za granicą. Oprócz spektakularnych odkryć podsumowano kilka dużych, wieloletnich projektów badawczych. Do najistotniejszych wydarzeń polskiej archeolo... Organizacja polskich władz w opuszczanej przez Niemców Warszawie, codzienne problemy miasta, ewidencjonowanie mienia, ale i obywatelskie donosy - to obraz stolicy w listopadzie 1918 r. rysujący się z rozkazów Komendy Miasta udostępnionych PAP przez Central...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 Amir PnueliCzy wiesz że...? Izrael (. W populacji liczącej 7,59 miliona większość stanowią . Drugą co do wielkości grupę stanowią Arabowie (20%). Mniejszą grupą etniczną są Samarytanie. Pod względem wyznaniowym w Izraelu występuje duże zróżnicowanie – obok Żydów (judaizm) mieszkają Arabowie (głównie muzułmanie), chrześcijanie i druzowie, jak również inne mniejsze grupy religijne. Program komputerowy (. Program jest zazwyczaj wykonywany przez komputer (np. wyświetlenie strony internetowej), czasami bezpośrednio – jeśli wyrażony jest w języku zrozumiałym dla danej maszyny lub pośrednio – gdy jest interpretowany przez inny program (interpreter). Program może być ciągiem instrukcji opisujących modyfikacje stanu maszyny ale może również opisywać obliczenia w inny sposób (np. rachunek lambda). 
 Amir Pnueli (ur. 22 kwietnia 1941 w Nahalal, Izrael - zm. 2 listopada 2009) - informatyk, laureat nagrody Turinga w 1996 za wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów. Informatyka (łac. informatio - "wyobrażenie", "wizerunek", "pomysł", ang. computer science, computing science, information technology, informatics) – dziedzina nauki i techniki zajmująca się przetwarzaniem informacji – w tym technologiami przetwarzania informacji oraz technologiami wytwarzania systemów przetwarzających informacje. Pierwotnie część matematyki, została rozwinięta do osobnej dyscypliny nauki, pozostaje jednak nadal w ścisłym związku z matematyką, która dostarcza jej podstaw teoretycznych.
Logika temporalna – logika umożliwiająca rozważanie zależności czasowych bez wprowadzania czasu explicite. Pierwotnie służyła jako narzędzie do filozoficznych rozważań nad naturą czasu, dzisiaj jest używana głównie w informatyce. Powyższa treść oraz zamieszczone w niej powiązane definicje/pojęcia - udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Zobacz szczegółowe informacje o warunkach korzystania
Wszystkie hasła znajdujące się w naszym mirrorze Wikipedii mają znaczenie informacyjne i edukacyjne. Nie mogą być traktowane jako porady. |
