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

формат djvu
размер 1023.15 КБ
добавлен 15 октября 2008 г.

1969 г.

Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов.
Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики.
Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение.

Сборник может быть использован как пособие для учащихся Юношеских математических школ и всех самостоятельно изучающих соответствующие разделы математики.
1. Двоичная булева алгебра
2. Приложение двоичной булевой алгебры к релейно-контактным схемам
3. Исчисление высказываний
4. Исчисление предикатов
5. Операции над множествами
6. Бинарные отношения
Ответы и указания

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

Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств

формат djvu
размер 445.67 КБ
добавлен 16 марта 2009 г.

М. : ИЛ, 1963. -55 с. Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств. Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исслед...

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств

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

Учебное пособие для вузов, М.: МЦНМО. 1999. -124 с. ISBN: 5-900916-36-7. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех инте...

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

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

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

Задачи по математической логике (+примеры решения и комментарии)

Контрольная работа

формат rtf
размер 5.68 МБ
добавлен 27 апреля 2011 г.

Задачи по математической логике (+примеры решения и комментарии). Содержание: Элементы алгебры высказываний. Логические операции над высказываниями. Равносильные формулы алгебры высказываний. Нормальные формы. Логические следствия. Решение задач с помощью алгебры высказываний. Исследование рассуждений. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез реле...

Задачи по математической логике (+примеры решения)

Контрольная работа

формат rtf
размер 3.34 МБ
добавлен 27 апреля 2011 г.

Задачи по математической логике. Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.rn

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов

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

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах: I. Алгебра высказываний; II. Булевы функции; III. Формализованное исчисление высказываний; IV. Логика предикатов; V. Эл...

Игошин В.И. Математическая логика и теория алгоритмов

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

2-е изд., стер. — М.: Издательский центр «Академия», 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса ма...

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

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

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

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

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

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

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

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

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