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

Катаев А.В. ВолгГТУ. Множества

  • формат docx
  • размер 33.69 КБ
  • добавлен 23 января 2012 г.
Множества. Пустое множество. Универсальное множество. Подмножества. Собственное подмножество. Способы задания множеств. Мощность множества. Равномощные множества. Конечные и счётные множества. Операции над множествами (объединение, пересечение, дополнение, разность, симметрическая разность). Законы алгебры множеств. Характеристические функции. Декартово произведение множеств. Отношения и свойства отношений. Функции на множествах.

Кочергин В.И. Теория многомерных цифровых множеств в приложениях к электроприводам и системам электропитания

  • формат pdf
  • размер 6.52 МБ
  • добавлен 18 октября 2011 г.
Томск: Изд-во Том. ун-та, 2002. – 444 с. ISBN 5-7511-1583-Х Рассматривается широкий круг вопросов, связанных с синтезом цифровых устройств и систем электропитания, который выполняется на основе разработанного автором метода многомерных цифровых множеств – аналога аналитической теории нумераций. Основанием этого метода является идея упаковки пространства, которая была предложена в «новой геометрии» основоположником современной структурной крист...

Лекции по булевым функциям

Статья
  • формат doc
  • размер 869 КБ
  • добавлен 07 ноября 2009 г.
Булевы переменные и функции. Операции булевой алгебры. Эквивалентные формулы. Основные эквивалентности. Дизъюнктивная нормальная форма (ДНФ). Совершенная ДНФ. Минимизация ДНФ. Конъюнктивная нормальная форма (КНФ). Совершенная КНФ. Минимизация КНФ. Полиномиальное разложение: СПНФ. Канонический полином Жегалкина. Арифметический полином.

Лекции по математической логике

Статья
  • формат doc
  • размер 168.15 КБ
  • добавлен 05 сентября 2008 г.
Лекции по математической логике. Основные понятия с примерами. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn

Лекции по математической логике

Статья
  • формат doc
  • размер 152.65 КБ
  • добавлен 09 января 2010 г.
2 курс 1 семестр, множество, машины Тьюринга, нормальные алгоритмы, предикаты, формальные теорииrn

Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 1.47 МБ
  • добавлен 09 ноября 2010 г.
Лекции по математической логике и теории алгоритмов. Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебра Жегалкина. Высказыван...

Лупанов О.Б. Лекции по математической логике

  • формат pdf
  • размер 365.13 КБ
  • добавлен 08 января 2011 г.
МехМат МГУ, 1 курс, 2 семестр. 2004. Оглавление: Булева алгебра. k-значная логика. Схемы из функциональных элементов. Автоматы. Логика. Исчисления и предикаты. Алгоритмы. Данный документ представляет собой курс лекций "Введение в математическую логику", читаемый деканом механико-математического факультета МГУ академиков РАН О. Б. Лупановым на I курсе мехмата во втором семестре.

Маркин П.М. Математическая логика

  • формат doc
  • размер 1.22 МБ
  • добавлен 04 января 2012 г.
Лекции по курсу. - Москва: РГУИТП, 2006. - 62с. Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания). Основными разделами математической логики является: логика высказываний, логика предикатов,...

Математическая логика и основания математики (23 выпуска)

  • формат djvu
  • размер 105.57 МБ
  • добавлен 05 ноября 2010 г.
М., Физматгиз, Наука, 1959-1984. В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты. Список книг, представленных в серии: Гильберт Д.,...

Яковлев А.В. Лекции по математической логике

  • формат pdf
  • размер 443.21 КБ
  • добавлен 08 января 2011 г.
Конспект лекций. Авторское электронное издание(изначально компьютерное). Количество страниц: 52. Место и год издания не установлены.