Математическая логика и теория алгоритмов
Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Инфо...
Сохранить в:
| Главный автор: | |
|---|---|
| Другие авторы: | |
| Формат: | Книга |
| Язык: | Russian |
| Опубликовано: |
Самара
ПГУТИ
2017
|
| Online-ссылка: | https://e.lanbook.com/book/182327 https://e.lanbook.com/img/cover/book/182327.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 02163nam0a2200253 i 4500 | ||
|---|---|---|---|
| 001 | 182327 | ||
| 003 | RuSpLAN | ||
| 005 | 20221220174136.0 | ||
| 008 | 221220s2017 ru gs 000 0 rus | ||
| 040 | |a RuSpLAN | ||
| 041 | 0 | |a rus | |
| 044 | |a ru | ||
| 080 | |a 519.6 | ||
| 245 | 0 | 0 | |a Математическая логика и теория алгоритмов |c Блатов И. А.,Старожилова О. В. |
| 260 | |a Самара |b ПГУТИ |c 2017 | ||
| 300 | |a 214 с. | ||
| 504 | |a Библиогр.: доступна в карточке книги, на сайте ЭБС Лань | ||
| 520 | 8 | |a Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки | |
| 521 | 8 | |a Книга из коллекции ПГУТИ - Математика | |
| 100 | 1 | |a Блатов И. А. | |
| 700 | 1 | |a Старожилова О. В. | |
| 856 | 4 | |u https://e.lanbook.com/book/182327 | |
| 856 | 4 | 8 | |u https://e.lanbook.com/img/cover/book/182327.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/182327.jpg | ||