Навчання теорії програмування: методологія та основні поняття
Анотація
Обгрунтовується включення в навчальні плани курсу “Теорії програмування”. Визначаються його методологічні аспекти та основні поняття. Запропонований підхід призводить до простої структури курсу, його єдності з такими спорідненими дисциплінами як математична логіка та теорія алгоритмів.
Завантаження
Дані завантаження ще не доступні.
##plugins.generic.paperbuzz.metrics##
##plugins.generic.paperbuzz.loading##
Посилання
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)
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)