Теория категорий
  • формат djvu
  • размер 6 МБ
  • добавлен 20 февраля 2011 г.
Джонстон П. Теория топосов
М.: Наука, 1986. — 440 с.
В книге излагается теория топосов, приобретающая в последнее время важное значение не только в логике, но и в геометрии и топологии. Существенно дополняет вышедшую в 1983 г. в издательстве «Мир» книгу Р. Голдблатта «Топосы. Категорный анализ логики».
Для математиков разных специальностей, аспирантов и студентов университетов.

Оглавление:
Предварительные сведения.
Элементарные топосы.
Внутренняя теория категорий.
Топологии и пучки.
Геометрические морфизмы.
Логические аспекты теории топосов.
Объекты натуральных чисел.
Теоремы Делиня и Барра.
Когомологии.
Теория топосов и теория множеств.
Смотрите также

Анкудинов Г.И., Анкудинов И.Г., Петухов О.A. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1.05 МБ
  • добавлен 28 августа 2009 г.
Учеб. пособие. — 2-е изд. -СПб.: СЗТУ, 2003, 104 с. Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 -"Информатика и вычислительная техника" (Специальность 220100 -"Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 - "Информатика и вычислительная техника". В пособии...

Барвайс. Дж. Справочная книга по математической логике

  • формат djvu
  • размер 17.63 МБ
  • добавлен 30 июля 2009 г.
В четырех частях. Ч. 1. Теория моделей [DjVu], Ч. 2. Теория множеств [DjVu], Ч. 3. Теория рекурсии[ DjVu] . Ч. 4. Теория доказательств и конструктивная математика [DjVu]. Издательство "Наука" - 1982. Каждый из томов снабжен статьями русских ученых, осуществлявших перевод.

Гончаров С.С. Лекции по математической логике

  • формат pdf
  • размер 7.53 МБ
  • добавлен 02 октября 2010 г.
НГУ. Новосибирск. 2007. - 141 с. Содержание: Модели и алгебраические системы фиксированной сигнатуры; Гильбертовское исчисление предикатов; Секвенциальное исчисление предикатов; Нормальные формы в исчислении предикатов; Непротиворечивые множества формул; Теория Хенкина; Теорема Гёделя о полноте; Аксиоматическая теория множества ZF; Арифметика Пеано; Примитивно рекурсивные функции и отношения; Теоремы о представимости; Гёделевская нумерация; Алгор...

Гудстейн Р.Л. Рекурсивный математический анализ

  • формат djvu
  • размер 3.15 МБ
  • добавлен 24 сентября 2010 г.
М. , 1970. 472 с. Рекурсивная теория чисел. Определение по рекурсии. Исчисление равенств. Логические константы. Основные теоремы арифметики. Формализация примитивно рекурсивной арифметики. Сведения к примитивной рекурсии. Устранение параметров. Гёделевская нумерация и неполнота арифметики. Рекурсивный анализ. Рекурсивная сходимость. Рекурсивная и относительная непрерывность. Рекурсивная и относительная дифференцируемость. Относительный интеграл....

Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств

  • формат djvu
  • размер 3.26 МБ
  • добавлен 23 апреля 2011 г.
М.: Наука, 1979. - 256 с. Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиоматическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специа...

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

  • формат pdf
  • размер 11.76 МБ
  • добавлен 25 ноября 2011 г.
М.: Наука, 1987. - 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов

  • формат djvu
  • размер 5.22 МБ
  • добавлен 28 декабря 2008 г.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Зюзьков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1.73 МБ
  • добавлен 16 апреля 2010 г.
ТУСУР, 2001, 154с. Томский межвузовский центр дистанционного образования (ТУСУР). Содержание: Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.

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

  • формат djvu
  • размер 2.52 МБ
  • добавлен 30 декабря 2008 г.
3 изд. , 1995. В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник...

Мендельсон Э. Введение в математическую логику

  • формат djvu
  • размер 2.63 МБ
  • добавлен 09 апреля 2009 г.
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и...