Математическая логика и теория алгоритмов
Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Инфо...
Сохранить в:
| Главный автор: | |
|---|---|
| Другие авторы: | |
| Формат: | Книга |
| Язык: | Russian |
| Опубликовано: |
Самара
ПГУТИ
2017
|
| Online-ссылка: | https://e.lanbook.com/book/182327 https://e.lanbook.com/img/cover/book/182327.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| Краткое описание: | Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки |
|---|---|
| Объем: | 214 с. |
| Аудитория: | Книга из коллекции ПГУТИ - Математика |
| Библиография: | Библиогр.: доступна в карточке книги, на сайте ЭБС Лань |