«Математическая логика и теория алгоритмов. Учебник» С. В. Судоплатов, Е. В. Овчинникова В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов. Это и многое другое вы найдете в книге Математическая логика и теория алгоритмов. Учебник (С. В. Судоплатов, Е. В. Овчинникова). Напишите свою рецензию о книге С. В. Судоплатов, Е. В. Овчинникова «Математическая логика и теория алгоритмов. Учебник» http://izbe.ru/book/84144-matematicheskaya-logika-i-teoriya-algoritmov-uchebnik-s-v-sudoplatov-e-v-ovchinnikova/