Use of Web and Mobile Applications as an E-Learning Tool in an International Context

Dragon, Tomáš; Klement, Milan

doi:10.21125/iceri.2020.1828

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

2023

Publication Types

Select...

Other2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Besides that, the COVID-19 pandemic has provided an opportunity to strengthen and to spread digital learning, in last decades with a development of ICT, contemporary education has already started with use of visual applications which facilitate comprehension of the teaching subjects [5,6,7]. Dynamic Geometry Software (DGS) is widely used for visualisation in teaching and learning mathematical topics [8,9,10,11,12].…”

Section: Introductionmentioning

confidence: 99%

Visualization of Formal Semantics - Possibilities of Attracting Formal Methods in Teaching

Steingartner¹,

Jankura²,

Radaković³

2021

Proceedings of the International Scientific Conference - Sinteza 2021

View full text Add to dashboard Cite

The goal of formal semantics of languages is to reveal the nature of a language beneath its syntactic surface. One of the popular and frequently used methods is operational semantics. Its categorical representation using coalgebras is a new approach to semantics. Current trends show that software visualization of various calculations contributes to clarity and easier understanding. To support students' interest in semantic methods, we designed and prepared a software tool whose task is to visualize computations in coalgebraic operational semantics.

show abstract