Збірник містить завдання і вправи по всіх традиційних розділів курсу математичної логіки і теорії алгоритмів. У кожному параграфі докладно розглянуті різноманітні типові приклади і наведені численні завдання різного рівня складності для самостійного рішення.
Збірник складається з чотирнадцяти параграфів в 5 гла.
Операції логіки Буля.
Форми подання булевих операцій.
Методи доказу в логіці Буля.
Завдання на практичну роботу по логіці висловлювань.
Введення в логіку висловлювань.
Побудова доказів в логіці висловлювань.
Аксіоматичний метод.
Таблиці істинності.
Метод Вонга.
Метод.
Теми допомоги:
1. Алгебра висловлювань.
2. Обчислення висловлювань ІС генценовского типу.
3. Обчислення висловлювань ІВ гильбертовськой типу.
4. загальнозначущому формул.
5. Логічні програми.
Відповіді за темами за 1 семестр математичної логіки.
Відповіді на екзаменаційні квитки по математичній логіці всього 24 питання.
Питання по темам від:
1) Двозначна логіка, булеві функції, до
24) Множини і операції над ними.
Лекції з математичної логіки. Основні поняття з прикладами.
Теорія алгоритмів, Булеві функції, Логічні Обчислення, Предикати і квантори.rn