HISTORICAL AND PHILOSOPHICAL ANALYSIS OF THE DEVELOPMENT OF NON-CLASSICAL DIRECTIONS OF MODERN LOGIC

The creation of individual components of the methodological system for teaching the logical foundations of computer science for students of engineering specialties at pedagogical universities requires, first of all, clarifying the content of this academic discipline. The theoretical foundations of informatics are a rather voluminous section, the foundation of informatics as a science, such sections as coding theory, discrete mathematics, probability theory, optimization theory, mathematical logic and mathematical informatics. The allocation of logical foundations as a separate component of the theoretical foundations of computer science requires a deep and meaningful analysis of those sections that are related and describe the logical foundations of the functioning of computers. To accomplish this task, in addition to analyze the fundamental literature on the theoretical foundations of computer science, philosophical, psychological, pedagogical and educational sources, an important place is occupied by a historical and philosophical analysis of the formation of logic as a science. This will allow a deeper understanding of the prerequisites for the emergence of formal logic and its transformation into mathematical logic, which is now the basis for the functioning of all electronic computing technology.