Dasturiy ta'minotga oid birinchi nazariya 1936 yilda ingliz matematik Alon Tyoring tomonidan On computable numbers with an application to the Entscheidungsproblem (Hesablab bo'ladigan raqamlar haqida echim muammosiga ilova bilan ) deb nomlangan essasida taklif etilgan. U Turing mashinasi deb nomlangan mavhum mashinaning matematik modelini yaratdi, u mashinani bir holatdan boshqasiga o'tkazadigan rudimentar operatsiyalar ketma-ketligini bajarishga qodir. Asosiy g'oya, tizimning har qanday oldindan berilgan holatiga har doim buyruqlarning qat'iy to'plamidan elementar buyruqlarning (dasturning) yakuniy to'plamini ketma-ket bajarish orqali erishish mumkinligini matematik isbotlashdan iborat edi.
Qaysi asarida Alan Turing 1936 yilda dasturiy ta'minotga oid birinchi nazariyani taklif qildi?
Hesablab bo'ladigan raqamlar haqida echim muammosiga ilova bilan 