Publication Date
| In 2024 | 0 |
| Since 2023 | 0 |
| Since 2020 (last 5 years) | 0 |
| Since 2015 (last 10 years) | 0 |
| Since 2005 (last 20 years) | 1 |
Descriptor
| College Students | 1 |
| Computation | 1 |
| Computer Science Education | 1 |
| Foreign Countries | 1 |
| Higher Education | 1 |
| Inferences | 1 |
| Information Science | 1 |
| Mathematical Logic | 1 |
| Mathematics | 1 |
| Models | 1 |
| Programming | 1 |
| More ▼ | |
Source
| Informatics in Education | 1 |
Author
| Park, Seongbin | 1 |
| Yang, Sojung | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Descriptive | 1 |
Education Level
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
Location
| South Korea | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Download full textYang, Sojung; Park, Seongbin – Informatics in Education, 2014
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…
Descriptors: Information Science, Teaching Methods, Inferences, Validity
