2. Теорія
алгоритмів
Теорія алгоритмів виникла в 30-х роках XX ст.
Теорія алгоритмів - дисципліна що вивчає як
саме поняття алгоритму, так і поняття
алгоритмічної розв'язності задач.
Перші, та найчисленніші застосування теорія
алгоритмів мала в математичній логіці, адже вона
виникла саме як розділ математичної логіки
6. Алгоритмічно нерозв’язні задачі
Алгоритмічна нерозв„язність – важлива
властивість деяких класів коректно поставлених
задач, які допускають використання
алгоритмів, яка полягає в тому, що задачі кожного
із цих класів пі не мають якого-небудь загального
універсального алгоритму вирішення, що
об‘єднує весь клас.
Приклади:
1. Розподіл дев‘яток у запису числа π
2. Обчислення досконалих чисел
3. Десята проблема Гільберта
7. Науковці на шляху “від алгоритму до мов
програмування”
Мухамеад аль-
Хорезмі Ада Лавлейс Алан Тюрінг Еміль Пост
Конрад Цузе Джон Бэкус Робіном Мілнер
8. Очолював
Александрійську
бібліотеку, займа
вся науковими
дослідженнями в
сфері
географії, матем
Ератосфен атики та
філології.
близько 275 року до
н. е. в Африці, у Кірені. — помер близько 194
до н. е.
9. РЕШЕТО ЕРАТОСФЕНА
Простий стародавній
алгоритм знаходження
всіх простих чисел
менших деякого
цілого числа , що був
створений
давньогрецьким
математиком
Ератосфеном.
10. Машина Тюринга
Машина Тюринга — це абстрактна машина
(автомат), що працює зі стрічкою, що складається
із окремих комірок, в яких записано символи.
Машина також має голівку для запису та читання
символів із комірок і яка може рухатись вздовж
стрічки. На кожному кроці машина зчитує
символ із комірки, на яку вказує голівка та, на
основі зчитаного символу та внутрішнього
стану, робиться наступний крок. При
цьому, машина може змінити свій стан, записати
інший символ в комірку або пересунути голівку
на одну комірку ліворуч або праворуч.
Алан Матісон Тюрінг
(*23 червня 1912 — 7
червня 1954) —
англійський
математик, логік і
криптограф. Тюрінг
часто вважається
батьком сучасної
інформатики.
11. Нормальні алгоритми Маркова
Нормальні алгорифми
Маркова (НАМ) — це система
послідовних застосувань
підстановок, які реалізують певні
процедури отримання нових слів з
базових, побудованих із символів
деякого алфавіту. Як і машини
Тюринга, нормальні алгоритми не
виконують самих обчислень: вони
лише виконують перетворення слів
шляхом заміни літер за заданими
правилами
Андрій Андрійович Марков
(14 червня 1856, Рязань —20 липня
1922, Петроград) — російський
математик, представник
петербурзької математичної школи
12. Штучний інтелект
Вперше ідеї створення
штучного інтелекту
виникли в XVII
( Б. Спіноза, Р.Декарт,
Г.В. Лейбніц ).
чний кт
(англ. Artificial intelligence, AI) —
розділ комп'ютерної лінгвістики
та інформатики, що займається
формалізацією проблем та
завдань, які нагадують
завдання, виконувані людиною.
При цьому, у більшості випадків
алгоритм розв'язання завдання
невідомий наперед.
13. Основні творці штучного інтелекту
Норберт Вінер Вільям Ешбі Уоррен Маккалок Уолтер Пітс Джон фон Нейман
Марвін Мінскі Марко Сомальвико Айзек Азімов Герберт Саймон Лотфи Заде
Андрій Ноам Клод
Андрій Тихонов Александр Лурія
Колмогоров Хомский Шеннон