Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 32
Отмеченные записи: 0
1.
Подробнее
Кусраев, Анатолий Георгиевич.
Нестандартные методы анализа / А. Г. Кусраев, С. С. Кутателадзе ; отв. ред. Ю. Г. Решетняк, Академия наук СССР, Сибирское отделение, Институт математики. ; Институт математики (Новосибирск). - Новосибирск : Наука, 1990. - 344 c. : ил. - Библиогр. : с. 331-340.
Кл.слова (ненормированные):
математический анализ -- монады -- методы анализа -- универсумы множеств -- инфинитезимальный анализ -- булевы алгебры -- булевозначный анализ -- субдифференциалы -- математика -- теория множеств -- фильтры -- топология -- функторы булевозначного анализа
Доп.точки доступа:
Кутателадзе, Семен Самсонович
Решетняк, Ю. Г. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Кусраев, Анатолий Георгиевич.
Нестандартные методы анализа / А. Г. Кусраев, С. С. Кутателадзе ; отв. ред. Ю. Г. Решетняк, Академия наук СССР, Сибирское отделение, Институт математики. ; Институт математики (Новосибирск). - Новосибирск : Наука, 1990. - 344 c. : ил. - Библиогр. : с. 331-340.
| УДК |
Кл.слова (ненормированные):
математический анализ -- монады -- методы анализа -- универсумы множеств -- инфинитезимальный анализ -- булевы алгебры -- булевозначный анализ -- субдифференциалы -- математика -- теория множеств -- фильтры -- топология -- функторы булевозначного анализа
Доп.точки доступа:
Кутателадзе, Семен Самсонович
Решетняк, Ю. Г. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Теория алгорифмов и математическая логика / под ред. Б. А. Кушнера, Н. М. Нагорного ; Академия наук СССР, Вычислительный центр. - Москва : Изд-во Вычислительного центра, 1974. - 211 c.
Кл.слова (ненормированные):
теория алгорифмов -- псевдочисла -- вероятностные машины -- множества -- алгорифмы -- рекурсивные экстраполяторы -- кванторы -- вещественные числа -- математическая логика -- математика -- правило бесконечной индукции
Доп.точки доступа:
Нагорный, Н. М. \ред.\
Кушнер, Б. А. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Теория алгорифмов и математическая логика / под ред. Б. А. Кушнера, Н. М. Нагорного ; Академия наук СССР, Вычислительный центр. - Москва : Изд-во Вычислительного центра, 1974. - 211 c.
| УДК |
Кл.слова (ненормированные):
теория алгорифмов -- псевдочисла -- вероятностные машины -- множества -- алгорифмы -- рекурсивные экстраполяторы -- кванторы -- вещественные числа -- математическая логика -- математика -- правило бесконечной индукции
Доп.точки доступа:
Нагорный, Н. М. \ред.\
Кушнер, Б. А. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Девис М.
Прикладной нестандартный анализ : Пер. с англ / Девис М.; Под ред. В.А.Успенский. - М. : Мир, 1980. - 236 c.
Кл.слова (ненормированные):
математика -- метрическое пространство(мат) -- прикладной анализ -- нестандартный анализ -- математическая логика -- Логика -- гильбертовы пространства -- действительные числа -- гипердействительные числа -- топологические пространства
Доп.точки доступа:
Успенский, Владимир Андреевич \ред.\
Свободных экз. нет
Девис М.
Прикладной нестандартный анализ : Пер. с англ / Девис М.; Под ред. В.А.Успенский. - М. : Мир, 1980. - 236 c.
| УДК |
Кл.слова (ненормированные):
математика -- метрическое пространство(мат) -- прикладной анализ -- нестандартный анализ -- математическая логика -- Логика -- гильбертовы пространства -- действительные числа -- гипердействительные числа -- топологические пространства
Доп.точки доступа:
Успенский, Владимир Андреевич \ред.\
Свободных экз. нет
4.
Подробнее
Соминский, Илья Самуилович.
Метод математической индукции / И. С. Соминский. - Изд. 8-е. - Москва : Наука, 1974. - 63 c. - (Популярные лекции по математике ; вып. 3.)
Кл.слова (ненормированные):
математика -- алгебраические задачи -- доказательства -- математическая индукция -- тригонометрические задачи -- элементарная алгебра -- метод математической индукции -- тождества -- неравенства
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Соминский, Илья Самуилович.
Метод математической индукции / И. С. Соминский. - Изд. 8-е. - Москва : Наука, 1974. - 63 c. - (Популярные лекции по математике ; вып. 3.)
| УДК |
Кл.слова (ненормированные):
математика -- алгебраические задачи -- доказательства -- математическая индукция -- тригонометрические задачи -- элементарная алгебра -- метод математической индукции -- тождества -- неравенства
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
5.
Подробнее
Мальцев, Анатолий Иванович
Избранные труды / А. И. Мальцев ; Академия наук СССР, Отдление математики. - Москва : Наука, 1976 - .
в 2 т. : т. 2 : Математическая логика и общая теория алгебраических систем / Академия наук СССР, Отделение математики. - 388 c.
Кл.слова (ненормированные):
абстрактные алгебры -- модельные соответствия -- рекурсивные абелевы группы -- математика -- математическая логика -- теория алгебраических систем
Доп.точки доступа:
Академия наук СССР. Отделение математики
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Мальцев, Анатолий Иванович
Избранные труды / А. И. Мальцев ; Академия наук СССР, Отдление математики. - Москва : Наука, 1976 - .
в 2 т. : т. 2 : Математическая логика и общая теория алгебраических систем / Академия наук СССР, Отделение математики. - 388 c.
| УДК |
Кл.слова (ненормированные):
абстрактные алгебры -- модельные соответствия -- рекурсивные абелевы группы -- математика -- математическая логика -- теория алгебраических систем
Доп.точки доступа:
Академия наук СССР. Отделение математики
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
6.
Подробнее
Заде, Л.
Понятие лингвистической переменной и его применение к принятию приближенных решений / Л. Заде ; пер. с англ. Н. И. Ринго. - Москва : Мир, 1976. - 165 c. : ил. - (Математика. Новое в зарубежной науке ; вып. 3.). - Библиогр. : с. 147-149.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
математика -- математическая экономика -- прикладная математика -- лингвистическая переменная -- проблемы управления -- теория систем
Доп.точки доступа:
Ринго, Н. И. \пер.\
Экземпляры всего: 4
Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Заде, Л.
Понятие лингвистической переменной и его применение к принятию приближенных решений / Л. Заде ; пер. с англ. Н. И. Ринго. - Москва : Мир, 1976. - 165 c. : ил. - (Математика. Новое в зарубежной науке ; вып. 3.). - Библиогр. : с. 147-149.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
математика -- математическая экономика -- прикладная математика -- лингвистическая переменная -- проблемы управления -- теория систем
Доп.точки доступа:
Ринго, Н. И. \пер.\
Экземпляры всего: 4
Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
7.
Подробнее
Сакс, Дж. Е.
Теория насыщенных моделей / Дж. Е. Сакс ; пер. с англ. Л. Л. Максимовой, Е. А. Палютина. - Москва : Мир, 1976. - 190 c. : ил. - Библиогр. : с. 181-182.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
Морли производная -- теория насыщенных моделей -- однородные системы -- модельная полнота -- прикладная математика -- моделей теория -- математика -- модели насыщенные -- топология -- дифференциальное замыкание -- математическая логика -- алгебра
Доп.точки доступа:
Максимова, Л. Л. \пер.\
Палютин, Е. А. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Сакс, Дж. Е.
Теория насыщенных моделей / Дж. Е. Сакс ; пер. с англ. Л. Л. Максимовой, Е. А. Палютина. - Москва : Мир, 1976. - 190 c. : ил. - Библиогр. : с. 181-182.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
Морли производная -- теория насыщенных моделей -- однородные системы -- модельная полнота -- прикладная математика -- моделей теория -- математика -- модели насыщенные -- топология -- дифференциальное замыкание -- математическая логика -- алгебра
Доп.точки доступа:
Максимова, Л. Л. \пер.\
Палютин, Е. А. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
8.
Подробнее
Шенфилд Дж.
Степени неразрешимости : Пер. с англ. / Шенфилд Дж.; Под ред. Ершов Ю.Л. - М. : Наука, 1977. - 192 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
степени (мат) -- метод приоритета -- степени неразрешимости -- изоморфизмы -- минимальные степени -- несравнимые степени -- простые множества -- рекурсивные функции -- НЛ -- теорема о разложении -- индексные множества -- алгоритмы -- математика -- максимальные множества
Доп.точки доступа:
Ершов Ю.Л. \ред.\
Свободных экз. нет
Шенфилд Дж.
Степени неразрешимости : Пер. с англ. / Шенфилд Дж.; Под ред. Ершов Ю.Л. - М. : Наука, 1977. - 192 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
степени (мат) -- метод приоритета -- степени неразрешимости -- изоморфизмы -- минимальные степени -- несравнимые степени -- простые множества -- рекурсивные функции -- НЛ -- теорема о разложении -- индексные множества -- алгоритмы -- математика -- максимальные множества
Доп.точки доступа:
Ершов Ю.Л. \ред.\
Свободных экз. нет
9.
Подробнее
Целищев, Виталий Валентинович.
Понятие объекта в модальной логике / Целищев В.В.; АН СССР.СО.Ин-т истории,филологии и философии. - Новосибирск : Наука, 1978. - 174 c.
Кл.слова (ненормированные):
математика -- объективность -- философская доктрина -- модальные парадоксы -- модальность -- возможные миры -- элиминация -- реализм -- себетождественность -- дескрипции -- Логика -- кванторная модальная логика -- парадоксы -- индивидные сущности -- модальная логика -- объект -- эссенциализм -- НЛ
Доп.точки доступа:
Институт истории, филологии и философии (Новосибирск)
Свободных экз. нет
Целищев, Виталий Валентинович.
Понятие объекта в модальной логике / Целищев В.В.; АН СССР.СО.Ин-т истории,филологии и философии. - Новосибирск : Наука, 1978. - 174 c.
| УДК |
Кл.слова (ненормированные):
математика -- объективность -- философская доктрина -- модальные парадоксы -- модальность -- возможные миры -- элиминация -- реализм -- себетождественность -- дескрипции -- Логика -- кванторная модальная логика -- парадоксы -- индивидные сущности -- модальная логика -- объект -- эссенциализм -- НЛ
Доп.точки доступа:
Институт истории, филологии и философии (Новосибирск)
Свободных экз. нет
10.
Подробнее
Такеути, Гаиси.
Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева. - Москва : Мир, 1978. - 412 c.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
устранимость сечений -- математическая логика -- математический анализ -- проблемы непротиворечивости -- предикаты -- простая теория типов -- Пеано арифметика -- теория доказательств -- принципы рефлексии -- инфинитарная логика -- ординальные диаграммы -- математика
Доп.точки доступа:
Соболев, С. К. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Такеути, Гаиси.
Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева. - Москва : Мир, 1978. - 412 c.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
устранимость сечений -- математическая логика -- математический анализ -- проблемы непротиворечивости -- предикаты -- простая теория типов -- Пеано арифметика -- теория доказательств -- принципы рефлексии -- инфинитарная логика -- ординальные диаграммы -- математика
Доп.точки доступа:
Соболев, С. К. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Страница 1, Результатов: 32