23 kontakty: Algorytm, Architektura komputera, Automat skończony, Automat ze stosem, Funkcja obliczalna, Funkcja rekurencyjna, Gramatyka bezkontekstowa, Informatyka, Język formalny, Język programowania, Kompilator, Komputer, Maszyna Turinga, Matematyka, Problem stopu, Przetwarzanie języka naturalnego, Rachunek kombinatorów, Rachunek lambda, Synteza mowy, Sztuczna inteligencja, Teoria automatów, Teoria obliczalności, Złożoność obliczeniowa.
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!!: Teoria obliczeń i Algorytm · Zobacz więcej »
Architektura komputera
Schemat blokowy prostego komputera. Czarne linie oznaczająprzepływ danych, a czerwone linie przepływ sterowania. Architektura komputera oznacza w informatyce technicznej zbiór zasad i metod opisujących funkcjonalność, organizację i implementację komputerów.
Nowy!!: Teoria obliczeń i Architektura komputera · Zobacz więcej »
Automat skończony
Przykład automatu skończonego Automat skończony (ang. finite state machine) – abstrakcyjny, matematyczny, iteracyjny model obliczeń w teorii automatów oparty na tablicy dyskretnych przejść między jego kolejnymi stanami, do opisu których służy diagram stanów.
Nowy!!: Teoria obliczeń i Automat skończony · Zobacz więcej »
Automat ze stosem
Przykładowy diagram automatu ze stosem Automat ze stosem (PDA) – automat skończony, który może dodatkowo korzystać ze stosu do przechowywania danych.
Nowy!!: Teoria obliczeń i Automat ze stosem · Zobacz więcej »
Funkcja obliczalna
Funkcja obliczalna – podstawowy obiekt badań teorii obliczalności.
Nowy!!: Teoria obliczeń i Funkcja obliczalna · Zobacz więcej »
Funkcja rekurencyjna
Funkcja rekurencyjna – funkcja \mathbb^i\to\mathbb, która jest obliczalna za pomocąmaszyny Turinga.
Nowy!!: Teoria obliczeń i Funkcja rekurencyjna · Zobacz więcej »
Gramatyka bezkontekstowa
Gramatyka bezkontekstowa – gramatyka formalna, w której wszystkie reguły wyprowadzania wyrażeń sąpostaci: gdzie: Każdy język bezkontekstowy generowany jest przez pewnągramatykę bezkontekstową.
Nowy!!: Teoria obliczeń i Gramatyka bezkontekstowa · Zobacz więcej »
Informatyka
Informatyka zajmuje się teoretycznymi podstawami informacji, algorytmami i architekturami układów jąprzetwarzających oraz praktycznymi technikami ich stosowania.
Nowy!!: Teoria obliczeń i Informatyka · Zobacz więcej »
Język formalny
Język formalny – podzbiór zbioru wszystkich słów nad skończonym alfabetem.
Nowy!!: Teoria obliczeń i Język formalny · Zobacz więcej »
Język programowania
Język programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje.
Nowy!!: Teoria obliczeń i Język programowania · Zobacz więcej »
Kompilator
Schemat blokowy kompilatora wieloprzebiegowego Kompilator – program służący do automatycznego tłumaczenia kodu napisanego w jednym języku (języku źródłowym) na równoważny kod w innym języku (języku wynikowym)A.
Nowy!!: Teoria obliczeń i Kompilator · 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!!: Teoria obliczeń i Komputer · Zobacz więcej »
Maszyna Turinga
Artystyczna wizja maszyny Turinga Maszyna Turinga – stworzony przez Alana Turinga abstrakcyjny model urządzenia służącego do wykonywania algorytmów.
Nowy!!: Teoria obliczeń i Maszyna Turinga · Zobacz więcej »
Matematyka
Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.
Nowy!!: Teoria obliczeń i Matematyka · 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!!: Teoria obliczeń i Problem stopu · Zobacz więcej »
Przetwarzanie języka naturalnego
Przetwarzanie języka naturalnego – interdyscyplinarna dziedzina, łącząca zagadnienia sztucznej inteligencji i językoznawstwa, zajmująca się automatyzacjąanalizy, rozumienia, tłumaczenia i generowania języka naturalnego przez komputer.
Nowy!!: Teoria obliczeń i Przetwarzanie języka naturalnego · Zobacz więcej »
Rachunek kombinatorów
Rachunek kombinatorów (ang. Combinatory Calculi) to jeden z najprostszych możliwych uniwersalnych systemów formalnych.
Nowy!!: Teoria obliczeń i Rachunek kombinatorów · 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!!: Teoria obliczeń i Rachunek lambda · Zobacz więcej »
Synteza mowy
Synteza mowy – dział przetwarzania mowy polegający na mechanicznej zamianie tekstu zapisanego w postaci znakowej na wypowiedź (mowę) w postaci dźwiękowej.
Nowy!!: Teoria obliczeń i Synteza mowy · Zobacz więcej »
Sztuczna inteligencja
Wielkiej Brytanii Sztuczna inteligencja, SI (AI) – inteligencja wykazywana przez urządzenia sztuczne (w przeciwieństwie do inteligencji naturalnej).
Nowy!!: Teoria obliczeń i Sztuczna inteligencja · Zobacz więcej »
Teoria automatów
Teoria automatów – dziedzina informatyki zajmująca się badaniem automatów, czyli modeli maszyn liczących.
Nowy!!: Teoria obliczeń i Teoria automatów · Zobacz więcej »
Teoria obliczalności
Teoria obliczalności, także teorii rekursji – dział teorii obliczeń zajmujący się badaniem jakie problemy sąrozwiązywalne przy użyciu komputerów.
Nowy!!: Teoria obliczeń i Teoria obliczalności · 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!!: Teoria obliczeń i Złożoność obliczeniowa · Zobacz więcej »