Server pro podporu výuky ARUO - využití řešičů SAT – Ivana Skýbová
Ivana Skýbová
Bakalářská práce
Server pro podporu výuky ARUO - využití řešičů SAT
Supporting Server for Constraint Processing Teaching - Use of SAT solvers
Anotace:
Práce pojednává o praktickém použití řešičů SAT, převodu problému na problém a implementaci serveru pro podporu výuky předmětu Automatizované řešení úloh s omezeními. Server je určen především pro studenty navazujícího magisterského studia oboru Informační a výpočetní technika, kteří si zvolili předmět ARUO a případně dalším zájemcům o problematiku, kterou se předmět zabývá. Pro implementaci byla zvolena …víceAbstract:
Thesis describes basic usage of SAT solvers, reduction between problems and implementation of a supporting server application for Constraint Processing teaching. Server is intended mainly to students of a Master Program with specialization in Computer Science and Technology, who choose to study Constraint Processing and eventually to others interested in this subject. It is implemented on the ASP.NET …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2015
Identifikátor:
http://hdl.handle.net/10084/108953
Obhajoba závěrečné práce
- Obhajoba proběhla 4. 6. 2015
- Vedoucí: Martin Šurkovský
- Oponent: Marek Běhálek
Citační záznam
Citace dle ISO 690:
SKÝBOVÁ, Ivana. \textit{Server pro podporu výuky ARUO - využití řešičů SAT}. Online. Bakalářská práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2015. Dostupné z: https://theses.cz/id/li4hu6/.
Plný text práce
Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyBakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Komponenta výukového serveru TI - Predikátová logika
Michaela Lubyová -
Komponenta výukového serveru TI - Asymptotická notace
Martin Frýdl