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

формат djvu
размер 1.51 МБ
добавлен 12 февраля 2011 г.

Издательство Саратовского университета, 1968. - 141с.
Основные понятия теории множеств
Подмножество. Дополнение подмножества. Пересечение и объединение подмножеств
Упорядоченные системы элементов
Декартово произведение множеств
Арифметическое пространство п измерений
n-отношение
Функция
Отображение множествач на множество. Взаимно-однозначное отображение
Алгебра высказываний
Логические операции над высказываниями
Составные высказывания
Формулы и тавтологии
Некоторые основные тавтологии
Равносильные формулы
О методах математических доказательств
Логика предикатов
Понятие предиката
Равносильные предикаты. Следствие предиката
Тождественно истинный, тождественно ложный и выполнимый предикаты
Множество истинности предиката. Классификатор
Простейшие логические операции над предикатами
Логические операции квантификации
Высказывания как 0-местные предикаты
Формулы и тавтологии
Некоторые тавтологии с кванторами
Квантор существования и единственности
Применение логики предикатов в математических науках. Понятие о правилах вывода
Применение логики предикатов к алгебре подмножеств
Равенство и включение подмножеств
Основные свойства операций дополнения, пересечения и объединения
Объединение и пересечение совокупности подмножеств и семейства подмножеств
Элементы теории бинарных отношений
Проекции бинарного отношения
Обратное бинарное отношение
Срез бинарного отношения
Умножение бинарных отношений
Рефлексивные, симметричные и транзитивные бинарные отношения
Отношения эквивалентности и разбиения множества. Ядро отображения
Частичные отображения и частичные преобразования множеств
Частичное отображение и частичное
Образ и дрообраз подмножества. Полный прообраз элемента
Частичное взаимно-однозначное отображение и частичное взаимно-однозначное преобразование
Произведение частичных отображений и частичных преобразований
Частичные преобразования в Rn

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

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

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

формат 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
размер 2.33 МБ
добавлен 10 сентября 2010 г.

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

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

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

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

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

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

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