Плиско В. Е. Математическая логика. Курс лекций ОНЛАЙН

Плиско В. Е. Математическая логика. Курс лекций. — 2004. — 86 с.
Потребность в такой науке возникла в математике в конце XIX — начале XX веков. К концу XIX века в работах Коши, Больцано, Вейерштрасса, Кантора, Дедекинда и др. была завершена так называемая арифметизация математического анализа. На место туманной геометрической интуиции пришло точное определение действительного числа как объекта, полученного некоторой теоретико-множественной конструкцией из натуральных, целых и рациональных чисел, так что свойства действительных чисел в конечном счете сводились к свойствам натуральных чисел. В то же время Фреге развил теорию натуральных чисел в рамках канторовской теории множеств. Таким образом, математический анализ и все основанные на нем разделы математики были сведены к теории множеств и, казалось, получили единое и прочное обоснование. Неудивительно поэтому, что обнаружение противоречий в теории множеств явилось драматическим событием в истории математики.
Содержание
1. Предмет математической логики
2. Логика высказываний
3. Алгебра логики

4. Исчисление высказываний
5. Логика предикатов
6. Исчисление предикатов
7. Метод резолюций
8. Интуиционистская логика

Поделиться ссылкой:
  • Добавить ВКонтакте заметку об этой странице
  • Мой Мир
  • Facebook
  • Twitter
  • LiveJournal
  • В закладки Google
  • Яндекс.Закладки
  • Сто закладок
  • Blogger
  • Блог Li.ру
  • Блог Я.ру
  • Одноклассники
  • RSS

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Наш сайт находят по фразам:

×