|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
RSS
Warto przeczytać: W dniach 12 - 14 grudnia 2011 r. w Sydney, Australia, odbędzie się międzynarodowa konferencja nt. przetwarzania w chmurze i ekologicznej informatyki.
Przetwarzanie w chmurze zdobywa pozycję nowej, powstającej platformy, która zapewnia infrastrukturę i zasoby informa... Sektor technologii informatycznej (IT) uznawany jest za siłę napędową innowacji. Niemniej według wyników ostatnich badań innowacja w sektorze jest hamowana nie ze względu na finansowanie czy infrastrukturę, ale z powodu szczególnego narażenia informatyków na wypalenie zawodo... W dniach 24-26 lutego 2011 r. w Istambule, Turcja, odbędzie się wydarzenie pt. "Informatyka jakościowa - różne światy i praktyki badawcze".
Wydarzenie poświęcone będzie temu, w jaki sposób praktyki naukowe z rozmaitych dyscyplin naukowych wchodzą w interakcje z informatyką...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
Weryfikacja formalnaCzy wiesz że...? 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. Algorytm – w matematyce oraz informatyce skoÅ„czony, uporzÄ…dkowany ciÄ…g jasno zdefiniowanych czynnoÅ›ci, koniecznych do wykonania pewnego rodzaju zadaÅ„. SÅ‚owo "algorytm" pochodzi od starego angielskiego sÅ‚owa algorism, oznaczajÄ…cego wykonywanie dziaÅ‚aÅ„ przy pomocy liczb arabskich (w odróżnieniu od abacism - przy pomocy abakusa), które z kolei wzięło siÄ™ od nazwiska, które nosiÅ‚ Muhammad ibn Musa al-Chuwarizmi (أبو عبد الله Ù…ØÙ…د بن موسى الخوارزمي), matematyk perski z IX wieku. W informatyce weryfikacja formalna to stwierdzenie o poprawnoÅ›ci algorytmu w oparciu o formalne metody matematyczne. 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. |