Zpět na vyhledávání

Martin Kopelec

Bachelor's thesis

Interaktivní nástroj pro podporu výuky úvodu do matematické logiky

An Interactive Tool for Teaching Introduction to Mathematical Logic.
Abstract:
Cílem mé bakalářské práce je vytvořit text a interaktivní softwarový nástroj, který bude v budoucnu sloužit jako didaktická pomůcka pro výuku základů výrokové logiky. Stěžejní částí bakalářské práce je interaktivní software, který by měl pomoct jednodušeji objasnit a procvičit danou problematiku za pomocí jednoduchého ovládání v podobě mobilní aplikace na operačním systému Android 8 nebo vyšším. Studenti …more
Abstract:
The purpose of my bachelor thesis is to create text and interactive software which will be an didactit tool for a teaching of basics of propositional logic in the future. Major part of this bachelor thesis is to create an interactive software, that can help to better understanding as a mobile application for Android operating system with version 8.0 or higher. With this interactive tool students could …more
 

Keywords

Výroková logika logika interaktivní nástroj software didaktická pomůcka Java ekvivalentní transformace

Keywords

Propositional logic logic interactive tool software didactic tool Java equivalent transformations
 
Language used: Czech
Date on which the thesis was submitted / produced: 30. 4. 2020
Identifier: http://hdl.handle.net/10084/140565

Thesis defence

  • Date of defence: 23. 6. 2020
  • Supervisor: Marek Menšík
  • Reader: Vojtěch Patschka

Citation record

Cite this text

Full text of thesis

Accessibility: 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.

Contents of on-line thesis archive
Published in Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB – Technická univerzita Ostrava