Подробная информация о книге «Математическая логика и теория алгоритмов. Учебник С. В. Судоплатов, Е. В. Овчинникова». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Математическая логика и теория алгоритмов. Учебник С. В. Судоплатов, Е. В. Овчинникова»
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик.
Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов. Это и многое другое вы найдете в книге Математическая логика и теория алгоритмов. Учебник (С. В. Судоплатов, Е. В. Овчинникова)
| Полное название книги | С. В. Судоплатов, Е. В. Овчинникова Математическая логика и теория алгоритмов. Учебник |
| Авторы | С. В. Судоплатов, Е. В. Овчинникова |
| Ключевые слова | математика |
| Категории | Образование и наука, Математика |
| ISBN | 9785160019758 |
| Издательство | Новосибирский государственный технический университет (НГТУ) |
| Год | 2008 |
| Название транслитом | matematicheskaya-logika-i-teoriya-algoritmov-uchebnik-s-v-sudoplatov-e-v-ovchinnikova |
| Название с ошибочной раскладкой | vfntvfnbxtcrfz kjubrf b ntjhbz fkujhbnvjd. ext,ybr c. d. celjgkfnjd-t. d. jdxbyybrjdf |