Логические и эвристические методы решения задач