MODULE «MATHEMATICAL LOGICS» IN THE SYSTEM OF VOCATIONAL TRAINING

V. I. Igoshin

MODULE «MATHEMATICAL LOGICS» IN THE SYSTEM OF VOCATIONAL TRAINING

V. I. Igoshin

Full Text:

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”.

Keywords

meaningful mathematical logics, formal mathematical logics, meaningful axiomatic theories, formal axiomatic theories, Boolean functions, discrete transmitters of information,

About the Author

V. I. Igoshin

Saratov National Research State University named after N.G. Chernyshevsky, Department of Mathematics and Mechanics
Russian Federation

Doctor Pedagogical Sc., Candidate of Physics and Mathematics, Professor at the Chair of Geometry, Faculty of Mathematics and Mechanics at Saratov National Research State University named after N. G. Chernyshevsky,

410056 Saratov, 83 Astrakhanskaya Str. tel.: 8-906-3056444;

References

1. Igoshin V.I. Elementy matematicheskoy logiki. [Elements of mathematical logic]. Moscow, 2016. (In Russian)

2. Igoshin V. I. Matematicheskaya logika i teoriya algoritmov. [Mathematical logic and theory of algorithms]. Moscow, 2010. (In Russian)

3. Igoshin V. I. Matematicheskaya logika. [Mathematical logic]. Moscow, 2012. (In Russian)

4. Igoshin V. I. Teoriya algoritmov. [Theory of algorithms]. Moscow, 2012. (In Russian)

5. Igoshin V. I. Teoriya algoritmov. [Theory of algorithms]. Moscow, 2013. (In Russian)

6. Igoshin V. I. Zadachi i uprazhneniya po matematicheskoy logike i teorii algoritmov. [Problems and exercises on mathematical logic and theory of algorithms]. Moscow, 2008. (In Russian)

7. Igoshin V. I. Sbornik zadach po matematicheskoy logike i teorii algoritmov. [Collection of problems on mathematical logic and theory of algorithms]. Moscow, 2017. (In Russian)

8. Igoshin V. I. Matematicheskaya logika kak pedagogika matematiki. [Mathematical logic as pedagogic of mathematics]. Saratov, 2009. (In Russian)

9. Igoshin V. I. Matematicheskaya logika v obuchenii matematike. Logiko-didakticheskaya podgotovka uchitelia matematiki. [Mathematical logic in teaching mathematics]. Saarbrüken, Deutschland: Palmarium Academic Publishing, 2012. (In Russian)

10. Igoshin V. I. Logika s elementami matematicheskoy logiki. [Logic with elements of mathematical logic]. Saratov, 2004. (In Russian)

11. Igoshin V. I. Didakticheskoe vzaimodeistvie logiki i matematiki. [Didactic interaction of logic and mathematics]. Pedagogika. [Pedagogy]. 2002. № 1. P. 51–55. (In Russian)

Supplementary files

For citation: Igoshin V.I. MODULE «MATHEMATICAL LOGICS» IN THE SYSTEM OF VOCATIONAL TRAINING. Professional education in the modern world. 2017;7(2):1018-1022.

Refbacks

There are currently no refbacks.

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 2224-1841 (Print)

Username
Password