NotesFAQContact Us
Collection
Advanced
Search Tips
Publication Date
In 20200
Since 20190
Since 2016 (last 5 years)0
Since 2011 (last 10 years)1
Since 2001 (last 20 years)1
Audience
Location
South Korea1
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing one result Save | Export
Peer reviewed Peer reviewed
PDF on ERIC Download full text
Yang, 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