06  мар

Математическая логика и теория алгоритмов скачать


Математическая логика и теория алгоритмовНазвание: Математическая логика и теория алгоритмов
Автор: Ответственный редактор Сергей Львович Соболев
Издательство: Наука
Год издания: 1982
Страниц: 177
Формат: DJVU
Размер: 3,54 МБ
Качество: Отличное, 600 дпи, цветные обложки
В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.

СОДЕРЖАНИЕ
Предисловие
С. С. Гончаров. Предельно эквивалентные конструктивизации
В. А. Горбунов, В. И. Туманов. Строение решеток квазимногообразий Л. Л. Максимова. Интерполяционная теорема Линдона в модальных логиках А. Г. Мясников, В. Н. Ремесленников. Классификация степенных нильпотентных групп по элементарным свойствам
М. Г. Перетятькин. Конечно аксиоматизируемые тотально трансцендентные
теории
В. Л. Селиванов. Об индексных множествах в иерархии Клини — Мостовского Н. Н. Непейвода, Д. И. Свириденко. К теории синтеза программ







Разместил admin в категорию КНИГИ / Естественные науки (книги)
Математическая логика и теория алгоритмов скачали 408 раз






Похожие по теме публикации:


Комментарии:
Добавление комментария

Ваше Имя:
Ваш E-Mail: (необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent