Информационная система по формальным теориям


Warning: mysql_connect() [function.mysql-connect]: Lost connection to MySQL server at 'reading initial communication packet', system error: 111 in /www/vhosts/theo.ru/html/theories/common/menu.php on line 20

Warning: mysql_select_db(): supplied argument is not a valid MySQL-Link resource in /www/vhosts/theo.ru/html/theories/common/menu.php on line 21

  •  Об ИС по формальным теориям

  •  Как работать с системой

  •  Алфавиты

  •  Классы термов

  •  Языки (классы формул)

  •  Описания теорий

  •  Классификации теорий

  •  Дедукция

  •  Теоретическая справка

  •  Справка по сайту