Ontology of Discrete Mathematics in Education (Computer Tools in Education)