• čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • English 
    • čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • Login
View Item 
  •   Repository Home
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2015
  • View Item
  •   Repository Home
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2015
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Translation of C Expressions to DIMACS Format

Thumbnail
View/Open
Posudek-Oponent prace-14653_o.pdf (87.98Kb)
Posudek-Vedouci prace-14653_v.pdf (85.85Kb)
final-thesis.pdf (1.900Mb)
review_88384.html (1.432Kb)
Author
Grim, Pavel
Advisor
Smrčka, Aleš
Referee
Charvát, Lukáš
Grade
C
Altmetrics
Metadata
Show full item record
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 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.
 
This work focuses on proposition of transfer of the expressions entered in the C pro­gramming language into DIMACS format and creation of program in programming language C++ making this transfer. This work contains a description of the C pro­gramming language and its operators. It also con­tains a description of the conjunctive normal form and a descri­ption 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 reali­zation of program performing this transfer.
 
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.
Language
čeština (Czech)
Study brunch
Inteligentní systémy
Composition of Committee
prof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. RNDr. Milan Češka, CSc. (místopředseda) doc. Ing. Radomil Matoušek, Ph.D. (člen) Mgr. Ing. Pavel Očenášek, Ph.D. (člen) Dr. Ing. Petr Peringer (člen) Ing. Michal Španěl, Ph.D. (člen)
Date of defence
2015-06-22
Process of 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 the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/52299
Source
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.
Collections
  • 2015 [190]
Citace PRO

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV
 

 

Browse

All of repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV