«Математическая логика: курс лекций» И. Л. Тимофеева Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике. Это и многое другое вы найдете в книге Математическая логика: курс лекций (И. Л. Тимофеева). Напишите свою рецензию о книге И. Л. Тимофеева «Математическая логика: курс лекций» http://izbe.ru/book/10867-matematicheskaya-logika-kurs-lekciy-i-l-timofeeva/

«Математическая логика и теория алгоритмов» В. И. Игошин Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (В.И.Игошин "Задачи и упражнения по математической логике и теории алгоритмов"). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика". Это и многое другое вы найдете в книге Математическая логика и теория алгоритмов (В. И. Игошин). Напишите свою рецензию о книге В. И. Игошин «Математическая логика и теория алгоритмов» http://izbe.ru/book/160191-matematicheskaya-logika-i-teoriya-algoritmov-v-i-igoshin/