Исчисление
Материал из Википедии — свободной энциклопедии
В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода).
Исчисления в математической логике:
- Логическое исчисление (основная статья)
- Исчисление высказываний
- Исчисление предикатов
- Лямбда-исчисление
- Исчисление Ламбека
Если вы попали сюда по ссылке из другой статьи Википедии, пожалуйста, вернитесь к ней и поправьте ссылку так, чтобы она указывала прямо на нужную статью.
