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

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

  • Файл формата djvu
  • размером 4,70 МБ
  • Добавлен пользователем
  • Описание отредактировано
Ершов Ю.Л., Палютин Е.А. Математическая логика
6-е изд., испр. — М.: Физматлит, 2011. — 356 с. — ISBN: 978-5-9221-1301-4.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для специальных курсов.
Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: «Математика», «Прикладная математика и информатика», «Механика».
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Бурбаки Н. Теория множеств. Книга 1. Основные структуры анализа

  • djvu
Перевод с фр. — М.: Мир, 1965. — 456 с. Трактат Н. Бурбаки „Начала математики" имеет целью изложить всю современную математику с единой и оригинальной точки зрения. Много выпусков этого трактата уже вышло во Франции. Они вызвали большой интерес математиков всего мира как новизной изложения, так и высоким научным уровнем. Настоящее издание представляет собой перевод первой книги...
  • 9,54 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Владимиров Д.А. Булевы алгебры

  • djvu
М.: Наука, 1969. — 319 с. Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, даётся обзор её важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге...
  • 3,21 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Гильберт Д., Бернайс П. Основания математики. Том 1. Логические исчисления и формализация арифметики

  • djvu
Перевод с немецкого. — Монография. — М.: Наука, 1979. — 557 с. Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и...
  • 5,80 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов

  • djvu
М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах:...
  • 4,29 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

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

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

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

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