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 |
| _version_ | 1811266631726268416 |
|---|---|
| author | Sojung YANG Seongbin PARK |
| author_facet | Sojung YANG Seongbin PARK |
| author_sort | Sojung YANG |
| collection | DOAJ |
| description | 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 formal system which consists of axioms and inference rules by which theorems can be proved. As is argued in (Dagiene and Jevsikova, 2012), we can introduce important topics in informatics using puzzle-like examples and students do not need to have prerequisites for learning. The materials presented in this paper have been used in a college-level elective class titled Hypertext and Computability in our university since the fall semester of 2008 and we believe that the contents proposed in this paper can be easily used to teach beginner students without technical backgrounds. |
| first_indexed | 2024-04-12T20:46:46Z |
| format | Article |
| id | doaj.art-2efb914398a1482f84dfd2d65634370f |
| institution | Directory Open Access Journal |
| issn | 1648-5831 2335-8971 |
| language | English |
| last_indexed | 2024-04-12T20:46:46Z |
| publishDate | 2014-10-01 |
| publisher | Vilnius University |
| record_format | Article |
| series | Informatics in Education |
| spelling | doaj.art-2efb914398a1482f84dfd2d65634370f2022-12-22T03:17:15ZengVilnius UniversityInformatics in Education1648-58312335-89712014-10-0113232333210.15388/infedu.2014.20Teaching Some Informatics Concepts Using Formal SystemSojung YANG0Seongbin PARK1Department of Computer Science Education, Korea University Anam-Dong, Sungbuk-Ku, Seoul, 136-701, KoreaDepartment of Computer Science Education, Korea University Anam-Dong, Sungbuk-Ku, Seoul, 136-701, KoreaThere 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 formal system which consists of axioms and inference rules by which theorems can be proved. As is argued in (Dagiene and Jevsikova, 2012), we can introduce important topics in informatics using puzzle-like examples and students do not need to have prerequisites for learning. The materials presented in this paper have been used in a college-level elective class titled Hypertext and Computability in our university since the fall semester of 2008 and we believe that the contents proposed in this paper can be easily used to teach beginner students without technical backgrounds.https://infedu.vu.lt/doi/10.15388/infedu.2014.20formal systeminformatics education |
| spellingShingle | Sojung YANG Seongbin PARK Teaching Some Informatics Concepts Using Formal System Informatics in Education formal system informatics education |
| title | Teaching Some Informatics Concepts Using Formal System |
| title_full | Teaching Some Informatics Concepts Using Formal System |
| title_fullStr | Teaching Some Informatics Concepts Using Formal System |
| title_full_unstemmed | Teaching Some Informatics Concepts Using Formal System |
| title_short | Teaching Some Informatics Concepts Using Formal System |
| title_sort | teaching some informatics concepts using formal system |
| topic | formal system informatics education |
| url | https://infedu.vu.lt/doi/10.15388/infedu.2014.20 |
| work_keys_str_mv | AT sojungyang teachingsomeinformaticsconceptsusingformalsystem AT seongbinpark teachingsomeinformaticsconceptsusingformalsystem |