Теоретическая информатика Щелкунов Д А Теоретическая информатика Примеры полных систем функций