Bakalárska práca
Eliminácia pravidla rezu v sekventovom kalkule LK^h

Úvod Časový plán Zdroje Vychodiská Prototyp Denník

Časový plán

November

Zoznámenie sa s programovacím jazykom Racket, ktory je založený na programovacom jazyku Scheme a tiež je dialektom Lispu
Zoznámenie sa so sekventovým kalkulom PK
Prezentácia zdrojov

December

Zoznámenie sa s teoriou eliminácie pravidla rezu v PK
Implementácia sekventového kalkulu PK
Písanie východiskovej kapitoly
Práca na prvom prototype

Január

Implementacia eliminácie pravidla rezu v PK a jej následne otestovanie
Zoznámenie sa so sekventovým kalkulom LK a LK^h
Dokončenie východiskovej kapitoly
Dokončenie na prvého prototypu

Február

Implementácia sekventového kalkulu LK^h
Zoznámenie sa s teoriou eliminacie pravidla rezu v LK a LK^h

Marec

Implementácia eliminácie pravidla rezu v LK^h a jej následne otestovanie
Začiatok písania bakalárskej práce

Apríl

Písanie bakalárskej práce

Máj

Odovzdanie bakalárskej práce

Kontakt

V prípade problémov ma kontaktujte na email: shafei2@uniba.sk