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

Лавров И.А. Математическая логика

  • Файл формата djvu
  • размером 2,30 МБ
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Лавров И.А. Математическая логика
Учеб. пособие для студ. высш. учеб. заведений. — Под ред. Л. Л. Максимовой. — М.: Академия, 2006. — 240 с. — (Университетский учебник. Сер. Прикладная математика и информатика). — ISBN 5-7695-2735-8.
В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений.
Семантика
Алгебраические системы
Множества и предикаты
Функции и взаимно-однозначные соответствия
Алгебраические системы
Логические системы
Алгебра высказываний
Логические эквивалентности в алгебре высказываний
Алгебра предикатов и функций
Логические эквиваленты в алгебре предикатов и функций
Классические алгебраические системы
Модель для множеств
Операции над множествами
Натуральные числа
Целые и рациональные числа
Действительные и комплексные числа
Арифметика кардинальных чисел
Системы из общей алгебры и геометрии
Частичные порядки
Линейные и полные порядки
Теорема Цермело
Алгебраические операции
Геометрические модели
[bСинтаксис[/b]
Построение логических исчислений
Язык и формулы исчислений
Выводимость формул в исчислений
Исчисление высказываний
Построение исчисления высказываний
Теорема о дедукции для исчисления высказываний
Введение новых логических символов
Теорема адекватности для исчисления высказываний
Исчисление предикатов и функций
Построение исчисления предикатов и функций
Теорема о дедукции для исчисления предикатов и функций
Пренексная нормальная форма
Связь семантики и синтаксиса
Интерпретации и семантики для исчислений
Семантика формул
Метасвойства исчислений
Интерпретация для ИВ
Семантика для ИВ
Метасвойства ИВ
Интерпретации для ИПФ
Выполнимость формул ИПФ
Выполнимость множеств формул ИПФ
Теорема Геделя о выполнимости
Метасвойства ИПФ
Классические аксиоматические теории
Теория множеств
Элементарные теории
Теория множеств ZF
Числовые теории
Арифметика Пеано
Другие числовые теории
Геометрические теории
Аксиомы Д. Гильберта для геометрий
Аксиомы А. Тарского для элементарной планиметрии
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Гильберт Д., Бернайс П. Основания математики. Том 1. Логические исчисления и формализация арифметики

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

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

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

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

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

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

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

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

  • djvu
5-е издание, исправленное. — М.: Физматлит, 2004. — 256 с. — ISBN 5-9221-0026-2. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи...
  • 1,64 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Новиков П.С. Элементы математической логики

  • djvu
2-изд., испр. — М.: Наука, 1973. — 399 с. — (Математическая логика и основания математики). Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. В настоящей книге сделана попытка дать по возможности...
  • 6,30 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх