Исчисление
В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода).
- Дифференциальное исчисление
- Интегральное исчисление
- Вариационное исчисление
- Многомерное исчисление (анализ функций многих переменных)
Исчисления в математической логике:
- Логическое исчисление (основная статья)
- Исчисление высказываний
- Исчисление предикатов
- Лямбда-исчисление
- Исчисление Ламбека
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.