Stretnutia

Druhé stretnutie - 13.11.2023 - 17.10.2023

Členovia tímu z Univerzity v Osle (Eric Bartley Jul, Joachim Tilsted Kristensen, Lars Vadgaard, Michael Kirkedal Thomsen) navštívili Technickú univerzitu v Košiciach.

Členovia tímu sa stretli na pôde Technickej univerzity v Košiciach.

Rozpracovali sme počiatočne navrhnuté výsledky iniciatívy:

Skriptá pre predmet “Programming Language Implementation and Formalisation” vyučovaný na Univerzite v Osle.
Skriptá pre predmet “Logika pre informatikov” vyučovaný na Technickej univerzite v Košiciach.
Webový nástroj “onlineprover.com” na poskytovanie a riešenie úloh v prirodzenej dedukciu (štýl Gentzena).
Prehľadový článok, ktorý analyzuje aktuálny stav takýchto nástrojov.
Užívateľské rozhranie na interakciu s nástrojom vo webovom prehliadači.
Súbor výučbových scenárov, ktoré chceme v budúcej práci vyskúšať.

Prebehla diskusia o prístupoch k výuke relevantných predmetov, čo viedlo k nápadom na zlepšenie výučbového procesu na oboch stranách. Taktiež sa diskutovalo o možnostiach implementácie navrhovaných vylepšení do výučbového procesu. Boli vypracované softvérové požiadavky na navrhovaný vyučovací nástroj.

Vyvinuli sme neformálnu sémantiku pre druhú iteráciu prototypu jazyka DSL, ktorý bude viac podobný implementácii Lex/Yacc s špeciálnym pristupom k pattern matching, a diskutovali sme o užívateľskom rozhraní a navrhli nový dizajn.

Okrem toho tím z UiO poskytol tri pozvane prednášky v predmetoch inžinierskeho stupňa:

Michael Kirkedal Thomsen : Reversible quantum computing (Sémantika programovacích jazykov).
Joachim Tilsted Kristensen : Continuation passing style (Funkcionálne programovanie).
Joachim Tilsted Kristensen : Proofs as programs (Teória typov).

Galéria

Prvé stretnutie - 14.10.2023 - 20.10.2023

Členovia riešiteľského kolektívu Technickej Univerzity v Košiciach v zložení Perháč, Steingartner, Chodarev, Novotný navštívili Univerzitu v Osle.

Členovia tímu sa stretli na univerzite v Osle a začali pracovať na riešení navrhovaných výsledkov iniciatívy. Prebehla diskusia o prístupoch k výučbe relevantných predmetov, z ktorej vzišli nápady ako zlepšiť vyučovací proces na oboch stranách. Boli prediskutované možnosti ako do procesu výučby implementovať navrhované zlepšenia. Boli vypracované softvérové požiadavky navrhovaného vyučovacieho nástroja.

Dosiahnuté výsledky: