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

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

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



УМН:
Год:
Том:
Выпуск:
Страница:
Найти






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


УМН, 1972, том 27, выпуск 3(165), страницы 79–125 (Mi umn5058)  

Алгебраические модели вычислительных машин

В. Н. Лифшиц, Л. Е. Садовский


Аннотация: Исследования, посвященные построению и анализу математических моделей цифровых вычислительных машин, развиваются в последнее время преимущественно в двух направлениях. Основу первого направления составляет предложенный В. М. Глушковым метод изучения процессов преобразования дискретной информации с точки зрения теории автоматов. Второе направление связано с работами А. А. Ляпунова, А. П. Ершова, Н. И. Глебова, а также ряда других математиков. В этих работах математические модели вычислительных машин рассматриваются с позиций общей алгебры. Сюда примыкает также ряд работ, посвященных различным способам формализации понятия программы вычислительной машины (эти вопросы подробно рассмотрены в обзоре A. П. Ершова и А. А. Ляпунова [26]).
Настоящий обзор (без претензий на исчерпывающую полноту) посвящен способам построения и исследования автоматно-алгебраических и алгебраических моделей вычислительных машин. При этом основное внимание уделяется методам построения соответствующих моделей. В заключение авторы описывают один способ модификации алгебраической модели, учитывающей некоторые элементы строения машины и вопросы функционирования вложенной в ее память программы.
От читателя предполагается знакомство лишь с некоторыми из основных понятий общей алгебры (полугруппа, изоморфизм, частично упорядоченное множество и т. д.). Эти сведения можно найти, например, в книге А. Г. Куроша [35].

Полный текст: PDF файл (3073 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Russian Mathematical Surveys, 1972, 27:3, 87–135

Реферативные базы данных:

УДК: 519.9
MSC: 68Q70, 68W30, 68Q05
Поступила в редакцию: 07.12.1970

Образец цитирования: В. Н. Лифшиц, Л. Е. Садовский, “Алгебраические модели вычислительных машин”, УМН, 27:3(165) (1972), 79–125; Russian Math. Surveys, 27:3 (1972), 87–135

Цитирование в формате AMSBIB
\RBibitem{LifSad72}
\by В.~Н.~Лифшиц, Л.~Е.~Садовский
\paper Алгебраические модели вычислительных машин
\jour УМН
\yr 1972
\vol 27
\issue 3(165)
\pages 79--125
\mathnet{http://mi.mathnet.ru/umn5058}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=400794}
\zmath{https://zbmath.org/?q=an:0246.94030}
\transl
\jour Russian Math. Surveys
\yr 1972
\vol 27
\issue 3
\pages 87--135
\crossref{https://doi.org/10.1070/RM1972v027n03ABEH001379}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/umn5058
  • http://mi.mathnet.ru/rus/umn/v27/i3/p79

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Успехи математических наук Russian Mathematical Surveys
    Просмотров:
    Эта страница:629
    Полный текст:205
    Литература:42
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020