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

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

В то же время Фреге развил теорию натуральных чисел в рамках канторовской теории множеств. Таким образом, математический анализ и все основанные на нем разделы математики были сведены к теории множеств и, казалось, получили единое и прочное обоснование. Неудивительно поэтому, что обнаружение противоречий в теории множеств явилось драматическим событием в истории математики.
Содержание
1. Предмет математической логики
2. Логика высказываний
3. Алгебра логики
4. Исчисление высказываний
5. Логика предикатов
6. Исчисление предикатов
7. Метод резолюций
8. Интуиционистская логика

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

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

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

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