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

Full description

Bibliographic Details
Published in:	Informatics in Education
Main Authors:	Sojung YANG, Seongbin PARK
Format:	Article
Language:	English
Published:	Vilnius University 2014-10-01
Subjects:	formal system informatics education
Online Access:	https://infedu.vu.lt/doi/10.15388/infedu.2014.20

Similar Items

Designing informatics curriculum for K-12 education: From Concepts to Implementations
by: Valentina DAGIENE, et al.
Published: (2021-09-01)

Biomedical and health informatics teaching in Portugal: Current status
by: Paulo Dias Costa, et al.
Published: (2023-03-01)

INFORMATIZATION OF EDUCATION AND APPLICATION OF ICT FOR IMPROVEMENT OF ITS QUALITY.
by: H. O. Dobroshtan
Published: (2010-06-01)

REFORMING OF EDUCATION AND INFORMATIZATION: MAIN PROBLEMS AND APPROACHES FOR THEIR SOLUTION
by: Anatolii Yu. Pylypchuk
Published: (2010-08-01)

Examiner's Remarks on Informatics Matura Examination in Poland
by: Ewa KOLCZYK
Published: (2009-10-01)

Empowering Healthcare through Comprehensive Informatics Education: The Status and Future of Biomedical and Health Informatics Education
by: Kye Hwa Lee, et al.
Published: (2024-04-01)

Characteristics of the Audit Processes for Distributed Informatics Systems
by: Marius POPA, et al.
Published: (2009-01-01)

International Recommendations on Education in Biomedical and Health Informatics – An Overview
by: John MANTAS
Published: (2023-09-01)

THE SYSTEM OF INFORMATICS COMPETENCIES FOR THE MATHEMATICS TEACHER
by: Nadiia Ponomareva
Published: (2020-09-01)

Physical Informatics – Information Methods of Natural Systems Research
by: Igor Gurevich
Published: (2011-10-01)

The issues of the process of education and business informatization
by: Elina A. Gurianova, et al.
Published: (2022-09-01)

PROBLEMS OF CREATION THE MONITORING SYSTEM CONCERNING THE CONDITION OF INFORMATIZATION OF THE GENERAL EDUCATION INSTITUTIONS
by: Valeriy Yu. Bykov, et al.
Published: (2010-08-01)

Interactive game as a means of developing extracurricular activities in informatics
by: Olga Yu. Zaslavskaya
Published: (2019-12-01)

Use of a wiki as an interactive teaching tool in pathology residency education: Experience with a genomics, research, and informatics in pathology course
by: Seung Park, et al.
Published: (2012-01-01)

Biomedical informatics in Switzerland: need for action
by: Christian Lovis, et al.
Published: (2015-06-01)

Teaching Journalism in Ukraine: Between Formal and Non-Formal Education
by: Olena Demchenko
Published: (2018-12-01)

IMIA Accreditation of Health Informatics Programs
by: Arie Hasman, et al.
Published: (2013-09-01)

ANALYSIS OF THE SITUATION OF INFORMATICS TEACHER TRAINING UNDER THE CONDITIONS OF INTRODUCTION OF TEACHING CREDIT-MODULE SYSTEM
by: Oleg M. Spirin
Published: (2010-08-01)

Systems Approach to Scientific Investigation in Informatics
by: Stanislava Mildeová, et al.
Published: (2017-06-01)

Concepciones acerca de la maternidad en la educación formal y no formal
by: Kathia Alvarado Calderón
Published: (2005-06-01)

Numerical Difficulties in Pre-University Informatics Education and Competitions
by: Gyula HORVÁTH, et al.
Published: (2003-10-01)

Automatic generation of learning path for teaching informatics at university
by: Aynur Aliyeva, et al.
Published: (2025-12-01)

Bridging the Informatics Gap between School and University with the InfoSukces Contest
by: Taras PANSKYI, et al.
Published: (2021-09-01)

Pascal as the Driving Force of Informatics Education in Schools in Poland
by: Maciej M. Sysło
Published: (2024-12-01)

What unique knowledge and experiences do healthcare professionals have working in clinical informatics?
by: Sophie Brouat, et al.
Published: (2022-01-01)

Exploring the quantum frontier in school informatics: a pedagogical journey
by: Liudmyla V. Lehka, et al.
Published: (2023-06-01)

Development of a Standardized Curriculum for Nursing Informatics in Korea
by: Myonghwa Park, et al.
Published: (2022-10-01)

A core curriculum for clinical fellowship training in pathology informatics
by: David S McClintock, et al.
Published: (2012-01-01)

General informatics teaching with B-Learning teaching model
by: Nguyen The Dung, et al.
Published: (2018-03-01)

Informatics Open Library: Innovation in Developing Electronic- Service Case Study Departemen Informatics ITS
by: Eva Mursidah, et al.
Published: (2020-10-01)

Pathology informatics essentials for residents: A flexible informatics curriculum linked to accreditation council for graduate medical education milestones
by: Walter H Henricks, et al.
Published: (2016-01-01)

Multi-Sensory Informatics Education
by: Zoltan KATAI, et al.
Published: (2014-10-01)

A Comparative Study of the Clinical Informatics Fellowship Curriculum in Selected Universities of the World
by: Roghayeh Ershad Sarabi, et al.
Published: (2020-12-01)

"FORMAL" AND "NON-FORMAL" EDUCATION IN THE DIFFERENTIATION OF INTRINSIC PROPERTIES
by: Volodymyr Slabko, et al.
Published: (2019-09-01)

Medical Informatics: Concepts and Applications
by: Farzaneh Aminpour
Published: (2004-12-01)

EDUCATION SYSTEM OF UKRAINE AS AN OBJECT OF INFORMATIZATION: STRUCTURE OF THE EDUCATION SYSTEM
by: Anatolii Yu. Pylypchuk
Published: (2010-08-01)

Faculty and Students’ Perspective of Health Informatics Programs in Saudi Arabia
by: Alzghaibi HA
Published: (2023-10-01)

Transaction costs of an organization in the context of informatization of the economy
by: E. A. Gurianova
Published: (2020-12-01)

The DIMBI project – innovative approaches for teaching business informatics
by: Ivan Kuyumdzhiev
Published: (2016-11-01)

Informatization barriers of logistics process management in production company
by: Joanna WALASEK
Published: (2015-09-01)