Browsing Diplomové práce - 14101 by Author "Cerna David M."
Now showing items 1-1 of 1
-
Strojové ověření Rose-Rosserova důkazu úplnosti Łukasiewiczovy výrokové logiky
Author: Jáchym Šimon; Supervisor: Lávička Tomáš; Opponent: 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é ...