Математическая логика

Математическая логика

Игорь Лавров

     

бумажная книга



Издательство: Академия
Серия: Прикладная математика и информатика
Дата выхода: ноябрь 2006
ISBN: 5-7695-2735-8
Тираж: 3 000 экземпляров
Объём: 240 страниц
Масса: 320 г
Обложка: твёрдая

В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д.Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии.
Для студентов высших учебных заведений.