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