Wprowadzenie do metod programowania symbolicznego