Top.Mail.Ru
Купить Логика времени и вычислимости (букинист)

Логика времени и вычислимости (букинист)

400 ₽
Этот товар можно оплатить Долями
100 ₽ сегодня
и 300 ₽ потом, без переплат
25 мар
100 ₽
08 апр
100 ₽
22 апр
100 ₽
06 май
100 ₽

Тип книги:

печ. книга

Характеристики

Издательство
ОИЛКРЛ
Формат книги
199x146x9 мм
Вес
0.13 кг
Кол-во стр
137
Год
1992
Код
29955

Тип книги:

печ. книга

Аннотация

Причина уценки: Небольшие потертости на корешке обложки

Содержание

Часть первая. Пропозициональная модальная логика
1. Синтаксис и семантика
2. Теория доказательств
3. Канонические модели и полнота
4. Фильтрации и разрешимость
5. Мультимодальные языки
6. Временная логика
7. Некоторые вопросы метатеории
Часть вторая. Некоторые логики времени и вычислимости
8. Логики с линейными фреймами
9. Временная логика параллельности
10. Пропозициональная динамическая логика
Часть третья. Первопорядковая динамическая логика
11. Приписывания, подстановки и кванторы
12. Синтаксис и семантика
13. Теория доказательств
14. Каноническая модель и полнота
Библиография

Похожие товары