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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University
2014-10-01
|
| Series: | Informatics in Education |
| Subjects: | |
| Online Access: | https://infedu.vu.lt/doi/10.15388/infedu.2014.20 |