Programming logic and algorithm studies