Teaching Some Informatics Concepts Using Formal System
There are many important issues in informatics and many agree that algorithms and programming are most important issues that need to be included in informatics education (Dagiene and Jevsikova, 2012). In this paper, we propose how some of these issues can be easily taught using the notion of a forma...
| Published in: | Informatics in Education |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University
2014-10-01
|
| Subjects: | |
| Online Access: | https://infedu.vu.lt/doi/10.15388/infedu.2014.20 |