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

формат djvu
размер 2.33 МБ
добавлен 10 сентября 2010 г.

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

Похожие разделы

Смотрите также

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

формат pdf
размер 403.84 КБ
добавлен 06 января 2011 г.

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

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

формат pdf
размер 2.6 МБ
добавлен 06 января 2012 г.

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

Дурнев В.Г. Элементы теории множеств и математической логики

формат djvu
размер 11.03 МБ
добавлен 05 октября 2009 г.

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

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

формат djvu
размер 1.38 МБ
добавлен 18 января 2010 г.

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

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

формат doc, htm
размер 7.33 МБ
добавлен 04 июня 2011 г.

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

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

формат djvu
размер 2.52 МБ
добавлен 30 декабря 2008 г.

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

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

формат djvu
размер 1.64 МБ
добавлен 23 августа 2010 г.

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

Лузин Н.Н. Лекции об аналитических множествах и их приложениях

формат djvu
размер 3.67 МБ
добавлен 06 июля 2011 г.

М.: Государственное издательство технико-теоретической литературы, 1953, - 360 с. Настоящая книга содержит изложение основных результатов дескриптивной теории множеств, полученных до 1929 г. Поставлен целый ряд новых актуальных проблем теории множеств, направленных на изучение структуры арифметического континуума. Благодаря этому эта книга в значительной степени определила дальнейшее развитие не только дескриптивной теории множеств, но и раздела...

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

формат djvu
размер 4.22 МБ
добавлен 11 июня 2009 г.

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

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

формат djvu
размер 862.87 КБ
добавлен 01 ноября 2009 г.

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