Zpět na vyhledávání

Vladimír Matějičný

Bachelor's thesis

3D vizualizace modelů v PL1

3D Vizualization of PL1 Models
Abstract:
Predikátová logika prvního řádu dnes nachází velké využití v oblasti matematiky, filosofie, lingvistiky a umělé inteligence. Problémem je však nedostatekkvalitního výukového software. Cílem této práce je vytvoření aplikace, schopné přehledně a jednoduše naučit studenty základům predikátové logiky prvního řádu.Začátek práce je věnován popisu sémantiky predikátové logiky prvního řádu a vymezení podmnožiny …more
Abstract:
First-order logic is now days used in many fields in mathematics, philosophy or artificial intelligence. The problem is that there is not enough quality educational software. The main goal of this thesis is to create an application capable of simply and clearly teaching students basics of first-order logic. The beginning of this paper is dedicated to semantics of first-order logic and defining the …more
 

Keywords

PL1 predikátová logika prvního řádu Tarskis World sémantika formule interpretační struktura proměnná predikát konstanta funkční symbol universum diskursu individuum pravdivost v interpretaci valuace model formule průvodce interpretací generátor formulí first-order logic semantics formula interpretation structure variable predicate constant function symbol universum entity validity formula model interpretation advisor formula generator
 
Language used: Czech
Date on which the thesis was submitted / produced: 2010
Identifier: http://hdl.handle.net/10084/78744

Thesis defence

  • Supervisor: Martina Číhalová
  • Reader: Marie Duží

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: Vysoká škola báňská - Technická univerzita Ostrava

Vysoká škola báňská - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Bachelor programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika

Theses on a related topic

List of theses with an identical keyword.
All theses