Математична логіка

У підручнику викладено основні поняття математичної логіки, мову та засоби математичної логіки, у тому числі системи логічних функцій та їх застосування в інформатиці. Розглядаються основні розділи математичної логіки: алгебра висловлювань; обчислення висловлювань та логіка предикатів. Алгоритмічним підходом кроків представлено доказ теорем з аксіоматичної теорії L. Крім теоретичних та практичних матеріалів, підручник містить завдання для самостійної роботи. Зміст підручника відповідає Федеральному державному освітньому стандарту вищої освіти третього покоління та методичним вимогам, що висуваються до навчальних видань. Підручник призначений для студентів вищих навчальних закладів, які навчаються за напрямом педагогічної освіти профілів «Інформатика та математика», «Фізика та інформатика», «Технологія та інформатика», «Математика та інформатика», «Прикладна інформатика». Може бути корисним широкому колу читачів, які цікавляться основами математичної логіки.