Электронный каталог

Бази даних

База библиотеки "Дом А.Ф. Лосева"- результати пошуку

Вид пошуку

База библиотеки "Дом А.Ф. Лосева"

Лосевский читальный зал

Газеты и журналы библиотеки "Дом А.Ф. Лосева"

Аудио и видео архив библиотеки "Дом А.Ф. Лосева"

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>A=Новиков, Петр Сергеевич@<.>

Загальна кількість знайдених документів : 2
Показані документи с 1 за 2

   510.6
   Н 73

    Новиков, Петр Сергеевич (1901 - 1975).
    Элементы математической логики [Текст] / П.С. Новиков. - Москва : Государственное издательство физико-математической литературы, 1959. - 400 с. ; 21 см. - (Математическая логика и основания математики). - 15000 прим.. -

УДК

510.6

Рубрики: Математическая логика

Утримувачі документа:
Дом А. Ф. Лосева
Примірників всього: 1
ХР (1)
Свободны: ХР (1)
Знайти схожі

   510.6
   Н 73

    Новиков, Петр Сергеевич (1901 - 1975).
    Конструктивная математическая логика [Текст] / П.С. Новиков. - Москва : Наука, Главная редакция физико-математической литературы, 1977. - 328 с. ; 21 см. - (Математическая логика и основания математики). - Библиогр.: с. 318-320. - Указ. имен: с. 323. - Предм. указ.: с. 324-328. - 14000 прим.. -

УДК

510.6

Рубрики: Математическая логика
Анотація: Книга написана на основе лекций, читавшихся П. С. Новиковым в МГУ, В ней излагаются некоторые вопросы математической логики, не рассмотренные в его предыдущей книге «Элементы математической логики». В этом смысле она как бы дополняет предыдущую книгу. В то же время книгу можно читать независимо, так как в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях. Только в последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Гёделя о неполноте формальной арифметики. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время насыщенность разнообразными техническими деталями делает ее полезной для лиц, занимающихся исследованием математических аспектов конструктивной логики. Книга может служить основой для спецкурсов.

Скачать содержание
Утримувачі документа:
Дом А. Ф. Лосева
Примірників всього: 1
ХР (1)
Свободны: ХР (1)
Знайти схожі

Статистика за 03.07.2024
Кількість запитів	0
Кількість відвідувачів	0
Кількість замовлень	0

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)