Using Control Network Programming in teaching nondeterminism
Loading...
Date
2012
Authors
Kostadin Kratchanov
Emilia Golemanova
Tzanko Golemanov
Burcu Külahçioǧlu
Journal Title
Journal ISSN
Volume Title
Publisher
Open Access Color
Green Open Access
Yes
OpenAIRE Downloads
OpenAIRE Views
Publicly Funded
No
BIP! Indicators
Impulse
Average
Influence
Average
Popularity
Average
Abstract
The aim of this series of two reports is to demonstrate that Control Network Programming (CNP) respectively WinSpider can be used as an excellent environment for teaching and learning both nondeterminism and randomization. More specifically the focus is on CNP implemented models and algorithms typically studied in courses on Computation theory and Artificial intelligence for students in computing programs. In this first part only teaching the concept of nondeterminism is discussed, the second report to be published elsewhere is devoted to randomized models and algorithms. Copyright © 2012 ACM. © 2012 Elsevier B.V. All rights reserved.
Description
Keywords
Algorithms, Artificial Intelligence, Cnp, Computation Models, Computation Theory, Control Network Programming, Nondeterminism, Nondeterministic Computation, Teaching Computing, Cnp, Computation Model, Control Network, Non-determinism, Nondeterministic Computation, Algorithms, Artificial Intelligence, Computation Theory, Mathematical Models, CNP, Computation model, Control network, Non-determinism, Nondeterministic computation, Algorithms, Artificial intelligence, Computation theory, Mathematical models, Algorithms, Teaching Computing, CNP, Control Network Programming, Computation Theory, Nondeterministic Computation, Computation Models, Artificial Intelligence, Nondeterminism
Fields of Science
05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0503 education
Citation
WoS Q
Scopus Q
OpenCitations Citation Count
N/A
Source
13th International Conference on Computer Systems and Technologies CompSysTech 2012
Volume
Issue
Start Page
391
End Page
398
Collections
PlumX Metrics
Citations
CrossRef : 1
Scopus : 3
Captures
Mendeley Readers : 6
SCOPUS™ Citations
3
checked on Apr 09, 2026
Google Scholar™
