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