Типы и методы формализации: всё, что нужно знать