Исчисление (Nvcnvlyuny)
Перейти к навигации
Перейти к поиску
В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода).
- Дифференциальное исчисление
- Интегральное исчисление
- Вариационное исчисление
- Многомерное исчисление (анализ функций многих переменных)
Исчисления в математической логике:
- Логическое исчисление (основная статья)
- Исчисление высказываний
- Исчисление предикатов
- Лямбда-исчисление
- Исчисление Ламбека
Литература
[править | править код]- Шиханович Ю.А. Логические и математические исчисления. — М.: Научный мир, 2011. — 256 с.
Примечания
Если вы попали сюда из другой статьи Википедии, пожалуйста, вернитесь и уточните ссылку так, чтобы она указывала на нужную статью.
 | Это заготовка статьи по математике. Помогите Википедии, дополнив её. |
| Элементарная математика | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Основания математики | |||||||||||
| |||||||||||
| |||||||||||
| |||||||||||
