Список формальных систем
Это список формальных систем , также известных как логические исчисления.
Математический [ править ]
- Функциональное исчисление — способ применения к операторам различных типов функций.
- Матричное исчисление , специализированное обозначение исчисления многих переменных над пространствами матриц.
- Теневое исчисление , комбинаторика некоторых операций над многочленами.
- Векторное исчисление (также называемое векторным анализом), включающее специализированные обозначения для многовариантного анализа векторов в пространстве внутреннего продукта.
Логично [ править ]
- Исчисление предикатов , определяет правила вывода, управляющие логикой предикатов.
- Исчисление высказываний определяет правила вывода, управляющие логикой предложений.
В теоретической информатике ( Формальный язык ) [ править ]
- Модальное μ-исчисление , общая темпоральная логика, используемая формальными методами проверки, такими как проверка модели.
- Лямбда-исчисление — формулировка теории рефлексивных функций, имеющая глубокую связь с теорией вычислений.
- Каппа-исчисление , переформулировка фрагмента первого порядка типизированного лямбда-исчисления.
- Ро-исчисление , представленное как общее средство единой интеграции переписывания в лямбда-исчисление.
- Исчисление процессов , набор подходов к формулированию формальных моделей параллельных систем.
- Эмбиентное исчисление — семейство моделей параллельных систем, основанное на концепции мобильности агентов.
- Присоединяйтесь к исчислению , теоретической модели проектирования языков распределенного программирования.
- π-исчисление — формулировка теории параллельных взаимодействующих процессов, изобретенная Робином Милнером.
- Реляционное исчисление , исчисление для реляционной модели данных
- Реляционное исчисление предметной области
- Исчисление кортежей , вдохновившее язык SQL
- Уточняющее исчисление — способ преобразования моделей программ в эффективные программы.
системы формальные Другие
- Формальная этика - формальная логическая система для описания и оценки «формы», а не «содержания» этических принципов.
Музыка – это тоже формальная система. Пожалуйста, попросите редакторов прояснить этот вопрос.
См. также [ править ]
- Формальная система - математическая модель для систем вывода или доказательства.
- Вычислимость: формальные модели.
- Модель вычислений - математическая модель, описывающая, как вычисляется выходной сигнал функции с учетом входных данных.
- Исчисление (значения)