Gentzenův důkazový kalkul

Kajzarová, Halina

Gentzenův důkazový kalkul

dc.contributor.advisor	Duží, Marie	cs
dc.contributor.author	Kajzarová, Halina	cs
dc.contributor.referee	Menšík, Marek	cs
dc.date.accepted	2015-06-08	cs
dc.date.accessioned	2015-07-22T09:16:49Z
dc.date.available	2015-07-22T09:16:49Z
dc.date.issued	2015	cs
dc.description	Import 22/07/2015	cs
dc.description.abstract	Diplomová práce předkládá studii Gentzenovského (sekventového) kalkulu s vypracovanými příklady a ukazuje práci v sekventovém kalkulu. Práce dále obsahuje popis a vysvětlení pojmu teorému eliminace řezu (Hauptsatz) v sekventovém kalkulu a také popis variant sekventových kalkulů pro substrukturální logiku. Součástí práce je i stručná charakteristika různých variant důkazových kalkulů.	cs
dc.description.abstract	This thesis is a study of Gentzen's proof calculi (sequent calculi) with wide range of solved examples and demonstrates how to work with sequent calculi. The thesis also comprises and explains the cut elimination theorem (Hauptsatz) in sequent calculi and briefly descriscribes substructural logics for sequent calculus. Last but not least, different variants of proof calculi are also described.	en
dc.description.department	460 - Katedra informatiky	cs
dc.description.result	velmi dobře	cs
dc.format.extent	3273720 bytes	cs
dc.format.mimetype	application/pdf	cs
dc.identifier.other	OSD002	cs
dc.identifier.sender	S2724	cs
dc.identifier.thesis	KAJ061_FEI_N2647_2612T025_2015
dc.identifier.uri	http://hdl.handle.net/10084/108654
dc.language.iso	cs	cs
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	cs
dc.rights.access	openAccess
dc.subject	Důkazový kalkul	cs
dc.subject	důkaz	cs
dc.subject	přirozená dedukce	cs
dc.subject	Hilbertův system	cs
dc.subject	sekventový kalkul	cs
dc.subject	Gentzen	cs
dc.subject	teorém eliminace řezu	cs
dc.subject	Hauptsatz	cs
dc.subject	substrukturální logika	cs
dc.subject	Proof calculi	en
dc.subject	proof	en
dc.subject	natural deduction	en
dc.subject	Hilbert's system	en
dc.subject	sequent calculi	en
dc.subject	Gentzen	en
dc.subject	cut elimination theorem	en
dc.subject	Hauptsatz	en
dc.subject	substructural logic	en
dc.thesis.degree-branch	Informatika a výpočetní technika	cs
dc.thesis.degree-grantor	Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	cs
dc.thesis.degree-level	Magisterský studijní program	cs
dc.thesis.degree-name	Ing.	cs
dc.thesis.degree-program	Informační a komunikační technologie	cs
dc.title	Gentzenův důkazový kalkul	cs
dc.title.alternative	Gentzen Proof Calculus	en
dc.type	Diplomová práce	cs

Files

Original bundle

Now showing 1 - 3 out of 3 results

Name:: KAJ061_FEI_N2647_2612T025_2015.pdf
Size:: 3.12 MB
Format:: Adobe Portable Document Format

Download

Name:: KAJ061_FEI_N2647_2612T025_2015_posudek_vedouci_Duzi_Marie.pdf
Size:: 49.52 KB
Format:: Adobe Portable Document Format
Description:: Posudek vedoucího – Duží, Marie

Download

Name:: KAJ061_FEI_N2647_2612T025_2015_posudek_oponent_Mensik_Marek.pdf
Size:: 48.71 KB
Format:: Adobe Portable Document Format
Description:: Posudek oponenta – Menšík, Marek

Download

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)