Дискретная математика. Формально-логические системы и языки