Talaan ng Nilalaman
5 relasyon: Algoritmo, Teoretikal na agham pangkompyuter, Teorya ng automata, Teorya ng komputabilidad, Teorya ng komputasyonal na komplehidad.
Algoritmo
Sa matematika at sa agham pangkompyuter, ang isang algoritmo ay isang malinaw na pagdedetalye ng kung paano malulutasan ang isang uri ng problema.
Tingnan Teorya ng komputasyon at Algoritmo
Teoretikal na agham pangkompyuter
Ang Teoretikal na agham pangkompyuter (Ingles: Theoretical computer science o TCS) ang dibisyon o pangilalim-na-hany ng pangkalahatang agham pangkompyuter at matematika na pumopokus sa mas abstrakto o matematikal na mga aspeto ng pagkukwenta(computing).
Tingnan Teorya ng komputasyon at Teoretikal na agham pangkompyuter
Teorya ng automata
Sa teoretikal na agham pangkompyuter, ang teoriya ng automata (Ingles: automata theory) ang pag-aaral ng mga abstraktong makina (o mas angkop na mailalarawang abstraktong 'matematika' na mga makina o sistema kung paanong ang mga ito ay inilalarawan sa mga terminong matematikal) at mga komputasyonal na problema na malulutas gamit ang mga makinang ito.
Tingnan Teorya ng komputasyon at Teorya ng automata
Teorya ng komputabilidad
Ang teoriya ng komputabilidad (Ingles: Computability theory o recursion theory) ang sangay ng matematikal na lohika na nagmula noong mga 1930 sa pag-aaral ng mga komputableng mga punsiyon at mga digring Turing.
Tingnan Teorya ng komputasyon at Teorya ng komputabilidad
Teorya ng komputasyonal na komplehidad
Ang teoriya ng komputasyonal na kompleksidad (Ingles: Computational complexity theory) ang sangay ng teoriya ng komputasyon teoretikal na agham pangkompyuter at matematika na pumopokus sa pag-uuri ng mga komputasyonal na proiblema ayon sa kanilang likas na kahirapan at inuugnay ang mga klaseng ito sa bawat isa.
Tingnan Teorya ng komputasyon at Teorya ng komputasyonal na komplehidad
Kilala bilang Teoriya ng komputasyon, Theory of computation.