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

Автор(и)

  • Ю.В. Триус
  • А.Ю. Дяченко

Ключові слова:

Алгоритмічна система, система Маркова, система Тьюрінга, алгебра висловлень

Анотація

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

##submission.downloads##

Опубліковано

2006-02-19

Як цитувати

Триус, Ю., & Дяченко, А. (2006). Програма-інтерпретатор алгоритмічних систем Маркова, Тьюрінга, Поста. Науковий часопис НПУ імені М.П. Драгоманова. Серія 2. Комп’ютерно-орієнтовані системи навчання, (4 (11), 28–41. вилучено із https://sj.npu.edu.ua/index.php/kosn/article/view/588

Номер

Розділ

Статті

Статті цього автора (авторів), які найбільше читають