FORMALIZED DISCRETENESS IN MATHEMATICS AS THE BASES OF COMPUTER SCIENCE EDUCATION

Abstract

Revolutionary trends of the XXth century in mathematics formalization are mentioned. The influence of computer science upon the teaching of some formalized mathematical themes to the computer science students is specified. Desirable changes of mathematical courses for computer science students are offered. Speciality and direction «Mathematical support and administration of information systems» developed and implemented, first of all, by the professors of faculty of mathematics and mechanics of St. Petersburg State University are described. Some text-books describing the author’s experience in the teaching of some formalized mathematical themes to the computer science students are listed.