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