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

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



Читать онлайн
скачать бесплатно


Теги:
Математическая логика, Плиско курс лекций

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