Програма-інтерпретатор алгоритмічних систем Маркова, Тьюрінга, Поста

Анотація

У роботі [9] відмічається, що “поняття “алгоритм” давно уже стало звичним не лише для математиків: воно є концептуальною основою різноманітних процесів опрацювання даних; саме наявність відповідних алгоритмів і забезпечує можливість автоматизації таких процесів. Разом з
математичною логікою теорія алгоритмів утворює теоретичний фундамент сучасних комп’ютерних наук”. З іншого боку завдяки розвитку інформатики та інформаційних технологій вдається доводити алгоритмічну розв’язність або нерозв’язність масових математичних проблем, виконувати автоматичне доведення математичних тверджень, досліджувати складність і ефективність алгоритмів тощо. Тому
невипадково до навчальних планів спеціальностей, що відносяться до освітніх напрямів “прикладна математика” і “комп’ютерні науки”, включено дисципліну “Математична логіка і теорія алгоритмів”. На жаль, як показує досвід навчання цього курсу, студенти, “зачаровані” магією інформаційних технологій, без великого ентузіазму опановують фундаментальні основи математики та інформатики. Одним з шляхів подолання цього негативного явища, підвищення інтересу студентів до фундаментальних наук і їх навчально-пізнавальної активності є створення і впровадження в освітній процес комп’ютерно-орієнтованих методичних систем навчання.