These formal terms are manipulated by the rules of mathematics and logic, and any results are interpreted or translated back into the problem domain.
Αυτές οι τυπικές έννοιες καθορίζονται από τους κανόνες των μαθηματικών και της λογικής, και τα τυχόν αποτελέσματα ερμηνεύονται ή μεταφράζονται πίσω στο κύριο πρόβλημα.