Subjects in Discipline of Mathematics Of Formal Sciences