Zpět na vyhledávání

Martin Nemček

Master's thesis

Axiomatické teorie množin

Axiomatic Set Theories.
Abstract:
Práce je zaměřena na axiomatické teorie množin. Jsou v ní přehledně zpracovány a popsány nejznámější teorie jako Zermelo-Fraenkelova teorie množin, Gödel-Bernaysova teorie množin a Kelley-Morseova teorie množin. V úvodu je popsána výstavba logické teorie s definicí základních pojmů a principů. Dále je zde zhrnut a objasněn důvod vzniku axiomatických teorií množin a důvod, proč naivní teorie množin …more
Abstract:
Thesis focuses on axiomatic set theories. There are clearly described and processed the most famous theories - Zermelo-Fraenkel set theory, Gödel-Bernays set theory and Kelley-Morse set theory. In introduction is described the construction of logical theory with the definition of basic concepts and principles. There is also summarized and explained the cause of formation the axiomatic set theory and …more
 

Keywords

axiom množina třída formule teorie důkaz teorie množin

Keywords

axiom set class formula theory proof set theory
 
Language used: Czech
Date on which the thesis was submitted / produced: 7. 5. 2014
Identifier: http://hdl.handle.net/10084/106083

Thesis defence

  • Date of defence: 10. 6. 2014
  • Supervisor: Marie Duží
  • Reader: Jakub Macek

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

VŠB - Technical University of Ostrava

Fakulta elektrotechniky a informatiky

Master 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