Математическая логика
Математика
  • формат djvu
  • размер 11.03 МБ
  • добавлен 05 октября 2009 г.
Дурнев В.Г. Элементы теории множеств и математической логики
Ярославль, Ярославский государственный университет, 1978. -117 с.

Настоящее учебное пособие предназначено для студентов 1го курса университета. Оно может служить введением в теорию множеств и математическую логику. В первой части пособия излагаются основные элементарные понятия и теоремы теории множеств, большое внимание уделяется аксиоме выбора.
Похожие разделы
Смотрите также

Белов Ю.А. Элементы теории множеств и математической логики

  • формат pdf
  • размер 403.84 КБ
  • добавлен 06 января 2011 г.
Учебное пособие. Ярославский гос. университет. Ярославль. 2002. 60с. Понятие множества. Отношения и функции. Эквивалентность множеств. Сравнение мощностей. Шкала мощностей. Элемента математической логики. Выводимость. Доказуемость, истина, полнота. Логика предикатов. Булевы функции. Критерий функциональной полноты.

Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств

  • формат pdf
  • размер 2.6 МБ
  • добавлен 06 января 2012 г.
Саратов: Изд-во Саратовского госуниверситета, 1969. - 92 с. Описание: Предлагаемый сборник задач составлен в соответствии ег программой университетского курса "Элементы математической логики и алгебры множеств". Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, ко...

Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики

  • формат djvu
  • размер 1.38 МБ
  • добавлен 18 января 2010 г.
Просвещение. 1978 г. - 89 с. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики. Содержание: Как возникла формальная и математическая логика. Начала теории множеств. Алгебра высказываний и алгебра множест...

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

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

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

  • формат djvu
  • размер 3.34 МБ
  • добавлен 23 января 2010 г.
М.: КомКнига, 2006. - 240 с. Классический университетский учебник. В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся...

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

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

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

  • формат djvu
  • размер 1.64 МБ
  • добавлен 23 августа 2010 г.
4-е изд., Издательство: Физматлит, Год: 2004. - 256 с. Качество: хорошее. Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформули...

Слупецкий Е., Борковский Л. Элементы математический логики и теории множеств

  • формат djvu
  • размер 2.33 МБ
  • добавлен 10 сентября 2010 г.
Перевод с польского О. Ф. Серебрянникова, Издательство Прогресс, Москва, 1965. Книга известных польских логиков, посвящена изложению основ современной формальной логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики.

Столл Роберт Р. Множества. Логика. Аксиоматические теории

  • формат djvu
  • размер 4.22 МБ
  • добавлен 11 июня 2009 г.
Пер. с англ. Ю. А. Гастева и И. Х. Шмаина. Под ред. Ю. А. Шихановича. М., "Просвещение", 1968. 231 стр. В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр.

Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики

  • формат djvu
  • размер 862.87 КБ
  • добавлен 01 ноября 2009 г.
М.: Физматлит,2004г. — 128 с. В уч. пособии содержится материал осн. курса «Введение в мат. логику», читаемого на мех. -мат. фак. МГУ. Излагаются элементы теории множеств, осн. понятия, относящиеся к семантике формализованных логико-матем. языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов матем. факультетов университетов, пед. институтов, а также др. вузов...