-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmain.tex
111 lines (93 loc) · 2.88 KB
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
%% Template by Michal Forisek
\documentclass[a4paper]{report}
%\documentclass[a5paper,12pt]{report}
\usepackage{ulem}
\usepackage{slovak}
\usepackage[utf8]{inputenc}
\usepackage{a4wide}
\usepackage{tabularx}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{epsfig}
\usepackage[usenames,dvipsnames]{color}
\usepackage{mathrsfs}
\usepackage{verbatim}
\usepackage{hyperref}
\usepackage{ifthen}
\usepackage{subfigure}
\input{utility/makra.tex}
\input{utility/environments.tex}
\begin{document}
\thispagestyle{empty}
\begin{minipage}{0.25\textwidth}
\includegraphics[width=0.9\textwidth]{img/komlogo-new}
\end{minipage}
\begin{minipage}{0.69\textwidth}
\begin{center}
\sc Katedra Informatiky \\
Fakulta Matematiky, Fyziky a Informatiky \\
Univerzita Komenského, Bratislava
\end{center}
\end{minipage}
\vfill
\begin{center}
\begin{minipage}{0.8\textwidth}
\hrule
\bigskip\bigskip
\centerline{\LARGE\sc Matematická Logika}
\smallskip
\centerline{(spísané poznámky, draft)}
\bigskip
\centerline{\url{http://code.google.com/p/matlogika}}
\bigskip
\centerline{\large\sc Peter Perešíni, Milan Plžík, Pavol Struhár, Ivan Kováč}
\bigskip\bigskip
\hrule
\end{minipage}
\end{center}
\vfill
{~}
\hfill verzia zo dňa {\bf\today}
\eject % EOP i
\section*{Úvod}
Tieto poznámky obsahujú študijné materiály
k predmetu \emph{Matematická logika}
na Fakulte matematiky, fyziky a informatiky UK.
Základ poznámok bol spísaný podľa prednášky doc. Eduarda Tomana v roku 2009.
Poznámky ale nie sú oficiálny študijný materiál, preto autori neručia
žiadnym spôsobom za ich aktuálnosť či vhodnosť. Navyše, obsah prednášky sa
počas rôznych rokov môže meniť a preto je silne odporúčané dopísať si
prípadné rozdiely medzi poznámkami a prednáškou.
Aby sme umožnoli jednoduchšie spravovanie a udržali poznámky dlhšie
aktuálne, rozhodli sme sa verejne publikovať zdrojové kódy na stránke
\url{http://code.google.com/p/matlogika}. Ak máte akékoľvek pripomienky,
návrhy, opravy, môžete nám ich prostredníctvom tejto stránky oznámiť.
Za autorov, PPershing.
\tableofcontents
\chapter{Dokončenie úvodu do matematickej logiky}
\input{tex/x0prerekvizity.tex}
\input{tex/x0prenex.tex}
\input{tex/x1skolem.tex}
\input{tex/x2rovnost.tex}
\chapter{Matematická logika}
\input{tex/01dokazatelnost.tex}
\input{tex/02uplnost.tex}
\input{tex/03rozsirenia.tex}
\input{tex/04kompaktnost.tex}
\chapter{Dokazovanie formúl -- Metóda rezolvent}
\input{tex/05rezolv.tex}
\input{tex/06herbrand_uvod.tex}
\input{tex/07standard.tex}
\input{tex/08herbr.tex}
\input{tex/09stromy.tex}
\input{tex/10herbr.tex}
\input{tex/11rezolv_vyrokova.tex}
\input{tex/12unifikacia.tex}
\input{tex/13rezolv_predikatova.tex}
\input{tex/14strategia_vymazavania.tex}
\chapter{Neodprednášané v šk. roku 09/10}
\input{tex/neodprednasane.tex}
\chapter{Skúška}
\input{tex/skuska.tex}
\end{document}