首页 > 最新文献

Central-European Journal of New Technologies in Research, Education and Practice最新文献

英文 中文
Chatbot Development using APIs and Integration into the MOOC 聊天机器人开发使用api和集成到MOOC
Pub Date : 2023-05-09 DOI: 10.36427/cejntrep.5.1.5041
Kovan Mzwri, M. Turcsányi-Szabó
In recent years, chatbot technologies have evolved into modern information and communication technology applications that perform many virtual tasks, including learning. One of the challenges in improving the chatbot is the insufficient knowledge base of chatbots, including education-oriented conversational agents, the challenges in connecting the chatbot with course content on Massive Open Online Course platforms. In this study, a chatbot was developed to answer questions using publicly available technologies, specifically Application Program Interfaces (APIs) that promise convenient user accessibility via APIs, such as the Facebook Messenger platform along with wit.ai API, Canvas MOOC API, and Wikipedia API. API technologies were used to connect the chatbot to selected course content on the MOOC platform as well as to large knowledge bases such as Wikipedia to expand the knowledge base of the Conversational Agent. The course selected for the chatbot integration was on general informatics topics. Most course participants interacted with the chatbot via the Facebook Messenger platform using their handheld devices. Thus, integrating the chatbot into a widely used platform such as Facebook Messenger is a convenient and effective way for reaching learners. The API technology enabled an efficient connection between the chatbot and third-party apps, including the Messenger app, wit.ai, Canvas MOOC, and Wikipedia. This was due to the variety, richness, manipulation capabilities, and format of data that an API can transfer. In addition, the Wikipedia API seemed to be a vast source of information for expanding the chatbot's knowledge base. Not all of the queries posed to the chatbot were part of the course content. Some participants questioned the personality of the chatbot and were curious about the persona of the conversational agent. This suggests that a chatbot that has been endowed with some personality traits is stimulating and more likely to be accepted by learners.
近年来,聊天机器人技术已经发展成为现代信息和通信技术应用,可以执行包括学习在内的许多虚拟任务。改进聊天机器人的挑战之一是聊天机器人的知识库不足,包括面向教育的会话代理,以及将聊天机器人与大规模开放在线课程平台上的课程内容连接起来的挑战。在这项研究中,开发了一个聊天机器人来回答问题,使用公开可用的技术,特别是应用程序编程接口(api),承诺通过api方便用户访问,如Facebook Messenger平台和wit。ai API、Canvas MOOC API和Wikipedia API。使用API技术将聊天机器人与MOOC平台上选定的课程内容以及维基百科等大型知识库连接起来,以扩展会话代理的知识库。为聊天机器人集成选择的课程是一般信息学主题。大多数课程参与者使用手持设备通过Facebook Messenger平台与聊天机器人进行互动。因此,将聊天机器人集成到一个广泛使用的平台,如Facebook Messenger,是一种方便有效的接触学习者的方式。API技术使聊天机器人与第三方应用程序(包括Messenger应用程序)之间的有效连接成为可能。ai、Canvas MOOC和维基百科。这是由于API可以传输的数据的多样性、丰富性、操作能力和格式。此外,维基百科的API似乎是扩展聊天机器人知识库的巨大信息来源。并非向聊天机器人提出的所有问题都是课程内容的一部分。一些参与者质疑聊天机器人的个性,并对对话代理的角色感到好奇。这表明,一个被赋予某些个性特征的聊天机器人是令人兴奋的,更有可能被学习者接受。
{"title":"Chatbot Development using APIs and Integration into the MOOC","authors":"Kovan Mzwri, M. Turcsányi-Szabó","doi":"10.36427/cejntrep.5.1.5041","DOIUrl":"https://doi.org/10.36427/cejntrep.5.1.5041","url":null,"abstract":"\u0000In recent years, chatbot technologies have evolved into modern information and communication technology applications that perform many virtual tasks, including learning. One of the challenges in improving the chatbot is the insufficient knowledge base of chatbots, including education-oriented conversational agents, the challenges in connecting the chatbot with course content on Massive Open Online Course platforms. In this study, a chatbot was developed to answer questions using publicly available technologies, specifically Application Program Interfaces (APIs) that promise convenient user accessibility via APIs, such as the Facebook Messenger platform along with wit.ai API, Canvas MOOC API, and Wikipedia API. API technologies were used to connect the chatbot to selected course content on the MOOC platform as well as to large knowledge bases such as Wikipedia to expand the knowledge base of the Conversational Agent. The course selected for the chatbot integration was on general informatics topics. Most course participants interacted with the chatbot via the Facebook Messenger platform using their handheld devices. Thus, integrating the chatbot into a widely used platform such as Facebook Messenger is a convenient and effective way for reaching learners. The API technology enabled an efficient connection between the chatbot and third-party apps, including the Messenger app, wit.ai, Canvas MOOC, and Wikipedia. This was due to the variety, richness, manipulation capabilities, and format of data that an API can transfer. In addition, the Wikipedia API seemed to be a vast source of information for expanding the chatbot's knowledge base. Not all of the queries posed to the chatbot were part of the course content. Some participants questioned the personality of the chatbot and were curious about the persona of the conversational agent. This suggests that a chatbot that has been endowed with some personality traits is stimulating and more likely to be accepted by learners. \u0000","PeriodicalId":355843,"journal":{"name":"Central-European Journal of New Technologies in Research, Education and Practice","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123893708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Educational Issues Raised by the Availability of the Quantum Computer 量子计算机的可用性引起的教育问题
Pub Date : 2023-05-09 DOI: 10.36427/cejntrep.5.1.5051
Ferenc Koczka, C. Prantner, C. Biró
The development of quantum computers is bringing major changes to the IT sector. These computers, based on completely new principles, can provide effective solutions to previously unsolvable problems. Regulations have already been introduced in the European Union and Hungarian law to confirm that we are getting closer to the era of quantum computers. Therefore, we believe that education and teachers should follow the development of these machines so that future students in the field of information technology, whether they are IT teachers, physicists, or programmers, are not caught unawares. In this article, we present some examples from abroad where quantum computing topics are already included at certain levels of education.
量子计算机的发展正在给IT行业带来重大变化。这些基于全新原理的计算机可以为以前无法解决的问题提供有效的解决方案。欧盟和匈牙利法律已经引入了相关规定,以确认我们正在接近量子计算机的时代。因此,我们认为教育和教师应该跟随这些机器的发展,这样信息技术领域的未来学生,无论是IT教师、物理学家还是程序员,都不会措手不及。在本文中,我们提供了一些来自国外的例子,其中量子计算主题已经包含在某些教育级别中。
{"title":"Educational Issues Raised by the Availability of the Quantum Computer","authors":"Ferenc Koczka, C. Prantner, C. Biró","doi":"10.36427/cejntrep.5.1.5051","DOIUrl":"https://doi.org/10.36427/cejntrep.5.1.5051","url":null,"abstract":"The development of quantum computers is bringing major changes to the IT sector. These computers, based on completely new principles, can provide effective solutions to previously unsolvable problems. Regulations have already been introduced in the European Union and Hungarian law to confirm that we are getting closer to the era of quantum computers. Therefore, we believe that education and teachers should follow the development of these machines so that future students in the field of information technology, whether they are IT teachers, physicists, or programmers, are not caught unawares. In this article, we present some examples from abroad where quantum computing topics are already included at certain levels of education.","PeriodicalId":355843,"journal":{"name":"Central-European Journal of New Technologies in Research, Education and Practice","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125655216","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Talent Targeting at secondary school – Pilot Study 中学人才定位——试点研究
Pub Date : 2023-05-09 DOI: 10.36427/cejntrep.5.1.5112
P. Sarmasági
All students have the right to an education that is appropriate to their ability, but this is not the case in practice, either at home or internationally. Public education focuses on the middle of the Gaussian curve, and deviating from it in either direction is unfortunate, especially for students with a talent for computer science. The first step in providing the right level of education and talent management is to identify the students concerned. To support this aim, the article presents a complex approach used in business. The identification of the target group, its dynamic management, and the organization of the necessary measurements into a coherent concept form the theoretical background of an ongoing experiment.
所有的学生都有权接受适合他们能力的教育,但在实践中,无论是在国内还是在国际上,情况并非如此。公共教育关注的是高斯曲线的中间部分,无论向哪个方向偏离都是不幸的,尤其是对那些有计算机科学天赋的学生来说。提供适当水平的教育和人才管理的第一步是确定相关的学生。为了支持这一目标,本文介绍了一种在业务中使用的复杂方法。确定目标群体,对其进行动态管理,并将必要的测量组织成一个连贯的概念,构成了正在进行的实验的理论背景。
{"title":"Talent Targeting at secondary school – Pilot Study","authors":"P. Sarmasági","doi":"10.36427/cejntrep.5.1.5112","DOIUrl":"https://doi.org/10.36427/cejntrep.5.1.5112","url":null,"abstract":"All students have the right to an education that is appropriate to their ability, but this is not the case in practice, either at home or internationally. Public education focuses on the middle of the Gaussian curve, and deviating from it in either direction is unfortunate, especially for students with a talent for computer science. The first step in providing the right level of education and talent management is to identify the students concerned. To support this aim, the article presents a complex approach used in business. The identification of the target group, its dynamic management, and the organization of the necessary measurements into a coherent concept form the theoretical background of an ongoing experiment.","PeriodicalId":355843,"journal":{"name":"Central-European Journal of New Technologies in Research, Education and Practice","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131845071","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
SWOT Assessment Usage in School Talent Management SWOT评估在学校人才管理中的应用
Pub Date : 2021-08-15 DOI: 10.36427/CEJNTREP.3.2.1355
P. Sarmasági
Talent management is important part of human resource management in business world. There are two frequently used tools that supports talent management. DISC assessment is the leading personality assessment tool in the business world that helps improve work efficiency, team work, and workplace communication. This knowledge can aid teacher to find the best possible way to communicate with students. SWOT analysis is a popular marketing tool that often use as personal develop tool. These can be particularly useful in talent development at secondary school. This research presents a possible application of the DISC and SWOT tools in secondary education.
人才管理是企业人力资源管理的重要组成部分。有两种常用的工具支持人才管理。DISC评估是商业领域领先的人格评估工具,有助于提高工作效率、团队合作和工作场所沟通。这些知识可以帮助老师找到与学生沟通的最佳方式。SWOT分析是一种流行的营销工具,经常被用作个人发展工具。这对中学的人才培养尤其有用。本研究提出了DISC和SWOT工具在中学教育中的可能应用。
{"title":"SWOT Assessment Usage in School Talent Management","authors":"P. Sarmasági","doi":"10.36427/CEJNTREP.3.2.1355","DOIUrl":"https://doi.org/10.36427/CEJNTREP.3.2.1355","url":null,"abstract":"Talent management is important part of human resource management in business world. There are two frequently used tools that supports talent management. DISC assessment is the leading personality assessment tool in the business world that helps improve work efficiency, team work, and workplace communication. This knowledge can aid teacher to find the best possible way to communicate with students. SWOT analysis is a popular marketing tool that often use as personal develop tool. These can be particularly useful in talent development at secondary school. This research presents a possible application of the DISC and SWOT tools in secondary education.","PeriodicalId":355843,"journal":{"name":"Central-European Journal of New Technologies in Research, Education and Practice","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121599708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
The Role of Variable in Programming: Examples and Methodology 变量在程序设计中的作用:例子和方法
Pub Date : 2021-08-15 DOI: 10.36427/CEJNTREP.3.2.1436
Gábor Törley, László Zsakó
One of the hardest notions to define in programming is the variable and the related command of assignment. In our opinion, it is exactly these difficulties that are responsible for the reluctance towards programming. The reason for this, according to us and others [7], is the multifunctional nature of the variable: it can be used for various purposes. Its concept “in our heads” and in the programming languages is markedly different in this respect.
在编程中最难定义的概念之一是变量和相关的赋值命令。在我们看来,正是这些困难导致了人们不愿意编程。根据我们和其他人[7]的说法,其原因是变量的多功能性质:它可以用于各种目的。它的概念“在我们的头脑中”和在编程语言中在这方面是明显不同的。
{"title":"The Role of Variable in Programming: Examples and Methodology","authors":"Gábor Törley, László Zsakó","doi":"10.36427/CEJNTREP.3.2.1436","DOIUrl":"https://doi.org/10.36427/CEJNTREP.3.2.1436","url":null,"abstract":"One of the hardest notions to define in programming is the variable and the related command of assignment. In our opinion, it is exactly these difficulties that are responsible for the reluctance towards programming. The reason for this, according to us and others [7], is the multifunctional nature of the variable: it can be used for various purposes. Its concept “in our heads” and in the programming languages is markedly different in this respect.","PeriodicalId":355843,"journal":{"name":"Central-European Journal of New Technologies in Research, Education and Practice","volume":"178 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133501109","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Curricula and methods on teaching different aspects of agile software development 讲授敏捷软件开发各个方面的课程和方法
Pub Date : 2021-08-15 DOI: 10.36427/CEJNTREP.3.2.2378
Eniko Ilyés
Agile methodologies are the most commonly used software development methodologies nowadays. For this reason, education of software engineering should include this topic at universities. However, the educational method of this topic has still open questions. Higher education lacks traditional curricula and methods in teaching agile software development. Agile methodologies are based on collaboration and interaction. For this reason, high level teaching of agile methodologies requires not only teaching of theory and practice, but also development of soft skills and of an appropriate set of values. We need to find teaching methods that can develop students in all four aspects: theory, practice, skills, values. This article presents methods for developing all four aspects of agile methodologies. In addition, by describing five different course curricula, it proves these methods can be effectively incorporated into classic university courses.
敏捷方法是当今最常用的软件开发方法。由于这个原因,软件工程的教育应该在大学里包括这个主题。然而,这一课题的教育方法仍然存在着开放性的问题。高等教育缺乏传统的敏捷软件开发课程和方法。敏捷方法是基于协作和交互的。因此,高水平的敏捷方法教学不仅需要教授理论和实践,还需要培养软技能和一套合适的价值观。我们需要找到能够在理论、实践、技能和价值观四个方面培养学生的教学方法。本文介绍了开发敏捷方法的所有四个方面的方法。此外,通过对五种不同的课程设置的描述,证明了这些方法可以有效地融入到经典的大学课程中。
{"title":"Curricula and methods on teaching different aspects of agile software development","authors":"Eniko Ilyés","doi":"10.36427/CEJNTREP.3.2.2378","DOIUrl":"https://doi.org/10.36427/CEJNTREP.3.2.2378","url":null,"abstract":"Agile methodologies are the most commonly used software development methodologies nowadays. For this reason, education of software engineering should include this topic at universities. However, the educational method of this topic has still open questions. Higher education lacks traditional curricula and methods in teaching agile software development. \u0000Agile methodologies are based on collaboration and interaction. For this reason, high level teaching of agile methodologies requires not only teaching of theory and practice, but also development of soft skills and of an appropriate set of values. We need to find teaching methods that can develop students in all four aspects: theory, practice, skills, values. This article presents methods for developing all four aspects of agile methodologies. In addition, by describing five different course curricula, it proves these methods can be effectively incorporated into classic university courses.","PeriodicalId":355843,"journal":{"name":"Central-European Journal of New Technologies in Research, Education and Practice","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122346829","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Possibilities of SimulatingRobot Generationsin Public Education 公共教育中模拟机器人世代的可能性
Pub Date : 2021-08-15 DOI: 10.36427/CEJNTREP.3.2.1469
Andor Abonyi-Tóth
An important part of teaching robotics is describing different robot generations, which represent the characteristic stages of technological development. These generations are also identifiable in case of educational robots. The categories refer to the tasks and problems which can be solved with a given robot. However, the development of robot generations can also be presented to students with the help of algorithmization and coding tasks which simulate the behaviour of robots in a programming environment. These activities can prepare students to work with real educational robots or complement the activities they do with them. This article summarizes the opportunities and advantages of the simulation of robot generations, and shows a concrete example of their implementation.
机器人教学的一个重要部分是描述不同时代的机器人,它们代表了技术发展的不同阶段。在教育机器人的情况下,这几代人也可以识别出来。类别是指一个给定的机器人可以解决的任务和问题。然而,机器人世代的发展也可以在算法和编码任务的帮助下呈现给学生,这些任务模拟了机器人在编程环境中的行为。这些活动可以让学生为与真正的教育机器人一起工作做好准备,或者补充他们与机器人一起进行的活动。本文总结了代机器人仿真的机遇和优势,并给出了代机器人仿真实现的具体实例。
{"title":"Possibilities of SimulatingRobot Generationsin Public Education","authors":"Andor Abonyi-Tóth","doi":"10.36427/CEJNTREP.3.2.1469","DOIUrl":"https://doi.org/10.36427/CEJNTREP.3.2.1469","url":null,"abstract":"An important part of teaching robotics is describing different robot generations, which represent the characteristic stages of technological development. These generations are also identifiable in case of educational robots. The categories refer to the tasks and problems which can be solved with a given robot. However, the development of robot generations can also be presented to students with the help of algorithmization and coding tasks which simulate the behaviour of robots in a programming environment. These activities can prepare students to work with real educational robots or complement the activities they do with them. This article summarizes the opportunities and advantages of the simulation of robot generations, and shows a concrete example of their implementation.","PeriodicalId":355843,"journal":{"name":"Central-European Journal of New Technologies in Research, Education and Practice","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127948060","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
How Students Perceive Online Teaching IT Subjects within the MS Teams Environment 学生如何看待MS团队环境下的在线教学IT科目
Pub Date : 2021-03-08 DOI: 10.36427/CEJNTREP.3.1.1192
M. Misut, Maria Misutova
The presented research had two primary goals. The first goal was to find out what is the attitude of students to lectures and exercises conducted through the MS Teams application. Students’ attitudes to online teaching were identified by the students’ activity within the subject Modeling of Business Processes and by students’ opinions on the usability and applicability of the acquired knowledge. Another goal of the research was to find out whether gender influences the perception of online teaching by students. The obtained results indicate that the lectures through the MS TEAMS application are more acceptable for students than face-to-face lectures. Also, in such a lecture, students are more active, more often asking the teacher questions. Surprisingly, MS TEAMS exercises are not considered more useful by students than face-to-face exercises. The results further showed that women assigned lower values to most factors than men. The results of the research predict the influence of gender on students’ attitudes to online teaching. It would be necessary to determine further whether the difference between the average values in the group of men and women is statistically significant. This difference can be verified in a larger group of respondents. Therefore, we plan to continue the research.
所提出的研究有两个主要目标。第一个目标是了解学生对通过MS Teams应用程序进行的讲座和练习的态度。学生对在线教学的态度可以通过学生在业务流程建模科目中的活动以及学生对所获得知识的可用性和适用性的看法来确定。研究的另一个目的是发现性别是否会影响学生对在线教学的看法。结果表明,通过MS TEAMS应用程序进行的讲座比面对面的讲座更容易被学生接受。此外,在这样的讲座中,学生更活跃,更经常向老师提问。令人惊讶的是,学生们并不认为MS TEAMS的练习比面对面的练习更有用。结果进一步表明,女性对大多数因素的评价都低于男性。研究结果预测了性别对学生网络教学态度的影响。有必要进一步确定男性和女性组中平均值之间的差异是否具有统计学意义。这种差异可以在更大的受访者群体中得到验证。因此,我们计划继续研究。
{"title":"How Students Perceive Online Teaching IT Subjects within the MS Teams Environment","authors":"M. Misut, Maria Misutova","doi":"10.36427/CEJNTREP.3.1.1192","DOIUrl":"https://doi.org/10.36427/CEJNTREP.3.1.1192","url":null,"abstract":"The presented research had two primary goals. The first goal was to find out what is the attitude of students to lectures and exercises conducted through the MS Teams application. Students’ attitudes to online teaching were identified by the students’ activity within the subject Modeling of Business Processes and by students’ opinions on the usability and applicability of the acquired knowledge. Another goal of the research was to find out whether gender influences the perception of online teaching by students. \u0000The obtained results indicate that the lectures through the MS TEAMS application are more acceptable for students than face-to-face lectures. Also, in such a lecture, students are more active, more often asking the teacher questions. Surprisingly, MS TEAMS exercises are not considered more useful by students than face-to-face exercises. The results further showed that women assigned lower values to most factors than men. The results of the research predict the influence of gender on students’ attitudes to online teaching. It would be necessary to determine further whether the difference between the average values in the group of men and women is statistically significant. This difference can be verified in a larger group of respondents. Therefore, we plan to continue the research.","PeriodicalId":355843,"journal":{"name":"Central-European Journal of New Technologies in Research, Education and Practice","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114343344","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Interactive Teaching of Programming Language Theory with a Proof Assistant 基于证明辅助的程序设计语言理论交互式教学
Pub Date : 2020-04-28 DOI: 10.36427/cejntrep.2.1.470
Péter Bereczky, István Donkó, Dániel Horpácsi, A. Kaposi, D. J. Németh
Teaching of programming language theory has a long track record at ELTE Faculty of Informatics. Traditionally, formal semantics and type systems of programming languages, similarly to other theory-oriented subjects, were taught with the pen and paper method. However, modern proof assistants call for replacing this old-fashioned way of teaching with novel and interactive methods that bring deeper understanding, provide better learning experience and build technical skills in applying formal methods. The authors have launched practice classes for two programming language theory subjects and carefully developed course material based on executable and verifiable definitions formalised in the Coq proof assistant. In this paper, we share our experiences regarding the design and implementation of the new material, we outline the pros and cons of using a proof assistant in the courses, and we describe how the presented method may be adapted to other courses.
ELTE信息学学院的程序设计语言理论教学有着悠久的历史。传统上,编程语言的形式语义和类型系统,与其他面向理论的科目类似,是用纸和笔的方法教授的。然而,现代证明助理要求用新颖和互动的方法取代这种老式的教学方式,这些方法能带来更深入的理解,提供更好的学习经验,并在应用正式方法时培养技术技能。作者已经为两个编程语言理论科目开设了实践课程,并根据Coq证明助手中形式化的可执行和可验证定义精心开发了课程材料。在本文中,我们分享了我们在设计和实施新材料方面的经验,我们概述了在课程中使用证明助手的优点和缺点,我们描述了如何将所提出的方法适用于其他课程。
{"title":"Interactive Teaching of Programming Language Theory with a Proof Assistant","authors":"Péter Bereczky, István Donkó, Dániel Horpácsi, A. Kaposi, D. J. Németh","doi":"10.36427/cejntrep.2.1.470","DOIUrl":"https://doi.org/10.36427/cejntrep.2.1.470","url":null,"abstract":"Teaching of programming language theory has a long track record at ELTE Faculty of Informatics. Traditionally, formal semantics and type systems of programming languages, similarly to other theory-oriented subjects, were taught with the pen and paper method. However, modern proof assistants call for replacing this old-fashioned way of teaching with novel and interactive methods that bring deeper understanding, provide better learning experience and build technical skills in applying formal methods. The authors have launched practice classes for two programming language theory subjects and carefully developed course material based on executable and verifiable definitions formalised in the Coq proof assistant. In this paper, we share our experiences regarding the design and implementation of the new material, we outline the pros and cons of using a proof assistant in the courses, and we describe how the presented method may be adapted to other courses.","PeriodicalId":355843,"journal":{"name":"Central-European Journal of New Technologies in Research, Education and Practice","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128267897","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Role of Input-Output Management in Programming Education 投入产出管理在程序设计教育中的作用
Pub Date : 2019-08-26 DOI: 10.36427/cejntrep.1.1.385
Győző Horváth
In the introductory programming education, during coding input and output management often suppresses in proportion the essential parts of the code. A novice programmer is essentially given three tasks with the solution of the original problem: reading the input, processing the data and writing the output. This article attempts to explore the role of input and output in the code, and in some cases, how to make them easier to implement.
在编程入门教育中,在编码过程中,输入和输出管理往往按比例压制了代码的基本部分。初级程序员基本上要完成三个任务来解决原始问题:读取输入、处理数据和写入输出。本文试图探讨输入和输出在代码中的作用,以及在某些情况下如何使它们更容易实现。
{"title":"The Role of Input-Output Management in Programming Education","authors":"Győző Horváth","doi":"10.36427/cejntrep.1.1.385","DOIUrl":"https://doi.org/10.36427/cejntrep.1.1.385","url":null,"abstract":"In the introductory programming education, during coding input and output management often suppresses in proportion the essential parts of the code. A novice programmer is essentially given three tasks with the solution of the original problem: reading the input, processing the data and writing the output. This article attempts to explore the role of input and output in the code, and in some cases, how to make them easier to implement.","PeriodicalId":355843,"journal":{"name":"Central-European Journal of New Technologies in Research, Education and Practice","volume":"202 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133914539","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Central-European Journal of New Technologies in Research, Education and Practice
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1