Скачать бесплатно » Книги » Другие научные книги » Основания математики. Логические исчисления и формализация арифметики

Kwork - магазин фриланс-услуг по 500 рублей

Основания математики. Логические исчисления и формализация арифметики

Автор: na5ballov от 2020-12-26, 16:17:47

Автор: Гильберт Д., Бернайс П.
Название: Основания математики. Логические исчисления и формализация арифметики
Издательство: М.: Наука
Язык: Русский
Год: 1979
Формат: pdf
Размер: 31 mb
Кол-во страниц: 557

Двухтомная монография Д. Гильберта и п. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики.

скачать с oxy.st
скачать с turb.to


Интернет-магазин детских игрушек	Книжный интернет-магазин	Интернет-магазин для учителей	Интернет-магазин учебной литературы

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

Вернуться 47 0

Категория: Книги » Другие научные книги

Другие публикации по теме:

Первое знакомство с математической логикой
Автор: Депман И.Я. Название: Первое знакомство с математической логикой. 2-е изд., испр. Издательство: Л.: Знание. Ленинградская организация Год: 1965 Язык: Русский Формат: djvu Размер: 15,3 Мб Качество: хорошее, текстовый слой, оглавление. Кол-во...

Математическая логика (2020)
Название: Математическая логика Автор: Матросов В.Л., Мирзоев М.С. Издательство: Прометей ISBN: 978-5-907244-03-0 Год: 2020 Формат: PDF Страниц: 229 Размер: 10 MB Язык: Русский В учебнике изложены основные понятия математической логики, язык и...

Лекции по основам математической логики. Формальные системы первого порядка
Автор: Михайлов А.Б., Швецкий М.В., Рыжова Н.И. Название: Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета (бакалавриат) . Упражнения по основам математической логики...

Энциклопедия элементарной математики в 5 томах
Название: Энциклопедия элементарной математики в 5 томах Автор: Серия Язык: Русский Издательство: ГИТТЛ, Наука Жанр: Энциклопедия Год: 1951-1966 Формат: djvu Размер: 39,22 Мб Энциклопедия элементарной математики посвящена систематическому изложению...

Азбука математической логики
Название: Азбука математической логики Автор: Мельников Г.П. Жанр: Монография, учебное пособие Издательство: М., Знание Год : 1967 Формат: PDF Размер: 27.7 MB Страниц: 106 Язык: Русский Азбука математической логики, поскольку в ней большое внимание...

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчис ...
Название: Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления Автор: Верещагин Н. К., Шень А. Издательство: МЦНМО Год: 2012 Страниц: 240 Формат: PDF Размер: 11,08 МБ ISBN: 978-5-4439-0013-1 Качество: отличное Язык: русский ...

Лекции по математической логике и теории алгоритмов (Ярославль: ЯрГУ) 2013
Автор: Белов Ю.А., Соколов В.А. Название: Лекции по математической логике и теории алгоритмов: учебное пособие Издательство: Ярославль: ЯрГУ Год: 2013 ISBN: 978-5-8397-0908-9 Язык: Русский Формат: djvu Размер: 10,74 Мб Кол-во страниц: 140 Описание:...

Математическая логика - Игошин В.И.
Автор: Игошин В.И. Название: Математическая логика Издательство: М.: ИНФРА-М Год: 2016 ISBN: 978-5-16-005204-5 Серия: Высшее образование Язык: Русский Формат: pdf, djvu Размер: 17,2 mb Страниц: 399 Подробно изложены основы математической логики,...

Задачи по теории множеств, математической логике и теории алгоритмов, 5-ое ...
Автор: Лавров И.А., Максимова Л.Л. Название: Задачи по теории множеств, математической логике и теории алгоритмов, 5-ое изд. Издательство: М.: ФИЗМАТЛИТ Год: 2004 Язык: русский ISBN: 5922100262 Формат: pdf Размер: 15,4 mb Страниц: 256 Описание: В...

Математическая логика и теория алгоритмов
Название: Математическая логика и теория алгоритмов Автор: Игошин В. И. Издательство: Академия Год: 2008 Страниц: 448 Формат: DJVU Размер: 6,83 МБ ISBN: 978-5-7695-4593-1 Качество: Отличное Предлагаемое учебное пособие составляет основу комплекта по...

Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


	Баннер или тизер? Выбирай!	BEGET - первые 30 дней хостинга БЕСПЛАТНО!	HostLife - лучший платный хостинг!
Размещение Вашего баннера на нашем сайте - это дешевая реклама Ваших сайтов или партнерских программ!		Стабильный, профессиональный и ОЧЕНЬ выгодный хостинг на сегодняший день! Бонусы, акции - все для Вас!	Отличный хостинг по цене от 1.87$/месяц! Рекомендация от сайта Bookskeeper.ru!

Основания математики. Логические исчисления и формализация арифметики

Наша электронная библиотека Bookskeeper.ru - это интернет-витрина, где любой посетитель может публиковать электронные варианты книг, журналов, газет, комиксов, в общем, любой литературы со ссылками для медленного, но бесплатного скачивания с файлообменников.

В нашем книжном хранилище Вы всегда найдете литературу на любой вкус человека любого возраста - от детских комиксов и расскрасок до серьезной научной литературы.