|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: 12 tys. zł zapłacił Uniwersytet Śląski za 65-gramowy meteoryt, który 30 kwietnia tego roku spadł w Sołtmanach pod Giżyckiem. Liczącą kilka miliardów lat materię kosmiczną będzie można oglądać w muzeum uniwersyteckim w Sosnowcu.Meteor... Rekonstrukcje, obrazy i ryciny, przedstawiające budynki UW i ich wnętrza z czasów Fryderyka Chopina będzie można oglądać na wystawie na UW od 18 lutego. Wystawa ma związek z przypadającą na 22 lutego 200. rocznicą urodzin kompozytora.
&... Ponad 75 proc. studentów Uniwersytetu Śląskiego w Katowicach znalazło zatrudnienie po studiach, a dla niemal 60 proc. z nich obecne miejsce pracy jest jednocześnie pierwszym od ukończenia nauki - wynika z pierwszych danych badania losów zawodowych a... Laboratorium badań środowiska otwarto 28 kwietnia w Instytucie Chemii Uniwersytetu Humanistyczno-Przyrodniczego Jana Kochanowskiego w Kielcach. Nowoczesne wyposażenie placówki kosztowało 4 mln zł; zostało sfinansowane w ramach unijnego programu Innowacyjna Go... Uniwersytet Warmińsko-Mazurski w Olsztynie chce założyć w Olsztynie ogród botaniczny, prezentujący kolekcje roślinności Pojezierza Mazurskiego. Koszt urządzenia 1 hektara ogrodu szacuje się na 1 mln zł. Jak poinformował prof. Krzysztof Młynarczyk z Kate...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 Alonzo ChurchCzy wiesz że...? Matematyka (. Ponieważ ścisłe założenia mogą dotyczyć najróżniejszych dziedzin myśli ludzkiej, a muszą być czynione w naukach ścisłych, technice a nawet w naukach humanistycznych, zakres matematyki jest szeroki i stale się powiększa. Kurt Gödel (1906-1978) – austriacki logik i matematyk; autor ważnych twierdzeń z zakresu logiki matematycznej, współautor jednej z aksjomatyk teorii mnogości. Do najbardziej znanych osiągnięć matematycznych Gödla należą twierdzenia o niezupełności i niesprzeczności bogatszych teorii dedukcyjnych (to znaczy takich, które obejmują arytmetykę liczb naturalnych). Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson w stanie Ohio w USA) – amerykański logik i matematyk. Studiował w Princeton (magisterium 1924, doktorat z wyróżnieniem 1927). Po studiach rok pracował na Uniwersytecie Harvarda, potem pół roku w Getyndze i pół roku w Amsterdamie, gdzie współpracował z Brouwerem. Po powrocie do Stanów objął stanowisko profesora matematyki w Princeton (w roku 1929), które zajmował do roku 1967, gdy przeniósł się do Kalifornii; tu z kolei został profesorem matematyki i filozofii. Stany Zjednoczone, Stany Zjednoczone Ameryki (ang.: United States, United States of America, US, USA) – państwo w Ameryce Północnej graniczące z Kanadą od północy, Meksykiem od południa, Oceanem Spokojnym od zachodu, Oceanem Arktycznym od północnego zachodu, Oceanem Atlantyckim od wschodu.
Rachunek lambda to system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np. definicja liczb naturalnych, wartości logicznych, itd. Rachunek lambda został wprowadzony przez Alonzo Churcha i Stephen Cole Kleene w 1930 roku. Prace Churcha wywarły zasadniczy wpływ na logikę matematyczną i informatykę. W roku 1930 stworzył tzw. rachunek lambda, który jest niezwykle potężnym narzędziem badawczym. Słynnym osiągnięciem Churcha jest twierdzenie (1936) o nierozstrzygalności pełnego rachunku predykatów (w: An unsolvable problem in elementary number theory, American Journal of Mathematics 58 (1936), 345-363). Twierdzenie to uogólnia prace Gödla. Rozstrzygalność (decydowalność) problemu matematycznego to następująca jego właściwość: zawsze można określić czy dana odpowiedź na pytanie stawiane przez problem jest poprawna.
Waszyngton, D.C., formalnie Dystrykt Kolumbii (ang. Washington, D.C. /ˈwɒʃɪŋtən ˌdiːˈsiː/, District of Columbia), potocznie nazywany Waszyngtonem, Dystryktem lub po prostu D.C. – założona 16 lipca 1790 stolica Stanów Zjednoczonych. Alonso Church założył w 1936 roku Journal of Symbolic Logic i redagował to pismo do roku 1979. Napisał w 1956 ważną książkę Introduction to Mathematical Logic. Wypromował 31 studentów; był wśród nich Alan Turing. Linki zewnętrzne
Czy wiesz że...? beta Ohio – stan w północno-wschodniej części Stanów Zjednoczonych, nad jeziorem Erie. Nazwa pochodzi od rzeki Ohio, która tworzy jego południową granicę.
Uniwersytet Harvarda (Harvard University) powstał w 8 września 1636 jako Harvard College w Newtown (wówczas w Kolonii Zatoki Massachusetts, obecnie Cambridge) koło Bostonu jako pierwszy uniwersytet na terenie kolonii brytyjskich w Ameryce Północnej.
Kalifornia (ang. California) – najludniejszy, najbogatszy oraz trzeci co do wielkości (po Alasce i Teksasie) stan USA. Położony na zachodnim wybrzeżu USA, nad Oceanem Spokojnym. Na północy graniczy ze stanem Oregon, na wschodzie ze stanem Nevada, na południowym wschodzie z Arizoną, a na południu z meksykańskim stanem Baja California. Cztery największe miasta stanu to: Los Angeles, San Francisco, San Diego i San José. W Kalifornii znajduje się aż osiem z pięćdziesięciu największych miast USA. Stan znany jest ze zróżnicowanego środowiska przyrodniczego i klimatu, a także z powodu wielorasowego i wielokulturowego społeczeństwa.
Alan Mathison Turing (ur. 23 czerwca 1912 w Londynie, zm. 7 czerwca 1954 w Wilmslow) – angielski matematyk, kryptolog, twórca pojęcia maszyny Turinga i jeden z twórców informatyki.
Logika (gr. λόγος, logos - rozum) nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać.
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.
Profesor (z łac. professor) – tytuł naukowy nadawany samodzielnym pracownikom naukowym lub tytuł zwyczajowy honorowy nadawany nauczycielom szkolnictwa podstawowego, gimnazjalnego oraz ponadgimnazjalnego, a także stanowisko nauczycieli akademickich. 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. |
