Subjects in Discipline of Computer Sciences Of Formal Sciences