|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: W dniach 12-17 września 2010 r. w Cambridge, Wlk. Brytania, odbędzie się spotkanie pt. "Problemy silnej oscylacji - od teorii do praktyki".
Silna oscylacja pojawia się w wielu zjawiskach w nauce i inżynierii. Temat ten uważa się za trudny w analizie i obliczeniach.
Jednocz... W dniach 25 - 27 maja 2011 r. w Cambridge, Wlk. Brytania, odbędzie się konferencja pt. "Generowanie kodu 2011".
Programowanie oparte na modelach wykorzystuje modele, lub abstrakcje, które są bliższe raczej koncepcji konkretnej domeny niż koncepc... W dniach 28 marca - 1 kwietnia 2011 r. w Cambridge, Wlk. Brytania, odbędą się "Warsztaty Psimex - interakcje i ścieżki".
Warsztaty, sponsorowane przez projekt Psimex (Inicjatywa w zakresie standardów proteomiki i międzynarodowa wymiana danych molekularnych - syst... Mało kto wie, że w najbliższy weekend przypada Dzień Liczby Pi, zwanej również Ludolfiną. Święto jednej z najbardziej niezwykłych według miłośników matematyki cyfr obchodzone jest co roku, 14 marca czyli (3.14).
Liczba Pi zo... Centrum Studiów Zaawansowanych Politechniki Warszawskiej wraz ze Stowarzyszeniem na Rzecz Edukacji Matematycznej uruchamiają w marcu cykl wykładów popularnych z matematyki. Wstęp na wykłady jest bezpłatny i otwarty dla wszystkich zainteresowanyc...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 Robin MilnerCzy wiesz że...? ML (ang. Meta Language) jest rodziną funkcyjnych języków programowania, które charakteryzuje się statycznym, silnym typowaniem. Jako jeden z pierwszych języków udostępniał typy polimorficzne. EATCS – European Association for Theoretical Computer Science - międzynarodowa organizacja założona w roku 1972, której celem jest ułatwienie wymiany informacji między informatykami oraz rozwój współpracy w tej dziedzinie. Robin Milner (ur. 1934 w Plymouth, zm. 20 marca 2010 w Cambridge) – brytyjski informatyk, twórca LCF – narzędzia wspierającego automatyczne dowodzenie twierdzeń i języka ML stworzonego na potrzeby LCF; ceniony za wkład w rozwój teorii systemów współbieżnych. Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005. PrzypisyPowyż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. |
