Students will get acquainted with the problems of logical semantics and knowledge representation. A fine-grained reprezentation of an expression meaning consists in discovering an algorithmically structured procedure, known as TIL construction, represented by the sense of the expression. This analysis must be precise and rigorous in order to be able to infer relevant consequences from given assumptions. Moreover, the analysis results must be formalized in such a way that they can be processed automatically. The students will learn to solve such problems in a way preventing undesirable paradoxes of analysis. Correct analysis is a necessary condition for valid inferences so that it can serve as a base for a fine-grained knowledge reprezentation in knowledge based systems of artifical intelligence. Moreover, such a TIL construction makes it possible to apply methods of automated translation and communication in multi-agent systems.