MODULE В«MATHEMATICAL LOGICS» IN THE SYSTEM OF VOCATIONAL TRAINING
V. I. Igoshin
Research State University named after N. G. Chernyshevsky, Saratov, Russian Federation
Keywords: содержательная математическая логика, формальная математическая логика, содержательные аксиоматические теории, формальные аксиоматические теории, булевы функции, дискретные преобразователи информации, meaningful mathematical logics, formal mathematical logics, meaningful axiomatic theories, formal axiomatic theories, Boolean functions, discrete transmitters of information
Abstract
The article focuses on the role of the module on Mathematical logics in fundamentalization of mathematical education of specialists in the field of computer science and information technology who get vocational education. Enormous applied capacities of mathematical logics were revealed only after more than two centuries of this science development in close relation with mathematics development. The author offers to arrange training of Mathematical logics taking into account two sides of the science as with those two sides. These sides imply a theoretical science as a science about the ways and forms of correct thinking and applied science as a tool for designing computers and creating software for them. This approach can be based on the student book prepared by the author of the article “Elements of mathematical logics”
|
