دورية أكاديمية
Teaching Some Informatics Concepts Using Formal System
العنوان: | Teaching Some Informatics Concepts Using Formal System |
---|---|
اللغة: | English |
المؤلفون: | Yang, Sojung, Park, Seongbin |
المصدر: | Informatics in Education. 2014 13(2):323-332. |
الإتاحة: | Vilnius University Institute of Mathematics and Informatics, Lithuanian Academy of Sciences. Akademjos str. 4, Vilnius LT 08663 Lithuania. Tel: +37-5-21-09300; Fax: +37-5-27-29209; e-mail: info@mii.vu.lt; Web site: http://www.mii.lt/informatics_in_education/ |
Peer Reviewed: | Y |
Page Count: | 10 |
تاريخ النشر: | 2014 |
نوع الوثيقة: | Journal Articles Reports - Descriptive |
Education Level: | Higher Education Postsecondary Education |
Descriptors: | Information Science, Teaching Methods, Inferences, Validity, Mathematical Logic, Mathematics, Higher Education, Computer Science Education, Foreign Countries, Computation, Models, Programming, College Students, Student Attitudes |
مصطلحات جغرافية: | South Korea |
تدمد: | 1648-5831 |
مستخلص: | 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. |
Abstractor: | As Provided |
Number of References: | 23 |
Entry Date: | 2015 |
رقم الأكسشن: | EJ1064315 |
قاعدة البيانات: | ERIC |
تدمد: | 1648-5831 |
---|