Перейти к справке о страницах разрешения неоднозначности
Информационные списки

Исчисление

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода).

Исчисления в математической логике:

Литература[править | править код]

  • Шиханович Ю.А. Логические и математические исчисления. — М.: Научный мир, 2011. — 256 с.
Примечания