Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 13
Отмеченные записи: 0
1.
Подробнее
Ершов, Юрий Леонидович.
Определимость и вычислимость / Ю. Л. Ершов ; Российская академия наук, Институт математики, Новосибирский государственный университет, Институт дискретной математики и информатики ; Российская академия наук, Институт математики [и др.]. - 2-е изд., испр. и доп. - Москва ; Новосибирск : Экономика : Научная книга, 2000. - 318 c. : ил. - Библиогр. : с. 306-309. - ISBN 5282020211. - ISBN 5881190297
Рубрики: обобщенная вычислимость--монографии
Кл.слова (ненормированные):
теория вычислимости -- конструируемые множества -- динамическая логика -- ∑-определимость алгебраических систем -- допустимые множества -- Геделя теорема -- Черча теорема -- теория KPU -- вычислимость на допустимых множествах -- теория допустимых множеств -- ∑-определимость -- RQ-формулы -- ∑-рекурсивные определения -- определимость алгебраических систем
Доп.точки доступа:
Российская академия наук. Институт математики
Новосибирский государственный университет
Институт дискретной математики и информатики
Экземпляры всего: 5
Абонемент учебной и научной литературы (3), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (3), Ч/З о. Русский (2)
Ершов, Юрий Леонидович.
Определимость и вычислимость / Ю. Л. Ершов ; Российская академия наук, Институт математики, Новосибирский государственный университет, Институт дискретной математики и информатики ; Российская академия наук, Институт математики [и др.]. - 2-е изд., испр. и доп. - Москва ; Новосибирск : Экономика : Научная книга, 2000. - 318 c. : ил. - Библиогр. : с. 306-309. - ISBN 5282020211. - ISBN 5881190297
| УДК |
Рубрики: обобщенная вычислимость--монографии
Кл.слова (ненормированные):
теория вычислимости -- конструируемые множества -- динамическая логика -- ∑-определимость алгебраических систем -- допустимые множества -- Геделя теорема -- Черча теорема -- теория KPU -- вычислимость на допустимых множествах -- теория допустимых множеств -- ∑-определимость -- RQ-формулы -- ∑-рекурсивные определения -- определимость алгебраических систем
Доп.точки доступа:
Российская академия наук. Институт математики
Новосибирский государственный университет
Институт дискретной математики и информатики
Экземпляры всего: 5
Абонемент учебной и научной литературы (3), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (3), Ч/З о. Русский (2)
2.
Подробнее
Катленд, Найджел.
Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд ; пер. с англ. А. А. Мучника. - Москва : Мир, 1983. - 256 c. : ил., табл. - Библиогр. : с. 252-254.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
математика -- вычислимые функции -- теория вычислимых функций -- Майхилла теорема -- арифметика -- Геделя теорема -- Черча теорема -- теория рекурсивных функций -- вычисления (математика) -- программирование
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Катленд, Найджел.
Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд ; пер. с англ. А. А. Мучника. - Москва : Мир, 1983. - 256 c. : ил., табл. - Библиогр. : с. 252-254.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
математика -- вычислимые функции -- теория вычислимых функций -- Майхилла теорема -- арифметика -- Геделя теорема -- Черча теорема -- теория рекурсивных функций -- вычисления (математика) -- программирование
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
3.
Подробнее
Биркгоф, Гарретт.
Современная прикладная алгебра / Г. Биркгоф, Т. Барти ; пер. с англ. Ю. И. Манина. - Москва : Мир, 1976. - 400 c. : ил., табл.
Парал. тит. л. на англ. яз.
Рубрики: алгебра прикладная
Кл.слова (ненормированные):
структуры (математика) -- графы (математика) -- функции (математика) -- конечные автоматы -- прикладная математика -- булевы алгебры -- языки программирования -- бинарные отношения -- множества (математика) -- моноиды -- группы (математика) -- коды (математика) -- решетки (математика) -- кольца (математика) -- последовательности рекуррентные -- вычислимость
Доп.точки доступа:
Барти, Томас К
Манин, Ю. И. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Биркгоф, Гарретт.
Современная прикладная алгебра / Г. Биркгоф, Т. Барти ; пер. с англ. Ю. И. Манина. - Москва : Мир, 1976. - 400 c. : ил., табл.
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: алгебра прикладная
Кл.слова (ненормированные):
структуры (математика) -- графы (математика) -- функции (математика) -- конечные автоматы -- прикладная математика -- булевы алгебры -- языки программирования -- бинарные отношения -- множества (математика) -- моноиды -- группы (математика) -- коды (математика) -- решетки (математика) -- кольца (математика) -- последовательности рекуррентные -- вычислимость
Доп.точки доступа:
Барти, Томас К
Манин, Ю. И. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
4.
Подробнее
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость / Х. Роджерс ; пер. с англ. В. А. Душского, М. И. Кановича, Е. Ю. Ногиной. - Москва : Мир, 1972. - 624 c. - Библиогр. : с. 587-599.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
рекурсивная инвариантность -- теория рекурсивных функций -- вычислимость -- теория алгоритмов -- алгоритм -- математическая логика -- творческие множества (математика) -- сводимости (математика) -- гиперпростые множества -- математика -- неполные множества -- теорема о рекурсии
Доп.точки доступа:
Душский, В. А. \пер.\
Канович, М. И. \пер.\
Ногина, Е. Ю. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость / Х. Роджерс ; пер. с англ. В. А. Душского, М. И. Кановича, Е. Ю. Ногиной. - Москва : Мир, 1972. - 624 c. - Библиогр. : с. 587-599.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
рекурсивная инвариантность -- теория рекурсивных функций -- вычислимость -- теория алгоритмов -- алгоритм -- математическая логика -- творческие множества (математика) -- сводимости (математика) -- гиперпростые множества -- математика -- неполные множества -- теорема о рекурсии
Доп.точки доступа:
Душский, В. А. \пер.\
Канович, М. И. \пер.\
Ногина, Е. Ю. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
5.
Подробнее
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1973. - 480 c. : табл. - Библиогр. : с. 451-465.
Парал. тит. л. на англ. яз.
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
рекурсивные функции -- Тьюринга машина -- Черча теорема -- исчисление предикатов -- вычислимость -- исчисление высказываний -- разрешимость -- Геделя теорема -- основания математики -- теория моделей -- теория доказательств -- Скулема парадокс -- Генцена теорема -- формальные системы, метаматематика -- формальная арифметика -- Эрбрана теорема
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1973. - 480 c. : табл. - Библиогр. : с. 451-465.
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
рекурсивные функции -- Тьюринга машина -- Черча теорема -- исчисление предикатов -- вычислимость -- исчисление высказываний -- разрешимость -- Геделя теорема -- основания математики -- теория моделей -- теория доказательств -- Скулема парадокс -- Генцена теорема -- формальные системы, метаматематика -- формальная арифметика -- Эрбрана теорема
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
6.
Подробнее
Биркгоф, Гаррет.
Современная прикладная алгебра : [учебное пособие для втузов] / Гаррет Биркгоф, Томас К. Барти ; пер. с англ. Ю. И. Манина. - Изд. 2-е, стер. - Санкт-Петербург : Лань, 2005. - 400 с. : ил. - (Учебники для вузов. Специальная литература). - ISBN 5811406134
Парал. тит. л. на англ. яз.
Рубрики: алгебра прикладная--учебные издания для вузов
Кл.слова (ненормированные):
множества -- бинарные отношения -- языки программирования -- булевы алгебры -- моноиды -- решетки (алгебра) -- конечные поля (математика) -- вычислимость -- современная алгебра -- прикладная математика -- алгебраические системы -- таблицы декодирования -- групповые коды -- кольца (математика) -- полиноминоальные кольца -- полиномиальные коды -- последовательности рекуррентные -- автокорреляция
Доп.точки доступа:
Барти, Томас К
Манин, Ю. И. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Биркгоф, Гаррет.
Современная прикладная алгебра : [учебное пособие для втузов] / Гаррет Биркгоф, Томас К. Барти ; пер. с англ. Ю. И. Манина. - Изд. 2-е, стер. - Санкт-Петербург : Лань, 2005. - 400 с. : ил. - (Учебники для вузов. Специальная литература). - ISBN 5811406134
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: алгебра прикладная--учебные издания для вузов
Кл.слова (ненормированные):
множества -- бинарные отношения -- языки программирования -- булевы алгебры -- моноиды -- решетки (алгебра) -- конечные поля (математика) -- вычислимость -- современная алгебра -- прикладная математика -- алгебраические системы -- таблицы декодирования -- групповые коды -- кольца (математика) -- полиноминоальные кольца -- полиномиальные коды -- последовательности рекуррентные -- автокорреляция
Доп.точки доступа:
Барти, Томас К
Манин, Ю. И. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
7.
Подробнее
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Физматлит, 2011. - 356 с.. - ISBN 9785922113014
Рубрики: логика математическая--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- множеств теория -- алгебраические системы -- исчисление предикатов -- моделей теория -- доказательств теория -- вычислимость -- разрешимые теории -- неразрешимые теории
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Физматлит, 2011. - 356 с.. - ISBN 9785922113014
| УДК |
Рубрики: логика математическая--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- исчисление высказываний -- множеств теория -- алгебраические системы -- исчисление предикатов -- моделей теория -- доказательств теория -- вычислимость -- разрешимые теории -- неразрешимые теории
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
8.
Подробнее
В 949
Вычислительные системы : сб.науч.тр / Ин-т математики СО РАН. - Новосибирск : ИМ,1961, 1998 - .
161 : Обобщенная вычислимость и определимость/Науч.ред.Ю.Л.Ершов,С.С.Гончаров. - 175с. : ил.
Доп.точки доступа:
Ершов, Юрий Леонидович
Гончаров, С.С.
Свободных экз. нет
В 949
Вычислительные системы : сб.науч.тр / Ин-т математики СО РАН. - Новосибирск : ИМ,1961, 1998 - .
161 : Обобщенная вычислимость и определимость/Науч.ред.Ю.Л.Ершов,С.С.Гончаров. - 175с. : ил.
| УДК |
Ершов, Юрий Леонидович
Гончаров, С.С.
Свободных экз. нет
9.
Подробнее
Алгебра и логика / Академия наук СССР, Сибирское отделение, Институт математики ; [ред. кол. : Ю. Л. Ершов, М. И. Каргаполов (гл. ред.), Ю. И. Мерзляков и др.]. - Новосибирск : [б. и.], 1973. - С. 497-619. - (Труды / Институт математики СО АН СССР. ; т. 12 : № 5.). - Библиогр. в конце глав.
Кл.слова (ненормированные):
алгебра -- Логика -- функционалы -- многообразия -- абелевы группы -- неразрешимая проблема равенства -- вычислимость
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Каргаполов, М. И. \ред.\
Мерзляков, Ю. И. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Алгебра и логика / Академия наук СССР, Сибирское отделение, Институт математики ; [ред. кол. : Ю. Л. Ершов, М. И. Каргаполов (гл. ред.), Ю. И. Мерзляков и др.]. - Новосибирск : [б. и.], 1973. - С. 497-619. - (Труды / Институт математики СО АН СССР. ; т. 12 : № 5.). - Библиогр. в конце глав.
| УДК |
Кл.слова (ненормированные):
алгебра -- Логика -- функционалы -- многообразия -- абелевы группы -- неразрешимая проблема равенства -- вычислимость
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Каргаполов, М. И. \ред.\
Мерзляков, Ю. И. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
10.
Подробнее
Т. 160 Кн. 3
Казанский (Приволжский) федеральный университет.
Ученые записки Казанского университета / Казанский (Приволжский) федеральный университет ; главный редактор И. Б. Бадриев. - Казань : Изд-во Казанского университета, 2018 - . - (Физико-математические науки ; т. 160, кн. 3).
Т. 160 : Серия : Физико-математические науки : кн. 3. - С. [4], 423-598 : ил. - Библиогр. в конце ст.
Рубрики: математика--сборники научных трудов
физика--сборники научных трудов
Кл.слова (ненормированные):
динамика газовых пузырьков в жидкости -- деформирование твердых тел, численные алгоритмы -- упруго-пластические волны, расчет -- модификации разностных схем -- Хеле-Шоу задачи -- Максвелла уравнения -- множества предельно монотонные, вычислимость -- упругопластическое деформирование -- отражение акустических волн -- динамика консольной цилиндрической панели -- топология многообразий -- теория оболочек -- автоматные марковские модели -- задачи идентификации цепей Маркова -- алгоритм "прямого-обратного хода" -- численные методы
Доп.точки доступа:
Бадриев, И. Б. \ед.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Т. 160 Кн. 3
Казанский (Приволжский) федеральный университет.
Ученые записки Казанского университета / Казанский (Приволжский) федеральный университет ; главный редактор И. Б. Бадриев. - Казань : Изд-во Казанского университета, 2018 - . - (Физико-математические науки ; т. 160, кн. 3).
Т. 160 : Серия : Физико-математические науки : кн. 3. - С. [4], 423-598 : ил. - Библиогр. в конце ст.
| УДК |
Рубрики: математика--сборники научных трудов
физика--сборники научных трудов
Кл.слова (ненормированные):
динамика газовых пузырьков в жидкости -- деформирование твердых тел, численные алгоритмы -- упруго-пластические волны, расчет -- модификации разностных схем -- Хеле-Шоу задачи -- Максвелла уравнения -- множества предельно монотонные, вычислимость -- упругопластическое деформирование -- отражение акустических волн -- динамика консольной цилиндрической панели -- топология многообразий -- теория оболочек -- автоматные марковские модели -- задачи идентификации цепей Маркова -- алгоритм "прямого-обратного хода" -- численные методы
Доп.точки доступа:
Бадриев, И. Б. \ед.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Страница 1, Результатов: 13