Jan Lesniak

Diplomová práce

Server pro podporu výuky teoretické informatiky

Supporting Server for Theoretical Computer Science Teaching
Anotace:
Tato práce se zabývá implementací a problematikou algoritmů pro zprostředkování postupů a výsledků úloh používaných při výuce výrokové logiky, kterými jsou tabulková metoda, rezoluční metoda a logicky ekvivalentní úpravy pro převod formule do normálních forem. Popisuje a vysvětluje algoritmy pro zpracování uživatelského vstupu a pro každý typ úlohy. Výsledkem je webová aplikace dostupná z internetu …více
Abstract:
This thesis deals with algorithms for visualization of procedures and results of propositional's logic tasks in education, which are table method, resolution method and logically equivalent edits for transformation of formulas to normal forms. There is the description and explanation of used algorithms for user's input and each type of task. Web application with automatic visualization of the gradual …více
 

Klíčová slova

Výroková logika tabulková metoda rezoluční metoda ekvivalentní úpravy formulí lexikální analýza syntaktická analýza

Keywords

Propositional logic table method resolution method logically equivalent formulas lexical analysis syntactic analysis
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 29. 4. 2016
Identifikátor: http://hdl.handle.net/10084/115886

Obhajoba závěrečné práce

  • Obhajoba proběhla 6. 6. 2016
  • Vedoucí: Martin Kot
  • Oponent: Marek Menšík

Citační záznam

Citovat tuto práci

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 Ostrava

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.