Історія машин Тюрінга та роль в алгоритмізації

Вантажиться...
Ескіз

Дата

2025

Науковий керівник

Назва журналу

Номер ISSN

Назва тому

Видавець

КПІ ім. Ігоря Сікорського

Анотація

Стаття розглядає проблему розв’язуваностi (Entscheidungsproblem), поставлену Давидом Гiльбертом, та її зв’язок iз формалiзацiєю поняття алгоритму. Описано внесок Алана Тюрiнга у розв’язання цiєї проблеми через створення абстрактної обчислювальної моделi – машини Тюрiнга. Основнi компоненти цiєї моделi, її зна чення для обчислюваностi та алгоритмiчної теорiї висвiтленi у контекстi розвитку комп’ютерних наук. Також розглянуто вплив iдей Тюрiнга на створення сучасних комп’ютерiв, криптоаналiз пiд час Другої свiтової вiйни.

Опис

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

машини Тюрiнга, алгоритми, розв’язнiсть, обчислення

Бібліографічний опис

Бережний, Б. О. Iсторiя машин Тюрiнга та роль в алгоритмiзацiї / Б. О. Бережний // X Міжнародна науково-практична конференція «Математика в сучасному технічному університеті» (20–21 лютого 2025 року, Київ) : тези доповідей. – Київ, 2025. – С. 217-219. – Бібліогр.: 4 назви.

ORCID

DOI