|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: W dniach 26-27 marca 2012 r. w Yorku (Zjednoczone Królestwo) odbędzie się konferencja pt. "Białka inherentnie nieuporządkowane".
Nawet połowa ludzkich białek zawiera regiony, które są inherentnie nieuporządkowane. Białka inherentnie nieuporządkowane (IDP) pozbaw... 13 listopada br. (piątek) o godz. 11:00 w auli gmachu głównego Politechniki Wrocławskiej (wyb. Wyspiańskiego 27, bud. A-1) odbędzie się uroczystość nadania tytułu doktora honoris causa Politechniki Wrocławskiej prof. Josephowi Klafterowi*, rektorowi Te... Naukowcy z Wydziału Matematyki Stosowanej Akademii Górniczo-Hutniczej zostaną współautorami 10 podręczników i monografii z matematyki finansowej dla prestiżowego wydawnictwa Cambridge University Press.Jak poinformował rzecznik prasowy AGH Bartosz Dembiński, cykl podręczników ma ... Trzecie Doroczne Sympozjum na temat Wyszukiwania Kombinatorycznego (SOCS 2010) odbędzie się w dniach od 8 do 10 lipca 2010 w Atlancie.
Doroczna konwencja jest kierowana do badaczy i studentów heurystycznych technik optymalizacji wyszukiwania i pokrewnych specjalizacji z zakresu informatyki, ... Drugie Międzynarodowe Sympozjum na temat Przetwarzania Danych, Prywatności i Handlu Internetowego (ISDPE 2010) odbędzie się w dniach 13 i 14 września 2010 roku w miejscowości Buffalo położonej w amerykańskim stanie Nowy Jork.
W ramach sympozjum ISDPE 2010 zostanie poruszona tematyka przetwarzania danych, prywatności oraz ...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 Emil Leon PostCzy wiesz że...? Problem odpowiedniości Posta (Post correspondence problem, w skrócie PCP) - jest to przykład nierozstrzygalnego problemu decyzyjnego, czyli takiego, dla którego nie istnieje program komputerowy, czy też algorytm go rozwiązujący. Został on przedstawiony przez Emila Leona Posta w 1946 roku. Charles Sanders Peirce (ur. 10 września 1839, zm. 19 kwietnia 1914) – naukowiec, filozof amerykański, twórca (obok Williama Jamesa) kierunku filozoficznego zwanego pragmatyzmem. Autor ważnych prac poświęconych metodzie nauki oraz logice relacji. Augustów (lit. Augustavas ros. Августов) – miasto w województwie podlaskim, w powiecie augustowskim. W latach 1975-1998 administracyjnie należało do województwa suwalskiego. Miasto jest także siedzibą władz wiejskiej gminy Augustów. 
 Emil Leon Post (ur. 11 lutego 1897 w Augustowie, zm. 21 kwietnia 1954 w Nowym Jorku) – polski matematyk i logik. ŻyciorysPost urodził się w polsko-żydowskiej rodzinie, która wyemigrowała do Stanów Zjednoczonych, gdy jeszcze był dzieckiem. Po obronie doktoratu z matematyki na Columbia University, poszedł na studia podoktoranckie na Princeton University. Podczas pobytu w Princeton był bardzo bliski odkrycia, że system przedstawiony w Principia Mathematica Russella i Whiteheada jest niezupełny, co zostało udowodnione dopiero przez Kurta Gödla w 1931 roku. Post pracował później w Nowym Jorku jako nauczyciel matematyki w szkole średniej. Od 1936 roku aż do śmierci pracował w City College of New York. 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).
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. W swojej pracy doktorskiej pisanej na Columbia University Post udowodnił m.in., że rachunek zdań z Principia Mathemathica jest zupełny tj. że w systemie złożonym z aksjomatów podanych w Principiach oraz reguł podstawiania i modus ponens wszystkie tautologie są twierdzeniami. Niezależnie od Wittgensteina i Charlesa Peirce'a Post wymyślił i wykorzystywał tabele prawdziwościowe . Najbardziej jest jednak znany ze swoich osiągnięć w teorii rekursji. Historia Żydów na ziemiach polskich liczy ponad tysiąc lat. Były w niej długie okresy religijnej tolerancji i pomyślnej koniunktury dla krajowej wspólnoty żydowskiej, ale również niemal całkowita eksterminacja (holokaust) przez nazistowskie Niemcy podczas okupacji Polski.
Definicja intuicyjna: Maszyna Turinga stanowi najprostszy, wyidealizowany matematyczny model komputera, zbudowany z taśmy, na której zapisuje się dane i poruszającej się wzdłuż niej "głowicy", wykonującej proste operacje na zapisanych na taśmie wartościach. Teoria rekursjiW roku 1936 niezależnie od Alana Turinga (twórcy maszyny Turinga) zaproponował abstrakcyjny model obliczeń nazwany "maszyną Posta". Sformułował tzw. problem odpowiedniości Posta oraz tzw. problem Posta (czy istnieje nieobliczalny, rekurencyjnie przeliczalny zbiór o stopniu Turinga mniejszym niż stopień problemu stopu). Problem Posta znalazł pozytywne rozwiązanie w latach 50.
Wybrane praceBibliografiaZobacz teżLinki zewnętrznePrzypisy
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.
Ludwig Josef Johann Wittgenstein (ur. 26 kwietnia 1889 w Wiedniu, zm. 29 kwietnia 1951 w Cambridge) – filozof zajmujący się przede wszystkim kwestiami języka i logiki, poruszał także kwestie kluczowe dla filozofii umysłu i matematyki. Jego wczesne prace uczyniły z niego "ojca chrzestnego" neopozytywizmu, późniejsze natomiast stanowiły kluczowy wkład w badaniach nad pragmatyką.
Czy wiesz że...? beta 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ć.
Bertrand Arthur William Russell, 3. hrabia Russell (ur. 18 maja 1872 r. w Ravenscroft (Monmouthshire), zm. 2 lutego 1970 r. w Penrhyndeudraeth, Walia) – brytyjski arystokrata, filozof, logik, matematyk, działacz społeczny i eseista. Laureat Nagrody Nobla w dziedzinie literatury za rok 1950. Zainicjował w 1954 roku kampanię pokojową Pugwash.
Twierdzenie to sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, które łączy relacja implikacji. Pierwszy zbiór zdań określa ściśle warunki dla których dane twierdzenie jest spełnione i nazywa się założeniem twierdzenia, a drugi zbiór zdań jest właściwym sądem, będącym istotną treścią wypowiadanego twierdzenia i zwany jest tezą twierdzenia.
Kolegium Miejskie Uniwersytetu Miejskiego Nowego Jorku (ang. The City College of The City University of New York), powszechniej znane jako City College of New York lub po prostu City College, CCNY (skrótowo), czy City (potocznie), jest uczelnią wyższą w Nowym Jorku w Stanach Zjednoczonych, najstarszą z 24 instytucji kształcenia wyższego Uniwersytetu Miejskiego Nowego Jorku i pierwszą publiczną szkołą wyższą w Stanach Zjednoczonych. Jej zaprojektowany przez George’a Browne’a Posta neogotycki kampus rozciągający się wzdłuż Convent Avenue od 130. do 141. ulicy na wzgórzach Harlemu na Manhattanie jest jedną z najpiękniejszych i najbardziej charakterystycznych wizytówek dzielnicy.
Nowy Jork (ang. City of New York, również New York, New York City) – najludniejsze miasto w Stanach Zjednoczonych, a zarazem centrum jednej z najludniejszych aglomeracji na świecie. Nowy Jork wywiera znaczący wpływ na światowy biznes, finanse, media, sztukę, modę, badania naukowe, technologię, edukację oraz rozrywkę. Będąc między innymi siedzibą Organizacji Narodów Zjednoczonych, Nowy Jork stanowi ważne centrum spraw międzynarodowych i powszechnie uważany jest za kulturalną stolicę świata.
Tautologia (wywodzi się od greckich słów ταυτος – ten sam i λογος – mowa) – wyrażenie, które jest prawdziwe na mocy swojej formy - budowy (dokładniej: które jest prawdziwe w każdej niepustej dziedzinie; zdanie zawsze prawdziwe). W logicznym znaczeniu zostało użyte po raz pierwszy przez Ludwika Wittgensteina (Tractatus logico-philosophicus 1922).
Problemem stopu nazywamy sytuację, gdy dla danego algorytmu należy stwierdzić, czy program realizujący dany algorytm zatrzyma się. Pytanie może odnosić się albo do konkretnych danych wejściowych, albo do wszystkich możliwych danych. Jeśli program zatrzymuje się dla wszystkich danych, to mówimy, że ma własność stopu. 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. |
Ta sekcja jest niekompletna. Jeśli możesz,