Szybszy dostęp niż przeglądarce!
30 kontakty: Alan Turing, Algorytm, Automat Büchiego, Dwójkowy system liczbowy, Funkcja, Funkcja rekurencyjna, Hiperkomputer, I Liceum Ogólnokształcące im. Kazimierza Brodzińskiego w Tarnowie, Jedynkowy system liczbowy, Komputer, Krotka (struktura danych), Liczby naturalne, Maszyna RAM, Moc obliczeniowa, Mrówka Langtona, Największy wspólny dzielnik, Niedeterministyczna maszyna Turinga, Oprogramowanie, Podzbiór, Prawa fizyki, Problem stopu, Program komputerowy, Rachunek lambda, Roger Penrose, Routledge Encyclopedia of Philosophy, Rozkaz (informatyka), Stan obiektu (informatyka), Symbol, Złożoność obliczeniowa, Zbiór.
Alan Turing
Alan Mathison Turing (ur. 23 czerwca 1912 w Londynie, zm. 7 czerwca 1954 w Wilmslow k. Manchesteru) – brytyjski matematyk, informatyk i wojskowy.
Nowy!!: Maszyna Turinga i Alan Turing · Zobacz więcej »
Algorytm
Algorytm – skończony ciąg jasno zdefiniowanych czynności koniecznych do wykonania pewnego rodzaju zadań, sposób postępowania prowadzący do rozwiązania problemu.
Nowy!!: Maszyna Turinga i Algorytm · Zobacz więcej »
Automat Büchiego
Niedetermistyczny automat Büchiego który rozpoznaje (0∪1)*0ω Automat Büchiego (ang. Büchi automaton) to rozszerzenie automatu skończonego na słowa nieskończone.
Nowy!!: Maszyna Turinga i Automat Büchiego · Zobacz więcej »
Dwójkowy system liczbowy
Dwójkowy zegarek pokazujący godzinę 3:25 Dwójkowy system liczbowy lub też system binarny (NKB – naturalny kod binarny) – pozycyjny system liczbowy, którego podstawąjest liczba 2, a do zapisu liczb potrzebne sątylko dwie cyfry: 0 i 1.
Nowy!!: Maszyna Turinga i Dwójkowy system liczbowy · Zobacz więcej »
Funkcja
suriekcją. parabola. dziedzinie zespolonej. Funkcja („odbywanie, wykonywanie, czynność”Od „wykonać, wypełnić, zwolnić”.), odwzorowanie, przekształcenie, transformacja – pojęcie matematyczne używane w co najmniej dwóch zbliżonych znaczeniach.
Nowy!!: Maszyna Turinga i Funkcja · Zobacz więcej »
Funkcja rekurencyjna
Funkcja rekurencyjna – funkcja \mathbb^i\to\mathbb, która jest obliczalna za pomocąmaszyny Turinga.
Nowy!!: Maszyna Turinga i Funkcja rekurencyjna · Zobacz więcej »
Hiperkomputer
Hiperkomputer – hipotetyczny komputer potrafiący wykonywać algorytmy, których nie jest w stanie wykonać maszyna Turinga.
Nowy!!: Maszyna Turinga i Hiperkomputer · Zobacz więcej »
I Liceum Ogólnokształcące im. Kazimierza Brodzińskiego w Tarnowie
I Liceum Ogólnokształcące im.
Nowy!!: Maszyna Turinga i I Liceum Ogólnokształcące im. Kazimierza Brodzińskiego w Tarnowie · Zobacz więcej »
Jedynkowy system liczbowy
Jedynkowy system liczbowy – najprostszy możliwy system liczbowy do zapisu liczb naturalnych.
Nowy!!: Maszyna Turinga i Jedynkowy system liczbowy · Zobacz więcej »
Komputer
Komputer Apple iMac G4 Fundacji Wikimedia Komputer EC-1035 Wyprodukowany w Polsce komputer R-32 Przekaźnikowy Harvard Mark I Komputer ENIAC wraz z obsługą. Komputer kryptologiczny Colossus Mark II Replika pierwszego komputera z programem przechowywanym w pamięci. '''Museum of Science and Industry''' w Manchesterze w Wielkiej Brytanii. Minikomputer K-202 IBM System 360 model 20 (360/20) notebooka firmy IBM Konsola superkomputera CDC 6600 Zeus (fragment) Komputer (od Nazwa, w użyciu od XVII wieku, oznaczała początkowo rachmistrza (od czasownika, obliczać). Pod koniec XIX wieku zaczęto jej używać w odniesieniu do maszyn liczących.); dawniej: mózg elektronowy, elektroniczna maszyna cyfrowa, maszyna matematyczna – maszyna przeznaczona do przetwarzania informacji, które da się zapisać w formie ciągu cyfr albo sygnału ciągłego.
Nowy!!: Maszyna Turinga i Komputer · Zobacz więcej »
Krotka (struktura danych)
Krotka – struktura danych będąca odzwierciedleniem matematycznej n-ki, tj.
Nowy!!: Maszyna Turinga i Krotka (struktura danych) · Zobacz więcej »
Liczby naturalne
osi liczbowej duża litera N – standardowy symbol liczb naturalnych. Liczby naturalne – termin dwuznaczny.
Nowy!!: Maszyna Turinga i Liczby naturalne · Zobacz więcej »
Maszyna RAM
Maszyna RAM – model abstrakcyjnej maszyny będący odmianąmaszyny rejestrowej, bardzo podobnej do maszyny licznikowej, lecz z możliwościąniebezpośredniego adresowania jej rejestrów.
Nowy!!: Maszyna Turinga i Maszyna RAM · Zobacz więcej »
Moc obliczeniowa
Moc obliczeniowa komputera – liczba działań arytmetycznych, jakie może wykonać komputer w określonej jednostce czasu.
Nowy!!: Maszyna Turinga i Moc obliczeniowa · Zobacz więcej »
Mrówka Langtona
Mrówka Langtona po 11000 kroków Mrówka Langtona – prosty automat komórkowy wymyślony i opisany przez Chrisa Langtona w 1986 roku.
Nowy!!: Maszyna Turinga i Mrówka Langtona · Zobacz więcej »
Największy wspólny dzielnik
Największy wspólny dzielnik, największy wspólny podzielnik – dla danych dwóch (lub więcej) liczb całkowitych największa liczba naturalna dzieląca każdąz nich.
Nowy!!: Maszyna Turinga i Największy wspólny dzielnik · Zobacz więcej »
Niedeterministyczna maszyna Turinga
Drzewo obliczeń niedeterministycznej maszyny Turinga. Niedeterminizm można interpretować jako stworzenie tylu kopii maszyny Turinga ile jest możliwych stanów do których może przejść maszyna, a następnie zastosowanie poszczególnych możliwych ruchów dla każdej kopii. Niedeterministyczna maszyna Turinga – teoretyczny model rozważany w teorii obliczeń w celu badania problemów decyzyjnych.
Nowy!!: Maszyna Turinga i Niedeterministyczna maszyna Turinga · Zobacz więcej »
Oprogramowanie
Oprogramowanie – ogół informacji w postaci zestawu instrukcji, zaimplementowanych interfejsów i zintegrowanych danych przeznaczonych dla komputera do realizacji wyznaczonych celów.
Nowy!!: Maszyna Turinga i Oprogramowanie · Zobacz więcej »
Podzbiór
Diagram Venna: ''A'' jest podzbiorem ''B'', a ''B'' jest nadzbiorem ''A''. Podzbiór – pewna „część” danego zbioru, czyli dla danego zbioru, nazywanego nadzbiorem, zbiór składający się z pewnej liczby jego elementów, np.
Nowy!!: Maszyna Turinga i Podzbiór · Zobacz więcej »
Prawa fizyki
Prawa fizyki – pojęcia określające pewien niezmiennik występujący w przyrodzie.
Nowy!!: Maszyna Turinga i Prawa fizyki · Zobacz więcej »
Problem stopu
Problem stopu – zagadnienie algorytmiczne odpowiadające, dla danego algorytmu, na pytanie, czy realizujący go program zatrzyma się (w skończonym czasie); pytanie może dotyczyć konkretnych danych wejściowych albo wszystkich możliwych.
Nowy!!: Maszyna Turinga i Problem stopu · Zobacz więcej »
Program komputerowy
Program komputerowy (ang. computer program) – sekwencja symboli opisująca realizowanie obliczeń zgodnie z pewnymi regułami zwanymi językiem programowania.
Nowy!!: Maszyna Turinga i Program komputerowy · Zobacz więcej »
Rachunek lambda
Rachunek lambda – system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np.
Nowy!!: Maszyna Turinga i Rachunek lambda · Zobacz więcej »
Roger Penrose
Parkietaż Penrose’a Sir Roger Penrose (ur. 8 sierpnia 1931 w Colchesterze) – brytyjski naukowiec: fizyk teoretyk, matematyk, filozof nauki i jej popularyzator, noblista; profesor matematyki na Uniwersytecie Oksfordzkim, członek Towarzystwa Królewskiego w Londynie (ang. Royal Society).
Nowy!!: Maszyna Turinga i Roger Penrose · Zobacz więcej »
Routledge Encyclopedia of Philosophy
Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.
Nowy!!: Maszyna Turinga i Routledge Encyclopedia of Philosophy · Zobacz więcej »
Rozkaz (informatyka)
Schemat działania prostego procesora wykonującego rozkazy Rozkaz – pojedyncza operacja, którąmoże wykonać centralna jednostka obliczeniowa.
Nowy!!: Maszyna Turinga i Rozkaz (informatyka) · Zobacz więcej »
Stan obiektu (informatyka)
Stan obiektu – wartość (aktualna, bieżąca) przypisana do obiektu.
Nowy!!: Maszyna Turinga i Stan obiektu (informatyka) · Zobacz więcej »
Symbol
Symbol (z gr. sýmbolon) – semantyczny środek stylistyczny, który ma jedno znaczenie dosłowne i różnąliczbę znaczeń ukrytych.
Nowy!!: Maszyna Turinga i Symbol · Zobacz więcej »
Złożoność obliczeniowa
Teoria złożoności obliczeniowej – dział teorii obliczeń, którego głównym celem jest określanie ilości zasobów potrzebnych do rozwiązania problemów obliczeniowych.
Nowy!!: Maszyna Turinga i Złożoność obliczeniowa · Zobacz więcej »
Zbiór
Zbiór (dawniej także mnogość) – pojęcie pierwotne aksjomatycznej teorii mnogości (zwanej też teoriązbiorów) leżące u podstaw całej matematyki; idealizacja intuicyjnie rozumianego zbioru (zestawu, kolekcji) utworzonego z elementów (komponentów, składowych), która jest efektem abstrahowania od wewnętrznej struktury modelowanego obiektu i wzajemnych zależności między jego elementami (np. hierarchii, czy kolejności).
Nowy!!: Maszyna Turinga i Zbiór · Zobacz więcej »
