Разрешение неоднозначностей

Исчисление

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

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

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