2012. FORMALIZED DISCRETENESS IN MATHEMATICS AS THE BASES OF COMPUTER SCIENCE EDUCATION. Computer Tools in Education. 6 (Dec. 2012).