Математическая логика и алгоритмизация в управлении качеством

Математическая логика – это логика, развиваемая с помощью математических методов. Предмет математической логики и теории алгоритмов наряду со специальными знаниями описывает взаимосвязи между научным подходом в познании реального мира, логикой и математикой.

Принципиальное значение математической логики – обоснование математики (анализ основ математики).

Прикладное значение математической логики в настоящее время очень велико. Математическая логика применяется для следующих целей:

·      анализа и синтеза (построения) цифровых вычислительных машин и других дискретных автоматов, в том числе и интеллектуальных систем;

·      анализа и синтеза формальных и машинных языков, для анализа естественного языка;

·      анализа и формализации интуитивного понятия вычислимости;

·      выяснения существования механических процедур для решения задач определённого типа;

·      анализа проблем сложности вычислений.