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}