Сборник задач соответствует программе курса математической логики на математическом факультете НГУ. Эта программа утверждена кафедрой алгебры и логики, включает изложение фундаментальных, классических результатов и методов, а также учитывает все новейшие достижения математической логики и теории алгоритмов.
ОГЛАВЛЕНИЕ
Предисловие
Часть I .Теория множеств
§ I.Операции над множествами
§ 2.Отношения и функции
§ 3.Специальные бинарные отношения
§ 4.Кардинальные числа
§ 5.Ординальные числа
§ 6.Действия над кардинальными числами
Часть II.Математическая логика
§ I.Исчислений высказываний
§ 2.Алгебра высказываний
§ 3.Язык узкого исчисления предикатов (УИП)
§ 4.Выполнимость формул УИП
§ 5.Узкое исчисление предикатов
§ 6.Аксиоматические теории
§ 7.Фильтры и фильтрованные произведения
§ 8.Аксиоматизируемые классы
Литература
Указатель терминов и обозначений
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.