Список формальных систем - List of formal systems
Это список формальные системы, также известные как логические исчисления.
Математическая
- Доменное реляционное исчисление, исчисление для реляционной модели данных
- Функциональное исчисление, способ применения к операторам различных типов функций
- Присоединиться к исчислению, теоретическая модель для распределенного программирования
- Лямбда-исчисление, формулировка теории рефлексивных функций, которая имеет глубокие связи с теорией вычислений.
- Матричное исчисление, специализированные обозначения для многомерного исчисления над пространствами матриц
- Модальное μ-исчисление, общая темпоральная логика, используемая формальными методами проверки, такими как проверка модели
- Пи-исчисление, формулировка теории параллельных, взаимодействующих процессов, изобретенная Робином Милнером.
- Исчисление предикатов, определяет правила вывода, управляющие логикой предикатов
- Исчисление высказываний, определяет правила вывода, управляющие логикой предложений
- Исчисление уточнения, способ преобразования моделей программ в эффективные программы
- Rho исчисление, введенный как общее средство для единообразной интеграции переписывания и лямбда-исчисления
- Исчисление кортежей, исчисление для реляционной модели данных, вдохновило язык SQL
- Темное исчисление, комбинаторика некоторых операций над многочленами
- Векторное исчисление (также называемый векторным анализом), включающий специализированные обозначения для многомерного анализа векторов в пространстве внутреннего продукта