Διαδικασίες επίλυσης (υπολογιστικού) προβλήματος