Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 56
Отмеченные записи: 0
1.
Подробнее
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
| УДК |
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Воронов, Михаил Владимирович.
Математика для студентов гуманитарных факультетов : учебник / М. В. Воронов, Г. П. Мещерякова ; Санкт-Петербургский университет технологии и дизайна. ; Санкт-Петербургский государственный университет технологии и дизайна. - Ростов-на-Дону : Феникс, 2002. - 375 c. : ил., табл. - (Учебники, учебные пособия). - Библиогр. : с. 361-365.. - ISBN 5222022129
Рубрики: высшая математика--учебные издания для вузов
Кл.слова (ненормированные):
множеств теория -- комбинаторика -- дискретная математика -- математические модели -- математические методы -- интегралы -- алгебра предикатов -- математическая логика -- математический анализ -- булевы функции -- математика случайного -- матрицы -- линейные пространства -- интегрирование -- теория вероятностей -- пространства (математика)
Доп.точки доступа:
Мещерякова, Галина Пантелеевна
Санкт-Петербургский государственный университет технологии и дизайна
Экземпляры всего: 6
Абонемент учебной и научной литературы (4), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (4), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Воронов, Михаил Владимирович.
Математика для студентов гуманитарных факультетов : учебник / М. В. Воронов, Г. П. Мещерякова ; Санкт-Петербургский университет технологии и дизайна. ; Санкт-Петербургский государственный университет технологии и дизайна. - Ростов-на-Дону : Феникс, 2002. - 375 c. : ил., табл. - (Учебники, учебные пособия). - Библиогр. : с. 361-365.. - ISBN 5222022129
| УДК |
Рубрики: высшая математика--учебные издания для вузов
Кл.слова (ненормированные):
множеств теория -- комбинаторика -- дискретная математика -- математические модели -- математические методы -- интегралы -- алгебра предикатов -- математическая логика -- математический анализ -- булевы функции -- математика случайного -- матрицы -- линейные пространства -- интегрирование -- теория вероятностей -- пространства (математика)
Доп.точки доступа:
Мещерякова, Галина Пантелеевна
Санкт-Петербургский государственный университет технологии и дизайна
Экземпляры всего: 6
Абонемент учебной и научной литературы (4), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (4), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
3.
Подробнее
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 3-е, стер. - Санкт-Петербург : Лань, 2004. - 336 c. - (Учебники для вузов. Специальная литература). - ISBN 5811405332
Кл.слова (ненормированные):
алгебраические системы -- алгоритмы -- рекурсивные функции -- математическая логика -- множеств теория -- булева алгебра -- Логика -- теория множеств -- исчисление предикатов -- Эрбрана теорема
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 3-е, стер. - Санкт-Петербург : Лань, 2004. - 336 c. - (Учебники для вузов. Специальная литература). - ISBN 5811405332
| УДК |
Кл.слова (ненормированные):
алгебраические системы -- алгоритмы -- рекурсивные функции -- математическая логика -- множеств теория -- булева алгебра -- Логика -- теория множеств -- исчисление предикатов -- Эрбрана теорема
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
4.
Подробнее
С 981
Сюдсетер, Кнут.
Справочник по математике для экономистов / Кнут Сюдсетер, Арне Стрем, Питер Берк ; пер. с норв. [Г. Н. Захаровой]. - Санкт-Петербург : Изд-во Экономической школы : Изд-во Санкт-Петербургского университета экономики и финансов, 2000. - 228 c. : ил. - (Библиотека "Экономической школы". ; вып. 30.). - Библиогр. : с. 216-219.. - ISBN 5900428567
Парал. тит. л. на норв. яз.
Рубрики: высшая математика--справочники
Кл.слова (ненормированные):
математика для экономистов -- финансовая математика -- множеств теория -- оптимальное управление -- дифференциальное исчисление -- игр теория -- математическое программирование -- комплексные числа -- матрицы -- прикладная статистика -- производственные функции -- вероятностей теория
Доп.точки доступа:
Стрем, Арне.
Берк, Питер
Захарова, Г. Н. \пер.\
Экземпляры всего: 9
Абонемент учебной и научной литературы (7), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (7), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
С 981
Сюдсетер, Кнут.
Справочник по математике для экономистов / Кнут Сюдсетер, Арне Стрем, Питер Берк ; пер. с норв. [Г. Н. Захаровой]. - Санкт-Петербург : Изд-во Экономической школы : Изд-во Санкт-Петербургского университета экономики и финансов, 2000. - 228 c. : ил. - (Библиотека "Экономической школы". ; вып. 30.). - Библиогр. : с. 216-219.. - ISBN 5900428567
Парал. тит. л. на норв. яз.
| УДК |
Рубрики: высшая математика--справочники
Кл.слова (ненормированные):
математика для экономистов -- финансовая математика -- множеств теория -- оптимальное управление -- дифференциальное исчисление -- игр теория -- математическое программирование -- комплексные числа -- матрицы -- прикладная статистика -- производственные функции -- вероятностей теория
Доп.точки доступа:
Стрем, Арне.
Берк, Питер
Захарова, Г. Н. \пер.\
Экземпляры всего: 9
Абонемент учебной и научной литературы (7), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (7), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
5.
Подробнее
Практическое руководство к решению задач по высшей математике : линейная алгебра, векторная алгебра, аналитическая геометрия, введение в математический анализ, производная и ее приложения : учебное пособие / И. А. Соловьев, В. В. Шевелев, А. В. Червяков [и др.]. - Санкт-Петербург : Лань, 2007. - 319 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 316.. - ISBN 9785811407514
Рубрики: высшая математика--учебные издания для вузов
Кл.слова (ненормированные):
линейная алгебра -- векторная алгебра -- аналитическая геометрия -- математический анализ -- дифференциальное исчисление -- функции одной переменной -- производные функций -- дифференциалы функций -- пределы функций -- множеств теория
Доп.точки доступа:
Соловьев, Игорь Алексеевич
Шевелев, Валентин Владимирович
Червяков, Александр Викторович
Экземпляры всего: 3
ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (2)
Свободны: ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (2)
Практическое руководство к решению задач по высшей математике : линейная алгебра, векторная алгебра, аналитическая геометрия, введение в математический анализ, производная и ее приложения : учебное пособие / И. А. Соловьев, В. В. Шевелев, А. В. Червяков [и др.]. - Санкт-Петербург : Лань, 2007. - 319 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 316.. - ISBN 9785811407514
| УДК |
Рубрики: высшая математика--учебные издания для вузов
Кл.слова (ненормированные):
линейная алгебра -- векторная алгебра -- аналитическая геометрия -- математический анализ -- дифференциальное исчисление -- функции одной переменной -- производные функций -- дифференциалы функций -- пределы функций -- множеств теория
Доп.точки доступа:
Соловьев, Игорь Алексеевич
Шевелев, Валентин Владимирович
Червяков, Александр Викторович
Экземпляры всего: 3
ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (2)
Свободны: ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (2)
6.
Подробнее
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 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)
7.
Подробнее
Справочное пособие по математическому анализу : Ряды, функции векторного аргумента, кратные и криволинейные интегралы / И. И. Ляшко, А. К. Боярчук, Я. Г. Гай и др. - Изд. 2-е, перераб. и доп. - Киев : Вища школа, 1986. - 567 c. : ил.
Рубрики: математический анализ--справочники
Кл.слова (ненормированные):
векторные пространства -- производные (математика) -- множеств теория -- функции (математика) -- комплексные числа -- Тейлора формула -- интегралы -- метрические пространства -- отображения (математика) -- дифференциальное исчисление -- действительные числа
Доп.точки доступа:
Ляшко, Иван Иванович
Гай, Яков Гаврилович
Боярчук, Алексей Климентьевич
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Справочное пособие по математическому анализу : Ряды, функции векторного аргумента, кратные и криволинейные интегралы / И. И. Ляшко, А. К. Боярчук, Я. Г. Гай и др. - Изд. 2-е, перераб. и доп. - Киев : Вища школа, 1986. - 567 c. : ил.
| УДК |
Рубрики: математический анализ--справочники
Кл.слова (ненормированные):
векторные пространства -- производные (математика) -- множеств теория -- функции (математика) -- комплексные числа -- Тейлора формула -- интегралы -- метрические пространства -- отображения (математика) -- дифференциальное исчисление -- действительные числа
Доп.точки доступа:
Ляшко, Иван Иванович
Гай, Яков Гаврилович
Боярчук, Алексей Климентьевич
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
8.
Подробнее
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 2-е, испр. - Москва : Наука, 1976. - 320 c. - Библиогр. : с. 296-309.
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 5
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 2-е, испр. - Москва : Наука, 1976. - 320 c. - Библиогр. : с. 296-309.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 5
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
9.
Подробнее
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Москва : Наука, 1971. - 320 c. - Библиогр. : с. 297-309.
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Москва : Наука, 1971. - 320 c. - Библиогр. : с. 297-309.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
10.
Подробнее
В 170
Ван Хао.
Аксиоматические системы теории множеств / Ван Хао, Р. Мак-Нотон ; пер. с франц. И. Б. Погребысского. - Москва : Иностранная литература, 1963. - 53 c. - (Библиотека сборника "Математика".)
Кл.слова (ненормированные):
множеств теория -- математическая логика -- типов теория -- аксиоматические системы -- абстрактных множеств теория -- основания математики
Доп.точки доступа:
Мак-Нотон, Р.
Погребысский, И. Б. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
В 170
Ван Хао.
Аксиоматические системы теории множеств / Ван Хао, Р. Мак-Нотон ; пер. с франц. И. Б. Погребысского. - Москва : Иностранная литература, 1963. - 53 c. - (Библиотека сборника "Математика".)
| УДК |
Кл.слова (ненормированные):
множеств теория -- математическая логика -- типов теория -- аксиоматические системы -- абстрактных множеств теория -- основания математики
Доп.точки доступа:
Мак-Нотон, Р.
Погребысский, И. Б. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Page 1, Results: 56