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

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

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

Смотри также

Подробнее

Гудстейн Р.Л. Математическая логика

  • djvu
М.: Иностранная литература, 1961. — 162 с. Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих...
  • 3,68 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

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

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

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

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

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

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

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

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

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

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