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


 
Вернуться в: Каталог  
Обложка Бочвар Д.А. Исследования по формализованным языкам и неклассическим логикам
Id: 69562
 
1399 руб.

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

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

 Аннотация

Сборник содержит статьи по формальным системам без типовых иерархий, основаниям математической логики и теории множеств. Тематика статей сборника включает исследования некоторых неклассических логик и их применения к проблемам теории множеств и основ интуиционистического анализа, а также построения языков, основанных на некоторых представлениях рекурсивных функций.


 СОДЕРЖАНИЕ

Предисловие редактора................. 3

Э. Д. Стоцкий. О некоторых свойствах условных грамматик с рассеянным контекстом............ 7

§ 1. Введение.................... 7

§ 2. Основные понятия................ 8

§ 3. Проблема разрешимости пустоты языка..... 14

§ 4. Проблема разрешимости конечности языка.... 15 § 5. Периодическое свойство языков, порождаемых

грамматиками типа 4g............... 19

В. Б. Борщев, М. В. Хомяков. Схемы для функций и отношений......................... 23

§ 1. Наивное определение схем........... 24

§ 2. Окрестности................... 29

§ 3. Алгебра схем.................. 34

§ 4. Схемы и алгоритмы.............. 41

§ 5. Язык для решения задач........... 47

И. X. Шмаин. Расширенное исчисление рекурсивных функций 1.......................... 50

Введение...................... 50

§ 1. Содержательное описание............ 57

§ 2. Аппликативные алгебры............ 59

§ 3. Исчисление систем равенств.......... 62

§ 4. Вывод в исчислении секвенций с равенством... 67

§ 5. Однородные системы.............. 75

§ 6. Приведенные системы.............. 78

§ 7. Альтернатива. Предикаты............ 78

К. М. Великанов. Специализация формы вывода в расширенном исчислении рекурсивных функций......... 82

Ю. А. Шрейдер. Наследственность свойств отношений.... §8

1. Постановка проблемы............... 88

2. Выбор базиса наследственных аксиом....... 90

Д. А. Бочвар. К интерпретации антиномий, в построении которых применяется аксиома экстенсиональности или аксиома объемности................. 96

В. Е. Вайлъ. Об аксиоме объемности в парадоксах наивной

теории' множеств.................. 103

В. Е. Вайлъ. Генценовские системы постулатов для теории

множеств..................... 109

Д. А. Бочвар, В. И. Фуксон. О булевых операциях над рассе-

ловыми ядрами................... 131

В. Н. Гришин. Об одной нестандартной логике и ее применении к теории множеств...............135

И. М. Ермолаева, А. А. Мучник. Модальные расширения логических исчислений типа Хао Вана......... 172

В. К. Финн. О критерии функциональной полноты для 933 194 Д. А. Бочвар, В. К. Финн. О квааилогических функциях.. 200 А. Г. Драгалин. Конструктивные модели теорий интуиционистских последовательностей выбора......... 214

1. Неформальные соображения........... 215

2. Формализация конструктивных средств..... 223

3. Теория CS................... 229

4. Теория LS.................... 230

5. Теория IDB.................. 232

6. Схема Троэльстра............... 232

7. Описание модели................ 233

8. Согласованность модели с принципами IDB (U). 240

9. Различные виды свободно становящихся последовательностей..................... 247

10. Синтаксические результаты.............. 251

Ю. Р. Вайнберг, Е. Ю. Ногина. О категориях эффективно

топологических пространств............. 253

§ 1. Категории эффективно топологических пространств 259 § 2. Подпространства эффективно топологических пространств....................... 261

§ 3. Прямое произведение эффективно топологических пространств..................... 265

 
© URSS 2016.

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