Навчання теорії програмування: методологія та основні поняття
DOI:
https://doi.org/10.14308/ite000026Анотація
Обгрунтовується включення в навчальні плани курсу “Теорії програмування”. Визначаються його методологічні аспекти та основні поняття. Запропонований підхід призводить до простої структури курсу, його єдності з такими спорідненими дисциплінами як математична логіка та теорія алгоритмів.
Завантаження
Дані завантаження ще не доступні.
Показники метрики:
##plugins.generic.paperbuzz.loading##
Посилання
<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>
##submission.downloads##
Опубліковано
2008-05-07
Як цитувати
Нікітченко M. (2008). Навчання теорії програмування: методологія та основні поняття. Збірник наукових праць "Information Technologies in Education" (ITE), (2), 016–021. https://doi.org/10.14308/ite000026
Номер
Розділ
Articles
Ліцензія
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
