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

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

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


Изв. Сарат. ун-та. Нов. сер. Сер.: Математика. Механика. Информатика:
Год:
Том:
Выпуск:
Страница:
Найти




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

Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика, 2011, том 11, выпуск 1, страницы 111–121
DOI: https://doi.org/10.18500/1816-9791-2011-11-1-111-121 (Mi isu210) 		 
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Информатика

О решении шахматных позиций с помощью формул логики ветвящегося времени

Р. В. Хелемендик

Институт прикладной математики им. М. В. Келдыша РАН, Москва, отдел теоретической математики
PDF полного текста (203 kB) Список цитирования (3)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.18500/1816-9791-2011-11-1-111-121
Аннотация: В работе по произвольной шахматной позиции описано построение 4 формул логики ветвящегося времени. Как минимум, одна из этих формул выполнима, и по ее модели строится решение позиции: оценка позиции (ничья или победа одной из сторон), а также необходимая для ее достижения стратегия. Построение по позиции формул и получение модели и решения иллюстрировано примерами.
Ключевые слова: логика ветвящегося времени, выполнимость, модель.
Тип публикации: Статья
УДК: 519.6
Образец цитирования: Р. В. Хелемендик, “О решении шахматных позиций с помощью формул логики ветвящегося времени”, Изв. Сарат. ун-та. Нов. сер. Сер.: Математика. Механика. Информатика, 11:1 (2011), 111–121
Цитирование в формате AMSBIB
\RBibitem{Khe11}
\by Р.~В.~Хелемендик
\paper О решении шахматных позиций с~помощью формул логики ветвящегося времени
\jour Изв. Сарат. ун-та. Нов. сер. Сер.: Математика. Механика. Информатика
\yr 2011
\vol 11
\issue 1
\pages 111--121
\mathnet{http://mi.mathnet.ru/isu210}
\crossref{https://doi.org/10.18500/1816-9791-2011-11-1-111-121}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/isu210
  • https://www.mathnet.ru/rus/isu/v11/i1/p111
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Саратовского университета. Новая серия. Серия Математика. Механика. Информатика
    Статистика просмотров:
    Страница аннотации:323
    PDF полного текста:146
    Список литературы:46
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024