Математическая логика и теория алгоритмов учебное пособие
Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Инфо...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Книга |
| Idioma: | Russian |
| Publicat: |
Самара
ПГУТИ
2024
|
| Matèries: | |
| Accés en línia: | https://e.lanbook.com/book/463655 https://e.lanbook.com/img/cover/book/463655.jpg |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Sumari: | Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки. |
|---|---|
| Descripció física: | 214 с. |
| Destinataris: | Книга из коллекции ПГУТИ - Математика СЭБ |
| Bibliografia: | Библиогр.: доступна в карточке книги, на сайте ЭБС Лань |