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