булевы функции графы дискретная математика комбинаторика конечные автоматы логика высказываний логика предикатов математическая индукция машины Тьюринга множества неразрешимые проблемы регулярные выражения