Moderné prístupy vo vzdelávaní IT odborníkov v oblasti Teórie typov

Basic informations

Thematic area: komisia č. 3 pre obsahovú integráciu a diverzifikáciu vysokoškolského štúdia

Project name (Slovak): Moderné prístupy vo vzdelávaní IT odborníkov v oblasti Teórie typov

Project name (English): Modern approaches in educating IT professionals in the field of Type Theory

Start of project: 2025

End of project: 2027

Condition of project: Financovaný/riešený

Project number: 052TUKE-4/2025

Project leader: Ing. Ján Perháč, PhD.

University: Technická univerzita v Košiciach

Department: Fakulta elektrotechniky a informatiky

Project annotation in Slovak language

V tomto projekte sa zameriame na aktualizáciu obsahu a zavedenie moderných prístupov do výučby predmetu Teória typov. Naším hlavným cieľom je zatraktívnenie klasického procesu výučby predmetu, zavedením nových edukačných nástrojov a metód pomocou moderných softvérových riešení. V rámci tohto cieľa vyvinieme softvér, ktorý bude interaktívne, resp. automatizovane emulovať procesy výpočtov prostredníctvom vizualizačných nástrojov simulujúcich klasický postup výpočtu človekom. Zároveň do výučbového procesu zahrnieme využitie interaktívnych dokazovacích systémov, pomocou ktorých je možné modelovať jednotlivé teórie typov, a dokazovať ich vlastnosti prostredníctvom formálnych dôkazov. V rámci čiastkových cieľov sa zameriame na tvorbu webového portálu, aktualizáciu a rozšírenie existujúcich študijných materiálov (učebnica a prednášky). Vypracujeme novú učebnicu venovanú využitiu interaktívnych dokazovacích systémov pre účely preberaných teórií typov. Pripravíme zbierku riešených príkladov a pracovné listy pre laboratórne cvičenia.

Daný predmet je teoretického rázu, v rámci ktorého prebieha výučba klasickou formou. Webový portál predmetu bude obsahovať študijné materiály a vytvorené softvérové riešenia, ktoré pomôžu študentom nie len pri samoštúdiu, ale aj pedagógom vo výučbovom procese. Vytvorený webový portál nájde využitie aj v prípade dištančnej výučby, ktorá je pri tomto type predmetov obzvlášť náročná.

Project annotation in English language

In this project, we will focus on updating the content and introducing modern approaches to the teaching of the Type theory course. Our main goal is to make the classical teaching process more attractive by introducing new educational tools and methods using modern software solutions. Within this goal, we will develop software that will be interactive, or automatically emulate computation processes through visualization tools simulating the computation as it is done by a person. At the same time, we will include in the teaching process the use of interactive proof assistants, where it is possible to model type theories and to prove their properties via formal proofs. Then, we will focus on creating a web portal and updating/expanding existing study materials (a textbook and lectures). We will develop a new textbook dedicated to the use of interactive proof assistants for dedicated to their use in the type theory course. We will prepare a collection of solved examples and worksheets for laboratory exercises.

The given course is theoretical, within which teaching takes place in the classical form. The course's web portal will contain study materials and created software solutions that will help students not only in self-study but also teachers in the teaching process. The created web portal can also be used in the case of distance learning, which is particularly demanding for this type of subject.

Financial grant of MŠVVandŠ SR within KEGA

	Financial grant of MŠVVandŠ SR within KEGA	Capital expenditures in €
Drawn in year 2026	5 945,00	0,00