- Логическое исчисление
-
В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена.
Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники.
Эта отметка установлена 13 мая 2011.Ло́гические исчисле́ния — теория формальных логических вычислений. Эта теория иначе называется ещё математической или формальной логикой.
Исторически логические исчисления были разработаны для теоретической формализации процесса доказательства в различных теориях.
Примерами наиболее часто используемых исчислений являются исчисления высказываний и исчисления предикатов.
Категория:- Логика
Wikimedia Foundation. 2010.