Teaching some informatics concepts using formal system

Sojung Yang, Seongbin Park

Research output: Contribution to journalArticle

2 Citations (Scopus)

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 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.

Original languageEnglish
Pages (from-to)323-332
Number of pages10
JournalInformatics in Education
Volume13
Issue number2
DOIs
Publication statusPublished - 2014 Jan 1

Fingerprint

Teaching
Students
hypertext
semester
student
programming
Education
university
learning
education

Cite this

Teaching some informatics concepts using formal system. / Yang, Sojung; Park, Seongbin.

In: Informatics in Education, Vol. 13, No. 2, 01.01.2014, p. 323-332.

Research output: Contribution to journalArticle

@article{0131267dad13496ebf265e6400bad43f,
title = "Teaching some informatics concepts using formal system",
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 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.",
keywords = "Formal system, Informatics education",
author = "Sojung Yang and Seongbin Park",
year = "2014",
month = "1",
day = "1",
doi = "10.15388/infedu.2014.11",
language = "English",
volume = "13",
pages = "323--332",
journal = "Informatics in Education",
issn = "1648-5831",
publisher = "Institute of Mathematics and Informatics",
number = "2",

}

TY - JOUR

T1 - Teaching some informatics concepts using formal system

AU - Yang, Sojung

AU - Park, Seongbin

PY - 2014/1/1

Y1 - 2014/1/1

N2 - 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.

AB - 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.

KW - Formal system

KW - Informatics education

UR - http://www.scopus.com/inward/record.url?scp=84910666446&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84910666446&partnerID=8YFLogxK

U2 - 10.15388/infedu.2014.11

DO - 10.15388/infedu.2014.11

M3 - Article

AN - SCOPUS:84910666446

VL - 13

SP - 323

EP - 332

JO - Informatics in Education

JF - Informatics in Education

SN - 1648-5831

IS - 2

ER -