Математическая логика, Курс лекций и практических занятий, Шапорев С.Д., 2005.
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
математическая логика
Математическая логика, курс лекций и практических занятий, Шапорев С.Д., 2005
Скачать и читать Математическая логика, курс лекций и практических занятий, Шапорев С.Д., 2005Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982
Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982.
Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.
Скачать и читать Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.
Элементарное введение в математическую логику, Пособие для учителей, Столяр А.А., 1965
Элементарное введение в математическую логику, Пособие для учителей, Столяр А.А., 1965.
Настоящая книга не может рассматриваться как введение в математическую логику в целом. Однако ознакомление с изложенным в ней материалом облегчит читателю, желающему серьезно изучить предмет, чтение литературы, рекомендованной в конце книги для этой цели. В книге имеются и упражнения для самостоятельной работы читателя.
Скачать и читать Элементарное введение в математическую логику, Пособие для учителей, Столяр А.А., 1965Настоящая книга не может рассматриваться как введение в математическую логику в целом. Однако ознакомление с изложенным в ней материалом облегчит читателю, желающему серьезно изучить предмет, чтение литературы, рекомендованной в конце книги для этой цели. В книге имеются и упражнения для самостоятельной работы читателя.
Математическая логика и теория алгоритмов, Игошин В.И., 2008
Математическая логика и теория алгоритмов, Игошин В.И., 2008.
Предлагаемое учебное пособие (2-ое изд., стереотип.) составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов).
Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Скачать и читать Математическая логика и теория алгоритмов, Игошин В.И., 2008Предлагаемое учебное пособие (2-ое изд., стереотип.) составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов).
Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Задачи и упражнения по математической логике и теории алгоритмов, Игошин В.И., 2007
Задачи и упражнения по математической логике и теории алгоритмов, Игошин В.И., 2007.
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Для студентов университетов, технических и педагогических ВУЗов, обучающихся по специальностям «Математика», «Прикладная математика».
Скачать и читать Задачи и упражнения по математической логике и теории алгоритмов, Игошин В.И., 2007Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Для студентов университетов, технических и педагогических ВУЗов, обучающихся по специальностям «Математика», «Прикладная математика».