Převod výrazů v C do DIMACS formátu
Loading...
Date
Authors
Grim, Pavel
Advisor
Referee
Mark
C
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
ORCID
Abstract
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 jazyka 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 uskuteč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.
This work focuses on proposition of transfer of the expressions entered in the C programming language into DIMACS format and creation of program in programming language C++ making this transfer. This work contains a description of the C programming language and its operators. It also contains a description of the conjunctive normal form and a description of the DIMACS format. Following is a proposal for a program for the transfer of expression in the C programming language to the DIMACS format and description of realization of program performing this transfer.
This work focuses on proposition of transfer of the expressions entered in the C programming language into DIMACS format and creation of program in programming language C++ making this transfer. This work contains a description of the C programming language and its operators. It also contains a description of the conjunctive normal form and a description of the DIMACS format. Following is a proposal for a program for the transfer of expression in the C programming language to the DIMACS format and description of realization of program performing this transfer.
Description
Keywords
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. , C , C language , operators , bitwise operators , integer operators , expression , C expression , transfer , translation , conversion , conjunctive normal form , CNF , DIMACS , DIMACS format.
Citation
GRIM, P. Převod výrazů v C do DIMACS formátu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2015.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Inteligentní systémy
Comittee
prof. Ing. Tomáš Vojnar, Ph.D. (předseda)
prof. RNDr. Milan Češka, CSc. (místopředseda)
prof. Ing. Radomil Matoušek, Ph.D. (člen)
Mgr. Ing. Pavel Očenášek, Ph.D. (člen)
Dr. Ing. Petr Peringer (člen)
doc. Ing. Michal Španěl, Ph.D. (člen)
Date of acceptance
2015-06-22
Defence
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: Zdůvodněte, proč je ze základních matematických operací vynechána implementace násobení. Naznačte její možné řešení.
Result of defence
práce byla úspěšně obhájena