Тьюринг машинасы
Алгоритмдік есептеудің әмбебап теориялық моделін қалыптастырды.
Көрнекті тұлғалар
01
Алгоритмдік есептеу теориясының негізін қалаушы
Алан Тьюринг
Ағылшын математигі, логигі, криптографы және информатика пионері.
Есептеу теориясы, криптоталдау және жасанды интеллекттің ғылыми негіздерін қалыптастыруға зор ықпал етті.
Тьюринг машинасы
Криптоталдау
Жасанды интеллект
Алгоритмдер
Тұлға туралы
Алан Тьюринг
Математик · Логик · Криптограф
1951
01
Тьюринг машинасының теориялық моделі
02
Bletchley Park және Enigma криптоталдауы
03
Жасанды интеллект және Тьюринг тесті
01
Тьюринг машинасы алгоритм ұғымын нақты математикалық модельге айналдырды.
02
Есептеудің жаңа моделі
Алан Тьюринг — ағылшын математигі, логигі, криптографы және информатика теориясының пионері.
Ол қазіргі компьютерлік есептеудің маңызды теориялық модельдерінің бірі — «Тьюринг машинасын» ұсынды.
Бұл модель алгоритмнің қандай есептерді орындай алатынын және есептеудің теориялық шектерін зерттеуге мүмкіндік берді.
Екінші дүниежүзілік соғыс кезінде Тьюринг Bletchley Park-тағы криптоталдау жұмыстарына қатысып, Enigma шифрларын талдауға арналған Bombe жүйесін дамытуға шешуші үлес қосты.
Кейін ол машинаның адамға ұқсас интеллектуалдық мінез-құлық көрсете алуын бағалауға арналған идеяны ұсынды. Бұл тәсіл кейін «Тьюринг тесті» деген атпен белгілі болды.
03
Ғылыми мұрасы
Тьюрингтің еңбектері алгоритмдер теориясынан криптография мен жасанды интеллектке дейінгі бірнеше ірі бағытты байланыстырды.
Криптоталдау
Bletchley Park командасымен бірге Enigma хабарламаларын талдаудың тиімді әдістерін дамытуға атсалысты.
Жасанды интеллект
Машинаның интеллектуалдық мінез-құлқын қалай бағалауға болады деген ғылыми сұрақты жаңа деңгейге көтерді.
Есептелімділік теориясы
Компьютер арқылы қандай есептерді принципті түрде шешуге болатынын зерттеуге математикалық негіз берді.
04
KERN / КӨРНЕКТІ ТҰЛҒАЛАР
Негізгі сұрақ — «Машина ойлай ала ма?»
Intelligence
Algorithm
Logic
Machine
Turing Machine
05
STATE
q₀
READ / WRITE
HEAD
1
0
1
1
0
1
0
0
01
READ
02
WRITE
03
MOVE
04
STATE
Лента + күй + алгоритм
Қарапайым элементтер арқылы
жалпы есептеу идеясын
сипаттайтын теориялық модель.
05
Қарапайым модель. Әмбебап идея.
Тьюрингтің теориялық машинасы өте қарапайым құрылымнан тұрады, бірақ ол алгоритмдік есептеудің табиғатын сипаттай алады.
Лента
Ақпарат таңбалар жазылған ұяшықтар тізбегінде сақталады.
Оқу және жазу
Машина бір ұяшықтағы таңбаны оқып, оны өзгерте алады.
Ереже
Әр қадам алдыңғы күй мен оқылған таңбаға байланысты орындалады.
06
Кодтарға қарсы алгоритм
Bletchley Park-та Тьюринг және басқа криптоталдаушылар Enigma хабарламаларын талдауға арналған жаңа математикалық және техникалық әдістерді дамытты.
ENIGMA / ROTORS
A
L
G
SEARCH · TEST · ELIMINATE
1940
Bombe · Bletchley Park
Криптоталдау
Enigma және Bombe
Bombe ықтимал Enigma параметрлерін автоматты түрде тексеріп, криптоталдаушыларға қажетті нұсқаларды жылдам табуға көмектесті.
Bletchley Park Bombe реконструкциясы
1950
TURING TEST
?
Жасанды интеллект
Егер адам мәтіндік диалогта машинаны адамнан сенімді түрде ажырата алмаса — машинаның интеллектуалдық мінез-құлқы туралы не айта аламыз?
Human
Machine
K.E.R.N. SCHOOL
07
Алан Тьюрингтің идеялары — алгоритмдерден қазіргі компьютерлер мен жасанды интеллектке дейін жалғасқан ғылыми негіз.
Көрнекті тұлғалар
KERN