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

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

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


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




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

Автоматика и телемеханика, 1990, выпуск 7, страницы 132–139 (Mi at5527)  
Развивающиеся системы

Логический подход к комбинаторным вычислениям

М. В. Сапир

Медицинский научный центр, Свердловск
PDF полного текста (1189 kB)
Аннотация: На основе предлагаемого языка описания структур данных формализуются основные понятия комбинаторных вычислений, такие, как «задача», «алгоритм решения задачи». Получено условие на совокупность операций, которые должен выполнить алгоритм, решающий задачу. Для демонстрации применимости этого условия доказана оптимальность алгоритма Дейкстры поиска кратчайших путей между двумя вершинами на графе.

Поступила в редакцию: 10.02.1989
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.113
Образец цитирования: М. В. Сапир, “Логический подход к комбинаторным вычислениям”, Автомат. и телемех., 1990, № 7, 132–139; Autom. Remote Control, 51:7 (1990), 966–972
Цитирование в формате AMSBIB
\RBibitem{Sap90}
\by М.~В.~Сапир
\paper Логический подход к комбинаторным вычислениям
\jour Автомат. и телемех.
\yr 1990
\issue 7
\pages 132--139
\mathnet{http://mi.mathnet.ru/at5527}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1071223}
\zmath{https://zbmath.org/?q=an:0732.90070}
\transl
\jour Autom. Remote Control
\yr 1990
\vol 51
\issue 7
\pages 966--972
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at5527
  • https://www.mathnet.ru/rus/at/y1990/i7/p132
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
    Статистика просмотров:
    Страница аннотации:97
    PDF полного текста:52
    Первая страница:2
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024