Формальне доведення теорем числення висловлювань
Викладач:
Шевельова Алла Євгеніївна
Рік видання:
2023
Автор:
Шевельова А.Є.
Спеціалізація:
113 Прикладна математика - ОПП "Комп’ютерне моделювання та технології програмування" (Бакалавр)
113 Прикладна математика - ОПП "Комп’ютерне моделювання та обчислювальні методи" (Бакалавр)
124 Системний аналіз
6.040303 Системний аналіз
Опис:
У навчальному посібнику наведено основні теоретичні відомості про
формальне доведення теорем числення висловлювань та доведення теорем з
детальним обґрунтуванням.
Для студентів освітніх програм за спеціальностями «Системний
аналіз», «Прикладна математика» денної, прискореної та заочної форм
навчання, а також всіх бажаючих розпочати систематичне вивчення
математичної логіки.
