Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 5
Отмеченные записи: 0
1.
Подробнее
Васильев, Всеволод Викторович.
Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук ; отв. ред. В. Г. Хорошевский ; Академия наук Украинской ССР, Институт проблем моделирования в энергетике. - Киев : Наукова думка, 1990. - 213 c. : ил. - Библиогр. : с. 209-211.. - ISBN 512001271X
Кл.слова (ненормированные):
информатика -- вычислительная техника -- мультипроцессорные системы -- Петри сети -- кибернетика -- математика -- параллельные алгоритмы (математика)
Доп.точки доступа:
Кузьмук, Валерий Валентинович
Хорошевский, В. Г. \ред.\
Академия наук Украинской ССР. Институт проблем моделирования в энергетике
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Васильев, Всеволод Викторович.
Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук ; отв. ред. В. Г. Хорошевский ; Академия наук Украинской ССР, Институт проблем моделирования в энергетике. - Киев : Наукова думка, 1990. - 213 c. : ил. - Библиогр. : с. 209-211.. - ISBN 512001271X
| УДК |
Кл.слова (ненормированные):
информатика -- вычислительная техника -- мультипроцессорные системы -- Петри сети -- кибернетика -- математика -- параллельные алгоритмы (математика)
Доп.точки доступа:
Кузьмук, Валерий Валентинович
Хорошевский, В. Г. \ред.\
Академия наук Украинской ССР. Институт проблем моделирования в энергетике
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Косовский, Николай Кириллович.
Элементы математической логики и её приложения к теории субрекурсивных алгоритмов : учебное пособие / Н. К. Косовский. - Ленинград : Изд-во Ленинградского университета, 1981. - 192 c.
Кл.слова (ненормированные):
теория множеств -- секвенциальный аппарат выводимости -- теория субрекурсивных алгоритмов -- алгоритм -- математика -- теория чисел -- математическая логика -- Цермело аксиоматическая система -- теория программирования
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Косовский, Николай Кириллович.
Элементы математической логики и её приложения к теории субрекурсивных алгоритмов : учебное пособие / Н. К. Косовский. - Ленинград : Изд-во Ленинградского университета, 1981. - 192 c.
| УДК |
Кл.слова (ненормированные):
теория множеств -- секвенциальный аппарат выводимости -- теория субрекурсивных алгоритмов -- алгоритм -- математика -- теория чисел -- математическая логика -- Цермело аксиоматическая система -- теория программирования
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Криницкий, Николай Андреевич.
Алгоритмы вокруг нас / Н. А. Криницкий. - Изд. 2-е. - Москва : Наука, 1984. - 224 c. - (Проблемы науки и технического прогресса)
Кл.слова (ненормированные):
программирование -- коллективные алгоритмы -- формальные языки -- теория алгоритмов -- алгоритмически неразрешимые проблемы -- математика -- прикладная математика -- рекурсивные функции -- ЭВМ -- автоматизация процессов управления -- теория множеств
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Криницкий, Николай Андреевич.
Алгоритмы вокруг нас / Н. А. Криницкий. - Изд. 2-е. - Москва : Наука, 1984. - 224 c. - (Проблемы науки и технического прогресса)
| УДК |
Кл.слова (ненормированные):
программирование -- коллективные алгоритмы -- формальные языки -- теория алгоритмов -- алгоритмически неразрешимые проблемы -- математика -- прикладная математика -- рекурсивные функции -- ЭВМ -- автоматизация процессов управления -- теория множеств
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
4.
Подробнее
Криницкий, Николай Андреевич.
Алгоритмы вокруг нас / Н. А. Криницкий ; [отв. ред. Г. Д. Фролов]. - Москва : Наука, 1977. - 224 c. : ил., табл., схем. - (Проблемы науки и технического прогресса)
Рубрики: алгоритмы
Кл.слова (ненормированные):
теория алгоритмов -- алгоритмизация процессов -- электронные вычислительные машины -- машины Тьюринга -- формальные языки (математика) -- операционные системы
Доп.точки доступа:
Фролов, Г. Д. \ред.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Криницкий, Николай Андреевич.
Алгоритмы вокруг нас / Н. А. Криницкий ; [отв. ред. Г. Д. Фролов]. - Москва : Наука, 1977. - 224 c. : ил., табл., схем. - (Проблемы науки и технического прогресса)
| УДК |
Рубрики: алгоритмы
Кл.слова (ненормированные):
теория алгоритмов -- алгоритмизация процессов -- электронные вычислительные машины -- машины Тьюринга -- формальные языки (математика) -- операционные системы
Доп.точки доступа:
Фролов, Г. Д. \ред.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
5.
Подробнее
Фридман, Александр Абрамович.
Степени неразрешимости проблемы тождества для конечно-определенных групп / А. А. Фридман ; [отв. ред. С. И. Адян] ; Академия наук СССР, Центральный экономико-математический институт. - Москва : Наука, 1967. - 189 c.
Кл.слова (ненормированные):
математика -- тождества (математика) -- проходные буквы (математика) -- конечно-определенные группы (математика) -- устойчивые буквы (математика) -- степени неразрешимости (математика) -- полугруппы (математика)
Доп.точки доступа:
Адян, Сергей Иванович \ред.\
Академия наук СССР. Центральный экономико-математический институт
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Фридман, Александр Абрамович.
Степени неразрешимости проблемы тождества для конечно-определенных групп / А. А. Фридман ; [отв. ред. С. И. Адян] ; Академия наук СССР, Центральный экономико-математический институт. - Москва : Наука, 1967. - 189 c.
| УДК |
Кл.слова (ненормированные):
математика -- тождества (математика) -- проходные буквы (математика) -- конечно-определенные группы (математика) -- устойчивые буквы (математика) -- степени неразрешимости (математика) -- полугруппы (математика)
Доп.точки доступа:
Адян, Сергей Иванович \ред.\
Академия наук СССР. Центральный экономико-математический институт
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Page 1, Results: 5