Проблемы управления
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Пробл. управл.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Проблемы управления, 2006, выпуск 6, страницы 68–71 (Mi pu394)  
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

Искусственный интеллект

Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 3. Модель доказательства

Т. Л. Гаврилова, А. С. Клещев

Институт автоматики и процессов управления ДВО РАН, г. Владивосток
PDF полного текста (166 kB) Список цитирования (5)
Список литературы:
PDF
HTML
Аннотация: Статья завершает цикл из трех работ, посвященных модели математической практики для систем автоматизированного доказательства теорем. Сформулированы правила рассуждения, используемые при конструировании доказательств. Определена модель полного доказательства. Приведены примеры формулировок математических утверждений на языке ММД (модели математического диалекта) и модель правильного полного доказательства одного из них.
Тип публикации: Статья
УДК: 681.3.057.51-7.311.17
Образец цитирования: Т. Л. Гаврилова, А. С. Клещев, “Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 3. Модель доказательства”, Пробл. управл., 2006, № 6, 68–71
Цитирование в формате AMSBIB
\RBibitem{GavKle06}
\by Т.~Л.~Гаврилова, А.~С.~Клещев
\paper Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч.~3. Модель доказательства
\jour Пробл. управл.
\yr 2006
\issue 6
\pages 68--71
\mathnet{http://mi.mathnet.ru/pu394}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pu394
  • https://www.mathnet.ru/rus/pu/v6/p68
    Цикл статей
    Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Проблемы управления
    Статистика просмотров:
    Страница аннотации:165
    PDF полного текста:69
    Список литературы:30
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024