• формат djvu
  • размер 1.42 МБ
  • добавлен 03 октября 2010 г.
Кейслер Г., Чэн Ч. Теория непрерывных моделей
М. : 1971. -184 с.
Небольшая монография, посвященная теории классов моделей—области математической логики, интенсивно развивавшейся в течение последних 10—15 лет. Содержание монография—обобщение теори моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и теории множеств и элементарные сведения по математической логике. Изложение сопровождается упражнениями и задачами.
Книга будет полезна не только специалистам, но и тем, кто хочет начать работать в этом плодотворно развивающемся направлении математической логики или хотя бы получить первоначальное представление о нем.
Смотрите также

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

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

Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика

  • формат djvu
  • размер 5.03 МБ
  • добавлен 16 мая 2009 г.
М.: Мир, 1985. - 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирант...

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

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

Ершов Ю.Л. Проблемы разрешимости и конструктивные модели

  • формат djvu
  • размер 5.19 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1980. - 416 с. Серия "Математическая логика и основания математики" Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме тради...

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

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

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

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

Кожухов И.Б. Математическая логика и теория алгоритмов: Учебное пособие

  • формат doc, htm
  • размер 7.33 МБ
  • добавлен 04 июня 2011 г.
Кожухов И. Б. Математическая логика и теория алгоритмов: Учебное пособие, Москва - МГУ, 2004. 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алго-ритмов (машины Тьюринга и вычислительные функции), а также осно-вания теории множеств

Математическая логика и теория алгоритмов

  • формат djvu
  • размер 3.45 МБ
  • добавлен 10 ноября 2010 г.
Отв. редактор С. Л. Соболев М.: Наука, 1982. - 177 с. В сборник входят работы, представляющие важные результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.

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

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

Судоплатов С.В., Овчинникова Б.В. Математическая логика и теория алгоритмов: Учебник

  • формат djvu
  • размер 1.25 МБ
  • добавлен 03 октября 2010 г.
— М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. - 224 с. - (Высшее образование). В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.