Η ιδιότητα ενός αλγορίθμου να παράγει το σωστό αποτέλεσμα για κάθε έγκυρη είσοδο.

Μια σειρά από βήματα που εκτελούνται για την επίλυση ενός προβλήματος.

Η μελέτη της αποδοτικότητας ενός αλγορίθμου σε σχέση με τον χρόνο και τον χώρο που απαιτείται για την εκτέλεσή του.