Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Фейс Р. — Модальная логика
Фейс Р. — Модальная логика



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Модальная логика

Автор: Фейс Р.

Аннотация:

Одна из лучших монографий по модальной логике. Книга содержит наиболее полное на сегодняшний день, прекрасно построенное и согласованное изложение материала по неклассическим логикам. Модальные логики становятся все более востребованными специалистами по ИИ, занимающимися проблематикой обработки естественных языков, экспертными и управляющими системами и т. д.


Язык: ru

Рубрика: Математика/Алгебра/Математическая логика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1974

Количество страниц: 520

Добавлена в каталог: 21.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Справедливость формулы в исчислении высказываний      326
Стелнакер      508
Степень NS5-доказательства      448
Степень сечения      429
Строгая импликация      24 69
Строгая эквивалентность      24 69
Строгая эквивалентность, как необходимая эквивалентность      91
Строгие условные связки      50
Структурное правило вывода      362
Субординация      48
Сугихара      151 216
Суит      217
Сукцедент (консеквент) секвенции      193 362 428
Сурма      508
Схема аксиом (аксиоамная схема)      38—39
Таблица      438 443
Таблица альтернативная      229
Таблица вспомогательная      228 262
Таблица главная      228 262
Таблица замкнутая      230 265
Таблица Лёвенгейма — Скулема      235
Таблица Лёвенгейма — Скулема обобщенная      235
Таблица Лёвенгейма — Скулема, модальные аналоги      235
Таблица о компактности      384
Таблица о корректности      330
Таблица о полноте      223—245 330 336 382 419
Таблица об устранимости сечения (элиминационная теорема)      130 428—442
Таблица семантическая      228
Тавтология      326
Тан Цао-чэнь      24 217
Тарский      11 24 208 212 257 300 302 303 421 493 505
Тартер      207
Теорема дедукции (теорема о дукции, дедукционная теорема)      125 189 473
Теофраст      18 139
Тёрпебон      217
Тихий      508
Томас      79 113 143 147 211 215 217 508
Томасон      486 507 508
Топологическая древовидная модель      420
Топологическая модель      417
Топологическая общезначимость формулы      417
Топологическое пространство      417
Транзитивное замыкание отношения      260
Транзитивность      328
Тривиальная система      309
Уайтхед      260 303
Уиздом      217 508
Универсальная общезначимость формулы      226
Универсальный класс (случаев)      179 180 182
Уоллес      205 459 501
Уорд      217
Усиление полуканонической системы      167
Усиление правила      167
Ушенко      217
Файн      485 486 508
Феврие-Детуш      217
Фейс      9—12 15 16 137 147 196 217 255 303 425 428 429 433 434 437 438 471 473 487 498
Фильтрация      484
Финитная (конечная) аппроксимируемость      298 465
Финитно модельное свойство      298
Финн В. К.      11
Фиттинг      508
Фитч      218 508
Фишер      218
фон Вригт      42 132 133 135 137 148 178 196 207 255 302 308 324 325 327 403 420
Формальная импликация      180—181
Формальная эквивалентность      180—181
Формула      24 223 255 443
Формула Баркан      494
Формула общезначимая (тождественно истинная)      27
Формула правильно построенная      24 223 255
Формула редукции      409
Формула условная      25
Фрассен      508
Фредендойн      218
Фройденталь      218
Фузикава      503
Хазен      509
Хазенъегер      333
Хантингтон      99 218
Характеристическая формула альтернативного множества таблицы      235
Характеристическая формула данной стадии построения таблицы      236
Характеристическая формула истинностной таблицы      243
Характеристическая формула семантической таблицы      235 280
Характеристическая формула строки истинностной таблицы      243
Харр      218
Харт      509
Хвостовое ограничение      375
Хейес      509
Хендерсон      218
Хинтикка      218 257 277 290 306 323 509
Хит      219
Холден      153 158 164 219 299 303—306 322 323
Христиан      509
Хьюз      10 509
Хэкинг      219 423 457
Хэмблин      219
Хэнсон, Н.      219
Хэнсон, У.      509
Цепь      391
Цермело      227
Чарл      503
Чёрч      177 219 247 253 298 303
Чёрчмен      156 219
Чисто кванторное предложение      172
Член редукции      409
Шаг построения (стадия конструкции) семантической таблицы      235
Шеффер      111
Шмидт      219 509
Шольц      220
Штрих Шеффера( — Нико)      111
Шукла      494 509
Шульц      509
Шумм      509
Шютте      10—12 346 421 423
Эвдем      18
Эквивалентность      31
Эквивалентность двух форм равенства      191
Экспортация      31
Экстенсиональное исчисление предикатов      247
Элементарная формула      325
Эмде      220
Эмч      220
Эпистемическая алгебра      491
Эрбран      174
Эсакиа, Л.Л.      505 509
Юхош      220
Язык МФКИ-логики      184
Яськовский      220
«Возможный мир»      258
«Действительный мир»      258
«Истинность во всех мирах»      425
«Парадоксальные» теоремы об условных формулах      30
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2025
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте