Logo
Unyonpedia
Communication
Kunin ito sa Google Play
Bago! I-download ang Unyonpedia sa iyong Android ™!
Libre
Mas mabilis kaysa sa browser!
 

Teorya ng komputabilidad

Index 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.

4 relasyon: Lohikang matematikal, Punsiyon (matematika), Rekursiyon, Teorya ng komputasyonal na komplehidad.

Lohikang matematikal

Ang matematikal na lohika ay isang disiplina sa loob ng matematika, pinag-aaralan ang mga pormal na sistema na may kaugnayan sa paraan ng pagpasok ng mga konsepto na may intuwisyon sa isang patunay at kompyutasyon bilang bahagi ng pundasyon ng matematika.

Bago!!: Teorya ng komputabilidad at Lohikang matematikal · Tumingin ng iba pang »

Punsiyon (matematika)

Grapo ng isang punsiyon, \beginalign&\scriptstyle \\ &\textstyle f(x).

Bago!!: Teorya ng komputabilidad at Punsiyon (matematika) · Tumingin ng iba pang »

Rekursiyon

Ang rekursiyon (sa Ingles ay recursion) ang proseso ng pag-uulit ng mga item sa paraang katulad sa sarili nito.

Bago!!: Teorya ng komputabilidad at Rekursiyon · Tumingin ng iba pang »

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.

Bago!!: Teorya ng komputabilidad at Teorya ng komputasyonal na komplehidad · Tumingin ng iba pang »

Nagre-redirect dito:

Computability theory, Recursion theory, Teoriya ng komputabilidad.

OutgoingPapasok
Hey! Kami ay sa Facebook ngayon! »