Темы

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

Mathematical Logic · 117 статей

  1. Неклассические логики: обзор и классификации

    Неклассические логики: альтернативные формальные системы, расширяющие и изменяющие стандартную логику. Обзор, применение в философии и IT.

    #368230 · 2 мин чтения

  2. Логическая форма высказывания: определение и значение

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

    #378140 · 1 мин чтения

  3. Дефинитно-клаузные грамматики: история и применение в Prolog.

    Дефинитные клаузные грамматики (DCG) в Prolog: синтаксис, связь с атрибутными грамматиками и логическим программированием. Особенности и применение DCG.

    #378523 · 5 мин чтения

  4. Теория в математической логике: определения и свойства.

    Теория в математической логике: определения, аксиомы, теоремы и дедуктивные системы. Понимание формальных языков и логических выводов.

    #388793 · 5 мин чтения

  5. Дов Габбай: Израильский логик и основатель научных направлений

    Дов Габбай – израильский логик, профессор Кингс-Колледжа. Автор сотен научных работ и редактор авторитетных справочников по логике, ИИ и компьютерным наукам.

    #398999 · 3 мин чтения

  6. Марковские логические сети: Основы и применение

    Марковские логические сети (MLN): вероятностная логика для статистического обучения. Определение распределений вероятностей, формулы первого порядка, веса.

    #399610 · 2 мин чтения

  7. Эпистемическая модальная логика: история и современные направления.

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

    #408657 · 7 мин чтения

  8. Модальные операторы в логике: типы, свойства и применение.

    Модальные операторы в логике: определение, свойства (неистинофункциональность, чувствительность к мирам), выражение модальных отношений (необходимость, возможность).

    #409036 · 2 мин чтения

  9. Неклассические логики: отклоняющиеся, квази-отклоняющиеся и расширенные системы

    Неклассическая логика: отклоняющаяся логика, отличная от классической. Сохраняет синтаксис, но меняет теоремы. Различные типы и отличия от классики.

    #425692 · 2 мин чтения

  10. Стабильные модели и семантика отрицания в логическом программировании.

    Стабильные модели (answer sets) в логическом программировании: семантика отрицания, немонотонное рассуждение, автоэпистемическая логика и логика по умолчанию.

    #430823 · 6 мин чтения

  11. Логическое программирование с ограничениями и задачами об удовлетворимости

    Логическое программирование с ограничениями: расширение логического программирования концепциями решения ограничений. Ограничения в теле правил и запросах.

    #432355 · 15 мин чтения

  12. Jape: Графический помощник для доказательства теорем в математической логике.

    Jape – графический помощник для доказательства теорем, разработанный для обучения математической логике. Бесплатная программа на Java для Mac, Unix, Windows.

    #449845 · 1 мин чтения

  13. Головоломка MU: Самореференция и Невозможность Доказательства в Системе MIU

    Головоломка MU из книги "Гёдель, Эшер, Бах": формальная система MIU, правила вывода, свойства строк. Исследование логики и самореференции.

    #451752 · 3 мин чтения

  14. Логические клаузы: определение и свойства

    Логические клаузы: определение, типы (дизъюнктивные и конъюнктивные), структура и примеры. Основы логики и формулы в информатике и математике.

    #453687 · 1 мин чтения

  15. F-logic

    #465172 · 2 мин чтения

  16. Knowledge Interchange Format

    #496754 · 1 мин чтения

  17. Implicational propositional calculus

    #508810 · 1 мин чтения