Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 26

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 27

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 28

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 29

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 30

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 31

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 32

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 33
\documentclass[10pt,a4paper]{article}
\usepackage{latexsym,amssymb,amsmath,textcomp}
\usepackage[T2A]{fontenc}
\usepackage[cp1251]{inputenc}
\usepackage[russian]{babel}
\usepackage{indentfirst}
\author{Информационная система <<Формальные теории>>\\
{\ttfamily http://www.theo.ru}}
\title{Описание теории }
\date{}

\begin{document}
\maketitle

 --- .
Теория  сформулирована в языке .


Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 66

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 67

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 68

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 69

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 70

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 71

Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 72
\section*{Алфавит языка :} \subsection*{Технические знаки:} . \section*{Определение языка :} \section*{Дедуктивные постулаты :} \subsection*{Схемы аксиом :}
Warning: mysql_num_rows(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 98
\begin{enumerate} \end{enumerate}
Warning: mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 112
\subsection*{Множество правил вывода:} \renewcommand\refname{Библиография по } \begin{thebibliography}{99} \bibitem{bib1} Информацианная система <<Формальные теории>>. \newblock Internet: {\ttfamily http://www.theo.ru}, 2005.
Warning: mysql_num_rows(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 129
\end{thebibliography} \end{document}