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