Людис – Википедия

От / / Оставьте комментарий

Оглавление1 Людики1.1 Основы ludics1.2 Связь с игровой семантикой1.3 Абстрактный синтаксис информатики1.4 Достижения ludics1.5 Система Ludics1.6 Цель и доступность1.7 Полный текст […]

Mathematical logic, Математическая логика

Людики

  • Основы ludics

    • Логическая логика анализирует принципы вывода математической логики. 
    • Ludics использует сложные связки, фокусировку и локусы вместо предложений. 

  • Связь с игровой семантикой

    • Ludics следует парадигме интерактивных вычислений, подобно игровой семантике. 

  • Абстрактный синтаксис информатики

    • Локусы рассматриваются как указатели на память, обеспечивая абстрактный синтаксис. 

  • Достижения ludics

    • Открытие взаимосвязи между типами и пропозициями. 
    • Теоретико-доказательная интерпретация Генцена и вычислительная интерпретация Брауэра-Хейтинга-Колмогорова. 

  • Система Ludics

    • Предложена логиком Жан-Ивом Жираром. 
    • Статья “Locus solum” содержит эксцентричные иллюстрации. 

  • Цель и доступность

    • Закрепление точки зрения Жирара и понимание ludics независимо от происхождения. 
    • Внешние ссылки на статью и читательскую группу Жирарда. 

Полный текст статьи:

Людис – Википедия

Похожие статьи:

  1. Университет Экс-Марсель Оглавление1 Университет Экс-Марселя1.1 История Университета Экс-Марселя1.2 Кампусы и объекты1.3 Партнерства и академические организации1.4 Ранняя история (1409-1800)1.5...
  2. Микрошкалы Колмогорова Оглавление1 Микромасштабы по Колмогорову1.1 Определение микромасштаба Колмогорова1.2 Шкала длин и времен Колмогорова1.3 Альтернативные определения временной шкалы...
  3. Уравнения Колмогорова Оглавление1 Уравнения Колмогорова1.1 Основы теории вероятностей Колмогорова1.2 Диффузионные и скачкообразные процессы1.3 История и современное использование1.4 Формулировка...
  4. Андрей Колмогоров – Википедия Оглавление1 Андрей Колмогоров1.1 Биография Андрея Николаевича Колмогорова1.2 Научная карьера и достижения1.3 Вклад в математику1.4 Память и...
  5. Доказательная сеть Оглавление1 Защитная сетка1.1 Основы проверочных сеток1.2 История и применение1.3 Критерии корректности1.4 Дополнительные ресурсы1.5 Призыв к действию2...
  6. Асус Оглавление1 Компания Asus1.1 История и развитие компании Asus1.2 Продукция и технологии1.3 Инновации и достижения1.4 Расширение и...
  7. Товары и услуги Товары и услуги Основные экономические понятия Строгость: относится к строгости и суровости в бизнесе.  Бизнес: включает...
  8. Солнечная система Оглавление1 солнечная система1.1 Формирование и эволюция Солнечной системы1.2 Структура и состав Солнечной системы1.3 Орбиты и спутники1.4...
  9. Постиндустриальная экономика Оглавление1 Постиндустриальная экономика1.1 Основные экономические системы1.2 Экономические принципы1.3 Рыночные и социальные аспекты1.4 Экономические модели1.5 Экономические структуры1.6...
  10. Билет (выборы) Оглавление1 Билет (избирательный)1.1 Типы голосования1.2 Особенности избирательного процесса1.3 Типы избирательных систем2 Билет (выборы) — Википедия Билет...
  11. Наследственность – Arc.Ask3.Ru Оглавление1 Наследственность1.1 Наследственность и генетика1.2 Генетическая информация и ДНК1.3 Хромосомы и аллели1.4 Эпигенетическое наследование1.5 Эволюция и...
  12. Наследственность Оглавление1 Наследственность1.1 Наследственность и генетика1.2 Генетическая информация и ДНК1.3 Хромосомы и аллели1.4 Эпигенетическое наследование1.5 Эволюция и...
  13. Локус (журнал) – Википедия Оглавление1 Локус (журнал)1.1 История и миссия журнала “Локус”1.2 Содержание и форматы публикаций1.3 Награды и признание1.4 Текущее...
  14. Бойкот выборов Оглавление1 Бойкот выборов1.1 Основные понятия и виды голосования1.2 Полный текст статьи:2 Бойкот выборов Бойкот выборов Основные...
  15. Колмогоровское пространство – Arc.Ask3.Ru Оглавление1 Пространство Колмогорова1.1 Определение пространства T01.2 Примеры и контрпримеры1.3 Пробелы, равные T0, но не T11.4 Работа...
  16. Ансамблевая интерпретация – Википедия Оглавление1 Ансамблевая интерпретация1.1 Основные интерпретации квантовой механики1.2 Критика и альтернативные подходы1.3 Ансамблевая интерпретация1.4 Дифракция и корпускулярно-волновой...
  17. Страсбургский университет Оглавление1 Страсбургский университет1.1 История и развитие1.2 Структура и кампусы1.3 Известные выпускники и исследователи1.4 Здания и инфраструктура1.5...
  18. Квантовая турбулентность Оглавление1 Квантовая турбулентность1.1 Квантовая турбулентность1.2 Свойства квантовых жидкостей1.3 Сверхтекучесть1.4 Квантованная циркуляция1.5 Свойства вихревых линий1.6 Волны Кельвина...
  19. Лутбокс Оглавление1 Коробка с добычей1.1 Влияние лутбоксов на игровой дизайн1.2 Стимулы для монетизации1.3 Примеры использования лутбоксов1.4 Полный...
  20. Кастовая система в Индии – Arc.Ask3.Ru Оглавление1 Кастовая система в Индии1.1 Кастовая система в Индии1.2 История и развитие1.3 Социальные волнения и изменения1.4...
  21. Римско-католическая архиепископия Монпелье Оглавление1 Римско-католическая архиепархия Монпелье1.1 Перевод статьи1.2 История епархии Монпелье1.3 Первоначальное название и развитие1.4 Политические и религиозные...
  22. Андрей Колмогоров – Википедия Оглавление1 Андрей Колмогоров1.1 Биография Андрея Николаевича Колмогорова1.2 Научная деятельность и достижения1.3 Вклад в математическую логику1.4 Педагогическая...

Оставьте комментарий

Прокрутить вверх