Hledat
Zobrazují se záznamy 1-1 z 1
Strojové ověření Rose-Rosserova důkazu úplnosti Łukasiewiczovy výrokové logiky, Automated proof-checking of the Rose-Rosser's proof of completeness of Łukasiewicz propositional logic
; Vedoucí práce: Lávička Tomáš; Oponent práce: Cerna David M. (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-05-28)
Tato práce se zabývá formalizací základů Łukasiewiczovy logiky a strojovým ověřením větší části prvního známého důkazu její úplnosti, t.j. za prvé ověřením celkem 23 lemmat s rozsáhlými syntaktickými důkazy, za druhé ...