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

Манин Ю.И. Лекции по математической логике. Часть 1

  • Файл формата djvu
  • размером 1,55 МБ
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Манин Ю.И. Лекции по математической логике. Часть 1
Учебное пособие. — М.: Московский институт электронного машиностроения, 1974. — 135 с.
Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума.
Качество файла - среднее. Скан качественный, однако сам оригинал представляет собой набранный на печатной машинке текст с рукописными формулами.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

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

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

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

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

Манин Ю.И. Лекции по математической логике. Часть 2

  • djvu
Учебное пособие. — М.: Московский институт электронного машиностроения, 1974. — 71 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. Основной объект изучения второй части курса — детерминированный процесс вычисления или переработки нечисловой информации - алгоритм.
  • 893,93 КБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Манин Ю.И., Панчишкин А.А. Введение в современную теорию чисел

  • djvu
Учебное пособие. — М.: МЦНМО, 2009. — 550 с.: ил. — ISBN: 978-5-94057-511-5. Предлагаемая читателю книга — это переработанная и дополненная версия книги «Теория чисел I. Введение в теорию чисел» Ю. И.Манина и А. А. Панчишкина (Москва, ВИНИТИ, 1989), и её английского перевода (Encyclopeadia of Mathematical Sciences, v. 49, Springer-Verlag, 1995). Книга состоит из вводных глав к...
  • 4,38 МБ
  • добавлен
  • описание отредактировано
Подробнее

Френкель А., Бар-Хиллел И. Основания теории множеств

  • djvu
М.: Мир, 1966. В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих обзор исследований, вызванных к жизни этой проблематикой; в ней описываются и сравниваются между собой все важнейшие системы аксиоматической...
  • 7,29 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Чёрч А. Введение в математическую логику. Том 1

  • djvu
Монография. — Перевод с английского В. С. Черняевского. — Под редакцией В. А. Успенского. — М.: Иностранная литература, 1960. — 484 с. OCR с ошибками. Изложение автора книги отличается необычайной полнотой — как в смысле полноты рассмотрения каждого вопроса, так и в смысле полноты круга рассматриваемых вопросов. Эта монография принадлежит перу одного из самых известных...
  • 5,11 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх