主题词:Computer Science,Discrete Mathematics in Computer Science,Computer System Implementation,Mathematical Logic and Foundations,Probability Theory and Stochastic Processes,Calculus of Variations and Optimal Control,Optimization,Logics and Meanings of Programs