М 53 Месарович, М. Общая теория систем: математические основы [Текст] : пер. с англ. / М. Месарович, Я. Такахара. - Москва. : Мир , 1978. - 312 с. : ил. ; 23см. - Библиогр.: с.288-289 . -Предм. указ.: с. 305-308. - 296 экз.. - (в пер.) : 1.40 р. Приложения: с. 285-304
Кл.слова (ненормированные): ТЕОРИЯ РЕАЛИЗАЦИИ -- ЛИНЕЙНОСТЬ -- ПРЕДОПРЕДЕЛЕННОСТЬ -- СТАЦИОНАРНОСТЬ -- ИНВАРИАНТНОСТЬ -- УПРАВЛЯЕМОСТЬ -- УСТОЙЧИВОСТЬ -- АВТОНОМНОСТЬ -- ДЕКОМПОЗИЦИЯ -- СОЕДИНЕНИЯ -- ВЫЧИСЛИМОСТЬ -- НЕПРОТИВОРЕЧИВОСТЬ -- ПОЛНОТА -- КАТЕГОРИИ -- ФУНКТОРЫ Доп.точки доступа: Такахара, Я. ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
М 62 Минский, Марвин. Вычисления и автоматы [Текст] = Finite and infinite machines : монография / М. Минский ; пер.: Б. Л. Овсиевич, Л. Я. Розенблюм. - Москва : Мир, 1971. - 366 с. : рис. ; 23см. - 750 экз.. - (в пер.) : 1.64 р.
Кл.слова (ненормированные): конечные машины -- бесконечные машины -- теорема Поста -- вычислимость Доп.точки доступа: Овсиевич, Б. Л. \пер.\; Розенблюм, Л. Я. \пер.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
К 29 Катленд, Найджел. Вычислимость. Введение в теорию рекурсивных функций [Текст] / Н. Катленд ; перевод с английского А. А. Мучника ; под редакцией С. Ю. Маслова. - Москва : Мир, 1983. - 256 с. : ил. ; 21 см. - Пер. изд. : Computability. An introduction to recursive function theory / N. Cutland. - Cambridge, 1980. - 10000 экз.. - 1.00 р. Рубрики: Вычислительная математика Кл.слова (ненормированные): ВЫЧИСЛИМЫЕ -- тезис Чёрча -- символы Поста и Маркова -- алгоритм Штурма -- теорема Гёделя -- теорема Майхилла -- СВОДИМОСТЬ -- ФОРМАЛЬНАЯ АРИФМЕТИКА Доп.точки доступа: Мучник, А. А. \пер.\; Маслов, С. Ю. \ред.\; Cutland, N. ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |