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.