Teaching Theory of Programming: Methodology and Basic Notions
DOI:
https://doi.org/10.14308/ite000026Abstract
An idea of including into computing curricula an integral course “Theory of Programming” is proposed. Its main methodological aspects and basic notions are discussed. Such an approach leads to a simple structure of the course, its integrity with such programming related courses as mathematical logic and computability theory.
Downloads
Metrics
PDF views
References
<uk>
1. Computing Curricula 2001, Computer Science.– IEEE Computer Society Press and ACM Press, December 15, 2001.– 236 p.
2. Nikitchenko N.S. A Composition Nominative Approach to Program Semantics.– Technical Report IT-TR: 1998-020.– Technical University of Denmark.– 1998.– 103 p.
3. Nikitchenko N.S. Abstract Computability of Non-deterministic Programs over Various Data Structures // Perspectives of System Informatics (Proc. of Andrei Ershov Fourth Int. Conf.).– Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2001.– P. 246–251.
4. Nikitchenko N.S., Shkilniak S.S. Basics of Mathematical Logic.– Kiev university¬, 2006. – 246 p. (In Ukrainian)
</uk>
<en>
1. Computing Curricula 2001, Computer Science.– IEEE Computer Society Press and ACM Press, December 15, 2001.– 236 p.
2. Nikitchenko N.S. A Composition Nominative Approach to Program Semantics.– Technical Report IT-TR: 1998-020.– Technical University of Denmark.– 1998.– 103 p.
3. Nikitchenko N.S. Abstract Computability of Non-deterministic Programs over Various Data Structures // Perspectives of System Informatics (Proc. of Andrei Ershov Fourth Int. Conf.).– Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2001.– P. 246–251.
4. Nikitchenko N.S., Shkilniak S.S. Basics of Mathematical Logic.– Kiev university¬, 2006. – 246 p. (In Ukrainian)
</en>
1. Computing Curricula 2001, Computer Science.– IEEE Computer Society Press and ACM Press, December 15, 2001.– 236 p.
2. Nikitchenko N.S. A Composition Nominative Approach to Program Semantics.– Technical Report IT-TR: 1998-020.– Technical University of Denmark.– 1998.– 103 p.
3. Nikitchenko N.S. Abstract Computability of Non-deterministic Programs over Various Data Structures // Perspectives of System Informatics (Proc. of Andrei Ershov Fourth Int. Conf.).– Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2001.– P. 246–251.
4. Nikitchenko N.S., Shkilniak S.S. Basics of Mathematical Logic.– Kiev university¬, 2006. – 246 p. (In Ukrainian)
</uk>
<en>
1. Computing Curricula 2001, Computer Science.– IEEE Computer Society Press and ACM Press, December 15, 2001.– 236 p.
2. Nikitchenko N.S. A Composition Nominative Approach to Program Semantics.– Technical Report IT-TR: 1998-020.– Technical University of Denmark.– 1998.– 103 p.
3. Nikitchenko N.S. Abstract Computability of Non-deterministic Programs over Various Data Structures // Perspectives of System Informatics (Proc. of Andrei Ershov Fourth Int. Conf.).– Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2001.– P. 246–251.
4. Nikitchenko N.S., Shkilniak S.S. Basics of Mathematical Logic.– Kiev university¬, 2006. – 246 p. (In Ukrainian)
</en>
Downloads
Published
07.05.2008
How to Cite
Nikitchenko, M. (2008). Teaching Theory of Programming: Methodology and Basic Notions. Journal of Information Technologies in Education (ITE), (2), 016–021. https://doi.org/10.14308/ite000026
Issue
Section
Articles
License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
