Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs.
David MarchantCarl-Johannes JohnsenBrian VinterKenneth SkovhedePublished in: EduHPC@SC (2019)
Keyphrases
- mathematical proofs
- concurrent programming
- computer programming
- introductory programming courses
- programming course
- distributed systems
- programming language
- cooperative
- concurrent execution
- multi agent
- learning process
- pair programming
- introductory programming
- cognitive processes
- teaching materials
- distance learning
- mobile agents
- e learning
- computer science education
- peer to peer
- computer science
- machine learning
- cooperative learning
- theorem prover
- distributed environment
- programming environment
- programming concepts
- higher education
- online learning
- concurrent processes
- computer science curriculum