Логическое исчисление

Ло́гические исчисле́ния — теория формальных логических вычислений. Эта теория иначе называется ещё математической или формальной логикой.

Исторически логические исчисления были разработаны для теоретической формализации процесса доказательства в различных теориях.

Примерами наиболее часто используемых исчислений являются исчисления высказываний и исчисления предикатов.

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home