Loogika aine ja ajalugu
ette anta meetodeid, mida mehaaniliselt järgides masin soovitud tulemuseni j~udis.
Esimesi programmeeritavaid elektronarvuteid hakati ehitama 1930. aastate lõpus ja neljakümnendate alguses nii
Saksamaal, Inglismaal kui USAs. Paar aastat varem oli loogikutel ja matemaatikutel tekkinud aktiivne huvi arvutite
programmeerimise ja algoritmide ning nende üldise teooria vastu.
Teooria jaoks pole tegelikult töötada suutvat arvutit vaja, piisab abstraktselt ettekujutatavast arvutist, mis suudab täita
meie poolt etteantud operatsioone. Sellised abstraktsed arvutid ja nende programmeerimise teooria lõid teineteisest
sõltumatult ameeriklane Alonzo Church ja inglane Alan Turing (1912-1954) (hiljem oli Turing mõnda aega küll Churchi
õpilane).
Aastatel 1935-1937 kirjutas Turing artikli, kus ta kirjeldas väga lihtsat abstraktset arvutit, nn Turingi masinat. Arvuti
annaabi.ee 
