The study of algorithms is the study of methods for solving problems on a computer.
The past is always tense, the future perfect.
宁可信他有,不可信他没有。