Зарегистрироваться
Восстановить пароль
FAQ по входу

Ершов Ю.Л., Палютин Е.А. Математическая логика

  • Файл формата pdf
  • размером 11,76 МБ
  • Добавлен пользователем
  • Описание отредактировано
Ершов Ю.Л., Палютин Е.А. Математическая логика
М.: Наука, 1987. — 336 с.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Клини С.К. Математическая логика

  • pdf
Пер. с англ. Ю.А. Гастева. — Под ред. Г.Е. Минца. — М.: Мир, 1973. — 480 с. Имя одного из крупнейших современных специалистов в области математической логики С.К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными,...
  • 19,53 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Колмогоров А.Н., Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • djvu
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
  • 3,34 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

  • djvu
5-е издание, исправленное. — М.: Физматлит, 2004. — 256 с. — ISBN 5-9221-0026-2. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи...
  • 1,64 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Новиков П.С. Элементы математической логики

  • djvu
2-изд., испр. — М.: Наука, 1973. — 399 с. — (Математическая логика и основания математики). Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. В настоящей книге сделана попытка дать по возможности...
  • 6,30 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Рассел С., Норвиг П. Искусственный интеллект. Современный подход

  • djvu
2-е изд. — М.: Вильямс, 2007. — 1410 с. — ISBN 5-8459-0887-2, 0-13-790395-2, 978-5-8459-0887-2. В книге представлены все современные достижения и изложены идеи, которые были сформулированы в исследованиях, проводившихся в течение последних пятидесяти лет, а также собраны на протяжении двух тысячелетий в областях знаний, ставших стимулом к развитию искусственного интеллекта как...
  • 17,39 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Шенфилд Д. Математическая логика

  • djvu
Пер. с английского. — М.: Наука, 1975. — 529 с. — (Математическая логика и основания математики). Книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все...
  • 3,21 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх