The scientific heritage of the Ukrainian scientist S. Baley is investigated in the field of the
logic. The structure, problems and terminology of the textbook "Essay of Logic" by S. Baley
are analyzed.In the references the author's styleis unchanged with the knowledge that this is
not about the style and grammar, but about the formation and development of the logic in
Ukrainian science.
The development of logical knowledge in Ukraine is based on the work of Professor of
the Kyiv-Mohylyanska Academy, a well-known figure in the Ukrainian spiritual culture of the
late XVII – first half of the XVIII century. The structure, problems and terminology of the
course “Logic” by F. Prokopovich are analyzed.
The development of logical knowledge in Ukraine is based on the work of Professor of the Kyiv-Mohylyanska Academy, a well-known figure in the Ukrainian spiritual culture of the late XVII – first half of the XVIII century. The structure, problems and terminology of the course “Logic” by S. Yavorsky are analyzed.
The user activity for finding informative meaningful objects needed to solve the problem is considered. To formalize this activity, set theory is used. The mathematical models of formulation of request, analysis of the issued documents and selection of information objects for the solution to the user problem are presented. In addition, mathematical models of intellectual activitiesof user and cognitive processes are developed. The experimental results of the search engines such as Google, Yandex, META, Rambler, Yahoo are given.