% elore kiadott feladatok, vegyeszek
%




\documentclass{article}        % Your input file must contain these two lines 

\usepackage{color}
\usepackage{amsmath}
\usepackage{graphicx}

\begin{document}               % plus the \end{document} command at the end.

\centerline{\Large \bf Matematikai sz\"ovegszerkeszt\'es -- Latex (\LaTeX)}
\centerline{\large \bf C\'el: eszt\'etikus matematikai sz\"oveg (szorgalmi, dolgozat, cikk, stb.) k\'esz\'it\'ese}

\rm \bigskip \bigskip \bigskip

{\bf \"Osszefoglal\'o}
\begin{itemize}
\item Norm\'al sz\"oveg
\item Matematikai formul\'ak
\item Dokumentumstrukt\'ura
\item Bibliogr\'afia
\end{itemize}


\section{Norm\'al sz\"oveg}


\begin{itemize}
\item {\Large \bf K\"ul\"onb\"oz\H{o} m\'eret, {\normalsize \it \textcolor{red}{st\'ilus}}}
\item Speci\'alis karakterek -- \$, \&, \slash, \textbackslash,... 
\item Matematikai formul\'ak
\item Dokumentumstrukt\'ura
\end{itemize}

\section{Matematikai formul\'ak}



\begin{itemize}
\item Sz\"ovegen bel\"ul
\item Kiemelt formul\'ak
\item Formulastrukt\'ura
\end{itemize}

\noindent
Ha $ a^2+b^2+c^2\ne 0$, akkor a h\'aromsz\"og ... 

$$ (\neg (A \vee B)) \equiv (\neg{A} \wedge \neg{B})$$


\begin{displaymath} 
(\neg (A \vee B)) \equiv (\neg{A} \wedge \neg{B})
\end{displaymath}

\[
(\neg (A \vee B)) \equiv (\neg{A} \wedge \neg{B})
\]


\noindent \'Erdekesebb stukt\'ur\'ak:

\noindent
$$\frac{x^2+2}{x-3},\, \begin{pmatrix} 
                         a_{11} & a_{12} \\ 
                         a_{21} & a_{22} \end{pmatrix}=
                        \begin{pmatrix} 
                         \alpha & \beta \\ 
                         \Gamma & \Delta \end{pmatrix}$$

\pagebreak
\noindent
Kalkulus:

$$\int_{a}^b~L_2(x)~dx=\frac{b-a}{6}\Big( 1\cdot f_a + 4\cdot f_m+1\cdot f_b \Big),~~$$


$$f(x)=\frac{x}{x^2-5x+6},~~D_f=\mathbf{R}\backslash\{2,3\}.$$

$$\sum_{n=1}^{\infty} \frac{1}{n^2}=\frac{\pi^2}{6}.$$

$$\lim_{x\to 0}\frac{\sqrt{\cos x}-1}{5x^2}=-\frac{1}{20}$$

\pagebreak
\section{Dokumentumstrukt\'ura}

\subsection{Alfejezet}

\noindent
speci\'alis fejl\'ec, c\'im, l\'abjegyzet\footnote{abc}, hivatkozas
Collins \cite{1} szerint...

\noindent Egy k\'ep beilleszt\'ese:
 
\begin{figure}[h]
\centering
\includegraphics[width=8cm]{KK.eps}
\caption{Mma is wonderful}
\label{fig:}
\end{figure}



\renewcommand\refname{Szakirodalom}
\begin{thebibliography}{00}

\bibitem{1}
Arnon-Collins-McCallum: 
Cylindrical Algebraic Decomposition I: The Basic Algorithm. 
In: Caviness-Johnson (eds): Quantifier elimination and cylindrical algebraic 
decomposition (pp. 136-151), Springer 1998.

\bibitem{2}
M. Dood: Tex k\"onnyed\'en, Polygon, Szeged, 1995  (Ford. Makay G.). 

\bibitem{3}
Wettl, Mayer, Szab\'o: LaTeX k\'ezik\"onyv, Panem, 2004. 

\bibitem{4}
L. Lamport: LaTeX: A Document Preparation System, Addison-Wesley, 1994.

\bibitem{5} A. Dolzmann-T. Sturm-V. Weispfenning: Real Quantifier Elimination in Practice.
MIP-9720, Universit\"{a}t Passau, December 1997, 
Algorithmic Algebra and Number Theory, Springer 1998, 
Matzat, B. H. and Greuel, G.-M. and Hiss, G. (ed.), pp. 221-247.

\bibitem{6} T. Jebelean. 
Natural Proofs in Elementary Analysis by S-Decomposition. 
Technical report no. 01-33 in RISC Report Series, University of Linz, Austria.  November 2001.

\bibitem{7}
G. Kreisel-J.L. Krivine: Modelltheorie. Springer, Berlin, 1972

\bibitem{8}
R. Loos and V. Weispfenning: 
Applying linear quantifier elimination. The Computer Journal, 36(5):450-462, 1993.

\bibitem{9} 
D. Marker: Model Theory: An Introduction, Springer, Berlin, 2002.

\bibitem{10} 
J. Schicho - A. Tesacek: Improved Projection Operator for CAD using Groebner Bases
Technical report no. 99-04 in RISC Report Series, University of Linz, Austria.  1999.

\bibitem{11}
A. Seidl: Extending Real Quantifier Elimination by Cylindrical Algebraic 
Decomposition to Get Answers. In V. G. Ganzha, E. W. Mayr and E. V. Vorozhtsov,
editors, Proceedings of the Seventh International Workshop on Computer Algebra 
in Scientific Computing (CASC 2004), St. Petersburg, Russia. 

\bibitem{12}
Tie-Cheng Wang-W.W. Bledsoe: Hierachical Deduction. in: JAR 3(1), 1987, pp. 35-78

\bibitem{13} 
V. Weispfenning: Quantifier elimination for real algebra the quadratic case and beyond   
Applicable Algebra in Engineering, Communication and Computing, 1993

\bibitem{14}
V. Weispfenning: 
Mixed Real-Integer Linear Quantifier Elimination. ISSAC 1999: pp. 129-136

\bibitem{15}
F. Winkler:
Polynomial Algorithms in Computer Algebra. Texts and Monographs in Symbolic Computation. Springer, 1996.

\end{thebibliography}



\end{document}                 % The input file ends with this command.
