Поиcк по сайту by Google


Рейтинг@Mail.ru
Rambler's Top100
Электронные книги » Математика » Конструктивная математическая логика с точки зрения классической - Новиков П. С.

Конструктивная математическая логика с точки зрения классической - Новиков П. С.

 
Название: Конструктивная математическая логика с точки зрения классической
Автор: Новиков П. С.
Категория: Математика
Тип: Книга
Дата: 10.01.2009 18:55:13
Скачано: 304
Оценка:
Описание: Автор этой книги, выдающийся советский математик, мик Петр Сергеевич Новиков, родился в августе 1901 года. Свою научную деятельность П. С. Новиков начал в двадцатые годы в области дескриптивной теории множеств. Петру Сергеевичу принадлежат глубокие научные результаты в области теории множеств, математической логики, теории алгоритмов и теории групп. Искючнтельная роль П. С. Новикова в развитии этих областей математики в СССР определяется также его многолетней педагогической деятельностью в МГПИ им. В. И. Ленина и в МГУ им. М. В. Ломоносова. П. С. Новиков создал большую научную школу в области математической логики и теории алгоритмов. Его книга «Элементы математической логики», являющаяся первым отечественным курсом математической логики, пользуется большой популярностью как в нашей стране, так и за рубежом. Она переведена на английский, фран-кий, итальянский н японский языки. В 1973 году вышло в свет второе русское издание этой книги. Настоящая книга написана на основе лекций, читав-н П. С. Новиковым во второй половине пятидесятых годов. В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу. В то же время книга написана так, что ее можно читать независимо or предыдущей. В частности, в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. В книге рассматр i интерпретации конструктивных фор- мальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в ней в орипп
Файл: 4.20 МБ
Скачать