Loading [MathJax]/jax/output/CommonHTML/config.js
Проблемы управления
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:
    1. Клещев А.С., Тимченко В.А., “Алгоритм унификации для расширяемой модели математического диалекта1”, Информатика и системы управления, 2012, № 1, 155–165  elib
    2. А. С. Клещев, “Операционная модель интуитивных доказательств”, Пробл. управл., 1 (2011), 2–7  mathnet
    3. Клещев А.С., Тимченко В.А., “Задача применения подстановки для расширяемой модели математического диалекта1”, Информатика и системы управления, 2011, № 3, 80–88  elib
    4. A. C. Клещев, “Концепция банка математических знаний для научных исследований. Ч. 1. Метафора”, Пробл. управл., 4 (2008), 2–6  mathnet
    5. А. С. Клещев, “Модель аналогии между математическими доказательствами”, Пробл. управл., 1 (2007), 20–24  mathnet
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Проблемы управления
    Статистика просмотров:
    Страница аннотации:206
    PDF полного текста:79
    Список литературы:48
     
      Обратная связь:
    math-net2025_03@mi-ras.ru     		 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025