Detail práce

Převod výrazů v C do DIMACS formátu

Diplomová práce Student: Grim Pavel Akademický rok: 2014/2015 Vedoucí: Smrčka Aleš, Ing., Ph.D.
Název anglicky
Translation of C Expressions to DIMACS Format
Jazyk práce
český
Abstrakt

Tato práce se věnuje návrhu převodu výrazů zapsaných v programovacím jazyce C do formátu DIMACS a realizaci programu v jazyce C++ provádějící tento převod. V textu práce se nachází popis programovacího jazy­ka C a jeho operátorů. Dále obsahuje popis konjunktivní normální formy a popis formátu DIMACS. Následuje návrh vytvoření programu pro usku­tečnění převodu z výrazu v programovacím jazyce C do formátu DIMACS a popis realizace programu provádějící tento převod.

Klíčová slova

C, jazyk C, operátory, bitové operátory, celočíselné operátory, výraz, výrazy jazyka C, převod, konverze, konjunktivní normální forma, CNF, DIMACS, DIMACS formát.

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Inteligentní systémy
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
22. června 2015
Oponent
Charvát Lukáš, Ing.
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C

Otázky u obhajoby
  1. Zdůvodněte, proč je ze základních matematických operací vynechána implementace násobení. Naznačte její možné řešení.
Komise
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), předseda
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT), člen
Matoušek Radomil, doc. Ing., Ph.D. (ÚAI FSI VUT), člen
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT), člen
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Španěl Michal, Ing., Ph.D. (UPGM FIT VUT), člen
Citace
GRIM, Pavel. Převod výrazů v C do DIMACS formátu. Brno, 2015. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2015-06-22. Vedoucí práce Smrčka Aleš. Dostupné z: https://www.fit.vut.cz/study/thesis/14653/
BibTeX 
@mastersthesis{FITMT14653,
    author = "Pavel Grim",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "P\v{r}evod v\'{y}raz\r{u} v C do DIMACS form\'{a}tu",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/14653/"
}

Závěrečné práce

Nahoru