Аннотація | У навчальному посібнику наведено основні поняття і методи математичної логіки, а також основи теорії алгоритмів. Теоретичний матеріал проілюстровано вправами та задачами для набуття читачем практичного досвіду.
Навчальний посібник призначено для студентів, аспірантів і спеціалістів, які використовують відповідні методи класичної і некласичної математичної логіки та теорії алгоритмів.
ЗМІСТ
Передмова...7
Частина І. КЛАСИЧНА МАТЕМАТИЧНА ЛОГІКА...9
Розділ 1. Основні поняття логіки висловлювань...10
1.1.Висловлювання та логічні зв'язки...12
1.2.Умовні та еквівалентні висловлювання...16
1.3.Інтерпретація формул логіки висловлювань...20
1.4.Проблема вирішення в алгебрі висловлювань. Функціональна повнота множини логічних операцій...23
1.5.Дедуктивні висновки в логіці висловлювань...26
Контрольні запитання...30
Задачі для самостійного розв'язування...32
Коментарі...34
Розділ 2. Числення висловлювань...35
2.1.Формальна аксіоматична теорія 1...35
2.2.Теорема дедукції...39
2.3.Побудова доведен |