Применение моделей Крипке к исследованию суперинтуиционистских и модальных логик Шехтман, Валентин Борисович

Каталог / Фізико-математичні науки / Математична логіка, алгебра, теорія чисел та дискретна математика




  • скачать файл:
  • Назва:
  • Применение моделей Крипке к исследованию суперинтуиционистских и модальных логик Шехтман, Валентин Борисович
  • Альтернативное название:
  • Application of Kripke models to the study of superintuitionistic and modal logics Shekhtman, Valentin Borisovich
  • Кількість сторінок:
  • 99
  • ВНЗ:
  • Москва
  • Рік захисту:
  • 1983
  • Короткий опис:
  • Шехтман, Валентин Борисович.
    Применение моделей Крипке к исследованию суперинтуиционистских и модальных логик : диссертация ... кандидата физико-математических наук : 01.01.06. - Москва, 1983. - 99 с. : ил.
    Оглавление диссертациикандидат физико-математических наук Шехтман, Валентин Борисович
    ВВЕДЕНИЕ.
    ОБОЗНАЧЕНИЯ.
    ГЛАВА I. СТРОЕНИЕ УНИВЕРСМЬНЫХ МОДЕЛЕЙ КРШЖЕ
    § I. Суперинтуиционистские и модальные логики.
    § 2. Модели Крипке.
    § 3. Универсальные модели Крипке и овободные алгебры
    § 4. Универсальные модели для ^т.
    § 5. Универсальные модели для Н^т.
    § 6. Оценки функций роста.
    § 7. Универсальные модели финитно аппроксимируемых логик
    ГЛАВА 2. НЕРАЗРЕШИМЫЕ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ
    § 8. Кодирование полусистем З^э.
    § 9. Леммы о подъеме и спуске.
    § 10, Доказательство теоремы сведения
  • Список літератури:
  • -
  • Стоимость доставки:
  • 650.00 руб


ПОШУК ГОТОВОЇ ДИСЕРТАЦІЙНОЇ РОБОТИ АБО СТАТТІ




Доставка любой диссертации из России и Украины


ОСТАННІ ДИСЕРТАЦІЇ

Фотоперенос электрона при внутрицентровом возбуждении в кристаллах KCL и KBr, активированных двухвалентным иттербием Ибрагим Зияд Дарвиш
Фотопроводимость фосфида галлия, сильно компенсированного медью Буслов, Вадим Александрович
Фоточувствительные волоконные световоды, сформированные плазмохимическим осаждением германосиликатного стекла Николин, Иван Владимирович
Фотоэлектронные спектры тонких пленок металлооксидов систем Y-Ba-Cu-O и Bi-Сa-Cu-O Лихачев, Евгений Робертович
Фотоэмиссия поляризованных электронов из напряженных полупроводниковых гетероструктур Амбражей, Антон Николаевич

ОСТАННІ СТАТТІ ТА АВТОРЕФЕРАТИ

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА