Логика
(термины на букву М)
К алфавиту
-
м
- Методологические средства повышения степени правдоподобия индуктивных выводов
- Методы решения задачи построения секвенциального исчисления
- Многомерные семантики для полимодальных логик
- Методы доказательства отсутствия у заданного множества пропозициональных формул конечной характеристической матрицы
- Модальность и дескрипции
- Методы анализа смысла и значения выражений языка
- Методы объяснения, предсказания и понимания
- Методы научной индукции
- Метод резолюций
- Модальная логика
- Математическая логика и теория алгоритмов
- Многозначная логика
