Computer science (theory notes) edited