Математическая логика и теория алгоритмов
Название: Математическая логика и теория алгоритмов
Автор: Ответственный редактор Сергей Львович Соболев
Издательство: Наука
Год издания: 1982
Страниц: 177
Формат: DJVU
Размер: 3,54 МБ
Качество: Отличное, 600 дпи, цветные обложки
В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.
СОДЕРЖАНИЕ
Предисловие
С. С. Гончаров. Предельно эквивалентные конструктивизации
В. А. Горбунов, В. И. Туманов. Строение решеток квазимногообразий Л. Л. Максимова. Интерполяционная теорема Линдона в модальных логиках А. Г. Мясников, В. Н. Ремесленников. Классификация степенных нильпотентных групп по элементарным свойствам
М. Г. Перетятькин. Конечно аксиоматизируемые тотально трансцендентные
теории
В. Л. Селиванов. Об индексных множествах в иерархии Клини — Мостовского Н. Н. Непейвода, Д. И. Свириденко. К теории синтеза программ
Скачать с depositfiles
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12843 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
My First Cardigan Workbook
Название: My First Cardigan Workbook: Knit Your Way to Success with 8 Top-Down CardigansАвтор: Georgia DruenИздательство: Annie'sГод: 2013ISBN: 978-1596356252Страниц: 66Язык: EnglishФормат: jpgРазме . . .
-
Садовод и огородник №14 2013
Название: Садовод и огородникГод / месяц: 2013 / июльНомер: 14 (330)Формат: pdfРазмер: 24.4 MBВ журнале даны практические советы по уходу за садом и огородом. Читатели делятся своим опытом.скачать с . . .
-
Armes Militaria Magazine №19
Название: Armes Militaria MagazineИздательство: Histoire & CollectionsГод / месяц: 1987-04Формат: PDFРазмер: 51 MbСтраниц: 52Язык: FrenchФранцузский военно-исторический журналdepositfiles.com turbobit . . .
-
Сам себе мастер №1 2008
Название: Сам себе мастер №1 2008Издательство: Гефест-ПрессФормат: pdfКоличество страниц: 36Язык: русскийРазмер: 12 мбЖурнал «Сам себе мастер» - уникальная энциклопедия творчества, умений и мастерства . . .
-
Золушка вяжет №8 2007 Модели Франции
Название: Золушка вяжет №8 (237) 2007 Модели ФранцииИздательство: ЗАО "КЭЙ"Формат: pdfКоличество страниц: 32Язык: русскийРазмер: 12 мбПопулярный журнал по вязанию спицами и крючком.dfiles.rurusfolder. . . .
-
Art + Quilt: Design Principles and Creativity Exercises
Название: Art + Quilt: Design Principles and Creativity ExercisesАвтор: Lyric KinardИздательство: InterweaveГод: 2009ISBN: 978-1596681064Страниц: 137Язык: EnglishФормат: jpgРазмер: 52 MBСекреты успе . . .
-
Москва - Петушки (аудиокнига)
Название: Москва - ПетушкиАвтор: Венедикт ЕрофеевИздательство: СОЮЗГод выпуска: 2013Жанр: неоклассика, современная проза, повестьАудио кодек: MP3Битрейт аудио: 128 kbpsИсполнитель: Вениамин СмеховП . . .
-
Luxe Interiors + Design - Summer 2013 (Chicago)
Название: Luxe Interiors + Design - Summer 2013 (Chicago)Автор: коллектив редакцииИздательство: Sandow Media PublicationГод: 2013Страниц: 252Серия: Summer 2013 (Chicago)Язык: английский / EnglishФорма . . .
-
Золушка вяжет №9 2007
Название: Золушка вяжет №9 (238) 2007Издательство: ЗАО "КЭЙ"Формат: pdfКоличество страниц: 28Язык: русскийРазмер: 36 мбПопулярный журнал по вязанию спицами и крючком.dfiles.rurusfolder.com . . .
-
Armes Militaria Magazine №20
Название: Armes Militaria MagazineИздательство: Histoire & CollectionsГод / месяц: 1987-05Формат: PDFРазмер: 50 MbСтраниц: 52Язык: FrenchФранцузский военно-исторический журналdepositfiles.com turbobit . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика и теория алгоритмов. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.