Google 
Аннотация: Математическая логика. Учебник для бакалавриата
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
| Автор/составитель | Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович |
| Год выпуска | 2020 |
| ISBN | 978-5-907244-03-0 |
| Производитель | Прометей |
| Издательство | Прометей |
| Количество томов | 1 |
| Количество страниц | 228 |
| Переплет | Твёрдый переплёт |
| Размеры | 207x146x17 мм |
| Цвет | Чёрный |
| Тип бумаги | офсетная (60-220 г/м2) |
| Формат | 60x84/16 (145x200 мм) |
| Стандарт | 10 |
| Вес | 352 |
| Язык | русский |
