pealkiri
Intuitsionistliku lauseloogika tõestuste otsingu ja kontramudelite ehitamise formaalne verifitseerimine
Formal Verification of Proof Search and Countermodel Construction for Intuitionistic Propositional Logic
autor
Nõojärv, Liisi
märksõnad
intuitsionistlik loogika
tõestusotsing
sekventsiarvutus
tõestusassistendid
magistritööd
intuitionistic logic
proof search
sequent calculus
proof assistants
masters theses
juhendaja
Uustalu, Tarmo
õppekava
Informaatika
Computer Science
kaitsmiskuupäev
05.06.2026
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
infotehnoloogia teaduskond
School of Information Technologies
instituut / kolledž
tarkvarateaduse instituut
Department of Software Science