|
 |
|
 |
|
|
 |
|
 |
|
Название: Справочная книга по математической логике: В 4-х частях. Ч. I. Теория моделей. Ч. II. Теория множеств. Ч. III. Теория рекурсии. Ч. IV. Теория доказательств и конструктивная математика.
Автор: Дж. Барвайс (редактор)
Издательство: М.: Наука. Главная редакции физико-математической литературы
Год: 1982, 1983
Формат: djvu
Страниц: 1516
Размер: 45,37 Мб
Язык: Русский
Издание состоит из четырех частей, каждая из которых начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы, а также приложения математической логики. Каждая глава написана для тех, кто не является специалистом в данной области. В оригинале издание составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
|
Автор: rogas86 19-11-2019, 22:09 | Напечатать |
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
 |
Теория доказательств Название: Теория доказательств Автор: Такеути Г. Издательство: М.: Мир Год: 1978 Cтраниц: 208 Формат: pdf Размер: 32 мб Язык: русский Кроме... |
|
| |
|
 |
Теория доказательств Название: Теория доказательств Автор: Такеути Г. Издательство: М.: Мир Год: 1978 Формат: PDF Страниц: 412 Размер: 32.9 MB Язык: Русский Книга... |
| |
|
| |
|
| |
|
|
|
|
|
 |
|
 |
|
|
|
|
|
|
|
|
|
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
|
|
|
|
|
|
Навигация
Вход на сайт
Реклама
Справочная книга по математической логике. В 4-х частях 
