Počet záznamů: 1
Počítačové dokazování
Údaje o názvu Počítačové dokazování [rukopis] / Filip Tůma Další variantní názvy Počítačové dokazování Osobní jméno Tůma, Filip, (autor diplomové práce nebo disertace) Překl.náz Computer proving Vyd.údaje 2021 Fyz.popis 64 Poznámka Ved. práce Miroslav Kolařík Oponent Jan Laštovička Dal.odpovědnost Kolařík, Miroslav (vedoucí diplomové práce nebo disertace) Laštovička, Jan (oponent) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Klíč.slova dokazovač * rezoluce * logika * prover * resolution * logic Forma, žánr diplomové práce master's theses MDT (043)378.2 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Mgr. Studijní program Navazující Studijní program Informatika Studijní obor Informatika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 00269204-469297077.pdf 15 1.9 MB 07.05.2021 Posudek Typ posudku 00269204-ved-452221733.pdf Posudek vedoucího 00269204-opon-236589256.pdf Posudek oponenta
Práce je zaměřena na počítačové dokazování. Nejprve je čtenář seznámen s úvodními pojmy, poté je představeno několik problémů, které byly dokázány s pomocí počítače. Další část je zaměřena na popis jednotlivých významných dokazovacích systémů, včetně jejich využití v praxi. Na závěr je popsán jednoduchý dokazovací systém, vytvořený jako součást této práce.This thesis is focused on proofs done by computers. First, the reader is acquainted with the introductory concepts, then a few problems proved with the help of computers are introduced. Next part contains description of individual important prooving systems including their use. Finally, a simple proof system created as a part of this work is described.
Počet záznamů: 1