URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Коллектив авторов Исследования по теории алгорифмов и математической логике
Id: 105718
 
799 руб.

Исследования по теории алгорифмов и математической логике

1979. 136 с. Мягкая обложка. Букинист. Состояние: 4+. Есть погашенная библиотечная печать.

 Аннотация

Настоящий сборник содержит статьи, посвященные воп-росам конструктивной семантики, теории сложности алгорифмов, конструктивного математического анализа и многозначных логик, а также дедуктивным аспектам формальных теорий и алгорифмическим проблемам математики. Большинство публикуемых работ докладывалось на семинаре по конструктивной математике ВЦ АН СССР и кафедры математической логики механико-математического факультета МГУ.


 Оглавление


 Предисловие

Гимон В. В. Формулы без кванторов в ступенчатой семантической системе А. А. Маркова

Домбровский-Кабанченко М. Н. Трансфинитное расширение ступенчатой семантической системы

Драгалин А. Г. Сильная теорема о нормализации выводов в исчислении секвенций Генцена

Жаров В. Г. О сложности членов конструктивных последовательностей машин Тьюринга

Заславский И. Д. Реализация трехзначных логических функций посредством рекурсивных и тьюринговых операторов

Кушнер В. А. Сегментные покрытия и равномерная непрерывность конструктивных функций

Матиясевич Ю. В. Алгорифмическая неразрешимость экспоненциально диофантовых уравнений с тремя неизвестными

Непешода Н. Н. Устойчивая истинность и вычислимость

Петри Н. В. Неразрешимость проблемы распознавания аннулирующих итеративных сетей

Хомич В. И. Отделимость суперинтуиционистских пропозициональных логик

Шуршин В. А. О структуре конструктивных множеств с равенством

 
© URSS 2016.

Информация о Продавце