Informatics in Education Logo

INFORMATICS IN EDUCATION
Journal of Eastern and Central Europe

Main Page
Editorial Board
Aims and Scope
Abstracting/Indexing
Submission
Instructions to Authors
Review Form


Contents
Author Index
Papers in Production

INFORMATICS IN EDUCATION

ISSN 1648-5831

© Vilnius University Institute of Mathematics and Informatics

2014, Vol. 13, No. 2
pp. 323-332

DOI: http://dx.doi.org/10.15388/infedu.2014.11

Teaching Some Informatics Concepts
Using Formal System

Sojung YANG, Seongbin PARK1

Department of Computer Science Education, Korea University
Anam-Dong, Sungbuk-Ku, Seoul, 136-701, Korea

Abstract

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???? p?rerequisites 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.

Keywords:

formal system, informatics education.



1Corresponding author


PDFTo preview full article text in PDF format click here

Get Free ReaderYou could obtain free Acrobat Reader from Adobe


TopTop Copyright © INFORMATICS IN EDUCATION
Vilnius University Institute of Mathematics and Informatics, 2014