1. Предмет, мета, завдання та зміст курсу математичної логіки та теорії алгоритмів.
2. Введення.
3. Логіка висловлень. Висловлення.
4. Логічні операції.
Лекція 1.pdf
АЛГЕБРА ВИСЛОВЛЕНЬ
1. Пропозиційні формули.
2. Тавтології.
Лекція 2.pdf
1. Рівносильні формули.
2. Алгебра Буля.
Лекція 3.pdf
1. Розкладання та досконалі нормальні форми.
Лекція 4.pdf
1. Нормальні форми.
2. Закон двоїстості.
Лекція 5.pdf
1. Булеві функції.
Лекція 6.pdf
1. Застосування булевих функцій до аналізу і синтезу дискретних пристроїв.
Лекція 7.pdf
1. Логічне слідування.
2. Деякі застосування тавтологій.
Лекція 8.pdf
ЧИСЛЕННЯ ВИСЛОВЛЕНЬ
1. Виведення і вивідна пропозиційна формула.
2. Приклади вивідних пропозиційних формул.
Лекція 9.pdf
1. Виведення з гіпотез.
2. Подальші властивості виведення з гіпотез.
Лекція 10.pdf
1. Несуперечність.
2. Повнота.
Лекція 11.pdf
ЛОГІКА І ЧИСЛЕННЯ ПРЕДИКАТІВ
1. Предикати.
Лекція 12.pdf
1. Операції над предикатами.
Лекція 13.pdf
АЛГЕБРА І ЧИСЛЕННЯ ПРЕДИКАТІВ
1. Властивості операцій квантифікації.
Лекція 14.pdf
1. Предикатні формули.
2. Рівносильні формули.
Лекція 15.pdf
1. Випереджена нормальна форма.
2. Тотожно-істинні формули.
Лекція 16.pdf
1. Числення предикатів.
2. Теорема про дедукцію для числення предикатів.
3. Несуперечність і повнота.
Лекція 17.pdf
ТЕОРІЯ АЛГОРИТМІВ
1. Вступні положення.
2. Предмет, мета і зміст курсу.
3. Інтуїтивне (наївне) поняття алгоритму.
Лекція 18.pdf
1. Машини Т’юринга.
Лекція 19.pdf
1. Обчислювальні функції.
2. Приклади алгоритмічно нерозв'язних проблем.
Лекція 20.pdf
1. Нормальні алгорифми.
Лекція 21.pdf
1. Про масові проблеми.
Лекція 22.pdf
Only registered registered users can add message
Estimate publications the registered users can only
Просмотров: 26839