Algorithmic Education Theory