Зарегистрироваться
Восстановить пароль
FAQ по входу

Гуров С.И. Исчисления высказываний классической логики

  • Файл формата pdf
  • размером 885,70 КБ
  • Добавлен пользователем
  • Описание отредактировано
Гуров С.И. Исчисления высказываний классической логики
Учебно-методическое пособие. — М.: Московский государственный университет (МГУ) имени М. В. Ломоносова; Макс Пресс, 2012. — 134 с. — (Математические основы проектирования СБИС).
Предлагаемое учебно-методическое пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Пособие подготовлено на факультете вычислительной математики и кибернетики МГУ.
Классическая алгебра логики.
Алгебра высказываний.
Бинарные отношения на множестве формул.
Характеризация формул алгебра высказываний.
Исчисления высказываний. Гильбертовские исчисления.
Логические исчисления.
Исчисление высказываний H.
Метатеория исчисления высказываний H.
Исчисления высказываний H' и H1.
Типы логических исчислений и их представления.
Генценовские исчисления высказываний.
Исчисление N натурального типа.
Исчисление S секвенциального типа.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Гильберт Д., Бернайс П. Основания математики. Том 2. Теория доказательств

  • djvu
Монография. — Перевод с немецкого Н.М. Нагорного. — Под ред. С.И. Адяна. — М.: Наука, Главная редакция физико-математической литературы, 1979. — 557 с. — (Математическая логика и основания математики). Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в...
  • 7,54 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

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

  • pdf
Екатеринбург: УрГУ (Мат. – Мех. фак.), 2008. — 273 с. Пособие разбито на семь глав. Оно содержит теоретический материал, подборку задач, а также ответы и указания к ряду задач и решение некоторых из них. В отличие от многих учебников по математической логике и теории алгоритмов, пособие содержит изложение метода резолюций, критерия полноты функций k-значной логики, значительный...
  • 1,88 МБ
  • добавлен
  • описание отредактировано
Подробнее

Зыков А.Г., Поляков В.И., Скорубский В.И. Математическая логика

  • pdf
Учебное пособие. — СПб: Санкт-Петербургский нац. исследовательский ун-т информационных технологий, механики и оптики (НИУ ИТМО), 2013. — 131 с. В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к...
  • 6,37 МБ
  • добавлен
  • описание отредактировано
Подробнее

Карри Х.Б. Основания математической логики

  • djvu
М.: Мир, 1969. — 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит...
  • 3,78 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

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

  • djvu
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
  • 3,34 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Чёрч А. Введение в математическую логику. Том 1

  • djvu
Монография. — Перевод с английского В. С. Черняевского. — Под редакцией В. А. Успенского. — М.: Иностранная литература, 1960. — 484 с. OCR с ошибками. Изложение автора книги отличается необычайной полнотой — как в смысле полноты рассмотрения каждого вопроса, так и в смысле полноты круга рассматриваемых вопросов. Эта монография принадлежит перу одного из самых известных...
  • 5,11 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх