Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 17
Отмеченные записи: 0
1.
Подробнее
Фаддеев, Дмитрий Константинович.
Вычислительные методы линейной алгебры / Д. К. Фаддеев, В. Н. Фаддеева. - Изд. 3-е, стер. - Санкт-Петербург : Лань, 2002. - 734 c. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 677-733. - ISBN 5811403178
Рубрики: линейная алгебра--вычислительные методы--монографии
Кл.слова (ненормированные):
системы линейных уравнений -- решение систем линейных уравнений -- итерационные методы (линейная алгебра) -- точные методы решения (линейная алгебра) -- проблемы собственных значений, решение -- Данилевского метод -- Самуэльсона метод -- Леверье метод -- Хессенберга метод -- алгорифмы универсальные -- градиентные итерационные методы -- минимальных итераций метод -- Гаусса метод -- Крылова метод
Доп.точки доступа:
Фаддеева, В. Н.
Экземпляры всего: 20
Абонемент учебной и научной литературы (8), ЕКВ ауд.402 учебная (7), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2), Абонемент о. Русский (2)
Свободны: Абонемент учебной и научной литературы (8), ЕКВ ауд.402 учебная (7), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2), Абонемент о. Русский (2)
Фаддеев, Дмитрий Константинович.
Вычислительные методы линейной алгебры / Д. К. Фаддеев, В. Н. Фаддеева. - Изд. 3-е, стер. - Санкт-Петербург : Лань, 2002. - 734 c. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 677-733. - ISBN 5811403178
| УДК |
Рубрики: линейная алгебра--вычислительные методы--монографии
Кл.слова (ненормированные):
системы линейных уравнений -- решение систем линейных уравнений -- итерационные методы (линейная алгебра) -- точные методы решения (линейная алгебра) -- проблемы собственных значений, решение -- Данилевского метод -- Самуэльсона метод -- Леверье метод -- Хессенберга метод -- алгорифмы универсальные -- градиентные итерационные методы -- минимальных итераций метод -- Гаусса метод -- Крылова метод
Доп.точки доступа:
Фаддеева, В. Н.
Экземпляры всего: 20
Абонемент учебной и научной литературы (8), ЕКВ ауд.402 учебная (7), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2), Абонемент о. Русский (2)
Свободны: Абонемент учебной и научной литературы (8), ЕКВ ауд.402 учебная (7), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2), Абонемент о. Русский (2)
2.
Подробнее
Марков, Андрей Андреевич.
Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Изд. 2-е, испр. и доп. - Москва : ФАЗИС, 1996. - XLVI, 448 c., [1] л. портр. - Библиогр. : с. 434-441.. - ISBN 5703600200
Прил. : с. 424-433.
Кл.слова (ненормированные):
теория алгорифмов -- алгорифмы -- математика -- математическая логика -- математическая кибернетика -- математический анализ -- теорема о неподвижной точке
Доп.точки доступа:
Нагорный, Николай Макарович
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Марков, Андрей Андреевич.
Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Изд. 2-е, испр. и доп. - Москва : ФАЗИС, 1996. - XLVI, 448 c., [1] л. портр. - Библиогр. : с. 434-441.. - ISBN 5703600200
Прил. : с. 424-433.
| УДК |
Кл.слова (ненормированные):
теория алгорифмов -- алгорифмы -- математика -- математическая логика -- математическая кибернетика -- математический анализ -- теорема о неподвижной точке
Доп.точки доступа:
Нагорный, Николай Макарович
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Теория алгорифмов и математическая логика / под ред. Б. А. Кушнера, Н. М. Нагорного ; Академия наук СССР, Вычислительный центр. - Москва : Изд-во Вычислительного центра, 1974. - 211 c.
Кл.слова (ненормированные):
теория алгорифмов -- псевдочисла -- вероятностные машины -- множества -- алгорифмы -- рекурсивные экстраполяторы -- кванторы -- вещественные числа -- математическая логика -- математика -- правило бесконечной индукции
Доп.точки доступа:
Нагорный, Н. М. \ред.\
Кушнер, Б. А. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Теория алгорифмов и математическая логика / под ред. Б. А. Кушнера, Н. М. Нагорного ; Академия наук СССР, Вычислительный центр. - Москва : Изд-во Вычислительного центра, 1974. - 211 c.
| УДК |
Кл.слова (ненормированные):
теория алгорифмов -- псевдочисла -- вероятностные машины -- множества -- алгорифмы -- рекурсивные экстраполяторы -- кванторы -- вещественные числа -- математическая логика -- математика -- правило бесконечной индукции
Доп.точки доступа:
Нагорный, Н. М. \ред.\
Кушнер, Б. А. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Смальян, Раймонд М.
Теория формальных систем / Р. Смальян ; пер. с англ. Н. К. Косовского. - Москва : Наука, 1981. - 207 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 202-204.
Кл.слова (ненормированные):
математика -- алгорифмы -- теория рекурсивных функций -- современная математика -- математическая логика -- математические исследования (XX век) -- Поста методы
Доп.точки доступа:
Косовский, Н. К. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Смальян, Раймонд М.
Теория формальных систем / Р. Смальян ; пер. с англ. Н. К. Косовского. - Москва : Наука, 1981. - 207 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 202-204.
| УДК |
Кл.слова (ненормированные):
математика -- алгорифмы -- теория рекурсивных функций -- современная математика -- математическая логика -- математические исследования (XX век) -- Поста методы
Доп.точки доступа:
Косовский, Н. К. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
5.
Подробнее
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 3-е. - Москва : Наука, 1984. - 319 c. : ил. - Библиогр. : с. 296-309.
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 3-е. - Москва : Наука, 1984. - 319 c. : ил. - Библиогр. : с. 296-309.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
6.
Подробнее
Марков, Андрей Андреевич.
Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Москва : Наука, 1984. - 432 c., [1] л. портр. - (Математическая логика и основания математики). - Библиогр. : с. 422-426.
Кл.слова (ненормированные):
математика -- математическая логика -- ассоциативные исчисления -- теория алгорифмов -- конструктивная семантика (математика) -- предикаты -- вычислимые вербальные функции -- Коши теорема -- математический анализ -- алгорифмы
Доп.точки доступа:
Нагорный, Николай Макарович
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Марков, Андрей Андреевич.
Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Москва : Наука, 1984. - 432 c., [1] л. портр. - (Математическая логика и основания математики). - Библиогр. : с. 422-426.
| УДК |
Кл.слова (ненормированные):
математика -- математическая логика -- ассоциативные исчисления -- теория алгорифмов -- конструктивная семантика (математика) -- предикаты -- вычислимые вербальные функции -- Коши теорема -- математический анализ -- алгорифмы
Доп.точки доступа:
Нагорный, Николай Макарович
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
7.
Подробнее
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 2-е, испр. - Москва : Наука, 1976. - 320 c. - Библиогр. : с. 296-309.
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 5
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 2-е, испр. - Москва : Наука, 1976. - 320 c. - Библиогр. : с. 296-309.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 5
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
8.
Подробнее
Исследования по современным проблемам конструктивной теории функций. : Сб. ст. / Под ред. Смирнов В.И. - М. : Физматгиз, 1961. - 368 c.
Кл.слова (ненормированные):
неравенства -- асимптотические оценки -- комплексная переменная -- методы -- математика -- теория функций -- интерполяционные полиномы -- аппроксимация функций -- алгорифмы -- чебышевские приближения -- полиномы
Доп.точки доступа:
Смирнов, В. И. \ред.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Исследования по современным проблемам конструктивной теории функций. : Сб. ст. / Под ред. Смирнов В.И. - М. : Физматгиз, 1961. - 368 c.
| УДК |
Кл.слова (ненормированные):
неравенства -- асимптотические оценки -- комплексная переменная -- методы -- математика -- теория функций -- интерполяционные полиномы -- аппроксимация функций -- алгорифмы -- чебышевские приближения -- полиномы
Доп.точки доступа:
Смирнов, В. И. \ред.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
9.
Подробнее
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Москва : Наука, 1971. - 320 c. - Библиогр. : с. 297-309.
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Москва : Наука, 1971. - 320 c. - Библиогр. : с. 297-309.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
10.
Подробнее
К 964
517 К 964 / К 964-Хранение Отдела организации и использования фонда
517.5 К 964 / К 964-Абонемент учебной и научной литературы (402)
Кушнер, Борис Абрамович.
Лекции по конструктивному математическому анализу / Б. А. Кушнер. - Москва : Наука, 1973. - 447 c. - (Математическая логика и основания математики). - Библиогр. : с. 427-440
Кл.слова (ненормированные):
конструктивные функции -- конструктивные действительные числа -- конструктивная сходимость -- интегрирование конструктивных функций -- математика -- перечислиме множества -- сингулярные покрытия -- континуум -- дифференцирование функций -- нормальные алгорифмы
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
К 964
517 К 964 / К 964-Хранение Отдела организации и использования фонда
517.5 К 964 / К 964-Абонемент учебной и научной литературы (402)
Кушнер, Борис Абрамович.
Лекции по конструктивному математическому анализу / Б. А. Кушнер. - Москва : Наука, 1973. - 447 c. - (Математическая логика и основания математики). - Библиогр. : с. 427-440
| УДК |
Кл.слова (ненормированные):
конструктивные функции -- конструктивные действительные числа -- конструктивная сходимость -- интегрирование конструктивных функций -- математика -- перечислиме множества -- сингулярные покрытия -- континуум -- дифференцирование функций -- нормальные алгорифмы
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
Page 1, Results: 17