Appunti di teoria degli algoritmi