11 relasyon: Alan Turing, Amerika, Amerikano, Kalkulong lambda, Lohika, Lohikang matematikal, Matematika, Matematiko, Teoretikal na agham pangkompyuter, Tesis na Church-Turing, Washington, D.C..
Alan Turing
Si Alan Mathison Turing, OBE, FRS (23 Hunyo 1912 – 7 Hunyo 1954) ay isang Briton na matematiko, lohiko (o lohisyano), kriptoanalista at siyentista ng kompyuter.
Bago!!: Alonzo Church at Alan Turing · Tumingin ng iba pang »
Amerika
Ang Amerika (Ingles: America) ay maaaring tumukoy sa o kaugnay ng mga sumusunod.
Bago!!: Alonzo Church at Amerika · Tumingin ng iba pang »
Amerikano
Maaaring tumukoy ang Amerikano.
Bago!!: Alonzo Church at Amerikano · Tumingin ng iba pang »
Kalkulong lambda
Sa lohikang matematikal at agham pangkompyuter, ang kalkulong lambda na isinusulat ding λ-kalkulo ang pormal na sistema para sa paglalarawan ng punsiyon, aplikasyon ng punsiyon at rekursiyon.
Bago!!: Alonzo Church at Kalkulong lambda · Tumingin ng iba pang »
Lohika
Ang lohika o matwiran (Kastila: lógica, Ingles: logic) ay ang pangangatwiran na ginagamit upang maabot ang katapusang pangungusap (konklusyon) mula sa hanay ng mga palagay.
Bago!!: Alonzo Church at Lohika · Tumingin ng iba pang »
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!!: Alonzo Church at Lohikang matematikal · Tumingin ng iba pang »
Matematika
Isang putik na tableta ng Babilonya na tinatawag na YBC 7289 na may mga anotasyon. Ang diagonal ay nagpapakita ng aproksimasyon ng kwadradong ugat ng 2 sa apat na seksahesimal na mga pigura na mga anim na decimal na mga pigura.1 + 24/60 + 51/602 + 10/603.
Bago!!: Alonzo Church at Matematika · Tumingin ng iba pang »
Matematiko
Ang isang matematiko ay isang taong gumagamit ng malawak na kaalaman sa matematika sa kanyang trabaho, kadalasa'y para lumutas ng mga problemang pang-matematika.
Bago!!: Alonzo Church at Matematiko · Tumingin ng iba pang »
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).
Bago!!: Alonzo Church at Teoretikal na agham pangkompyuter · Tumingin ng iba pang »
Tesis na Church-Turing
Sa teoriya ng komputabilidad, ang tesis na Church-Turing (sa Ingles ay Church-Turing Thesis o Church–Turing conjecture, Church's thesis, Church's conjecture, at Turing's thesis) ay pinagsamang hipotesis (tesis) tungkol sa kalikasan ng mga punsiyon na ang mga halaga ay epektibong makukwenta o sa modernong termino, makakawenta ng algoritmo.
Bago!!: Alonzo Church at Tesis na Church-Turing · Tumingin ng iba pang »
Washington, D.C.
Ang Washington, D.C. ay isang lungsod at kabisera ng Estados Unidos.
Bago!!: Alonzo Church at Washington, D.C. · Tumingin ng iba pang »