Digital catalogue

51(075.8)
З 15

    Задачник-практикум по высшей математике. Множества. Функции. Предел. Непрерывность. Производная : учебное пособие / Ред;. В.А.Волкова. - Л. : Изд-во ЛГУ, 1988. - 221 с. : 22 см. - ISBN 5-288-00121-9 : 0р. 45к. тг.

Задачник-практикум по высшей математике. Множества. Функции. Предел. Непрерывность. Производная [Текст] : Учебное пособие / Ред;. В.А.Волкова, 1988. - 221 с.

Палютин, Е. А.
    Математическая логика : учеб. пособие для вузов / Е. А. Палютин, Ершов Ю.Л,. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.

Рубрики: Математика

Кл.слова (ненормированные):
Классические исчисления -- Исчисление высказываний -- Исчисление предикатов с равенством -- Теория множеств -- Теория алгоритмов -- Теории и модели

Доп.точки доступа:
Ершов Ю.Л,

Палютин, Е.А. Математическая логика [Текст] : Учеб. пособие для вузов / Е. А. Палютин, Ершов Ю.Л,, 1987. - 336 с.

Куликов, В. В.
    Дискретная математика : учебное пособие / В. В. Куликов. - М. : РИОР, 2007. - 174 с. - ISBN 978-5-369-00205-6 : Б. ц.

Рубрики: Математика

Кл.слова (ненормированные):
Элементы математичкой логики -- Логическое следование -- Теория множеств -- Теория алгоритмов -- Элементы теории грифов -- КомбинаторикаКонецные автоматы

Куликов, В.В. Дискретная математика [Текст] : Учебное пособие / В. В. Куликов, 2007. - 174 с с.

    Теория доказательств и конструктивная математика = В 4-х частях : пер. с англ. Ч. 4 / Под ред. Дж.Барвайса. - М. : Наука, 1983. - 392 с. - Б. ц.

Рубрики: Математика

Кл.слова (ненормированные):
Теория моделей -- Теория множеств -- теория рекурсии

Теория доказательств и конструктивная математика [Текст] : Пер. с англ. Ч. 4 / Под ред. Дж.Барвайса, 1983. - 392 с.

Шварц, Л.
    Анализ : пер. с фр. Б.П.Пугачева. Том 1 / Под ред. С.К.Крейна. - М. : Мир, 1972. - 825 с. - Б. ц.

Рубрики: Математика

Кл.слова (ненормированные):
Теория множеств -- Топология -- Дифференциальное исчисление -- Интегральное исчисление

Шварц, Л. Анализ [Текст] : Пер. с фр. Б.П.Пугачева. Том 1 / Под ред. С.К.Крейна, 1972. - 825 с.

517.1
Б 912
Бурбаки, Н.
    Алгебра. Алгебраические структуры линейная и полилинейная алгебра / Перевод с фран.Райкова Д.А. - Москва : Государственное издательство физико-математической литературы, 1962. - стр.516. - 1р.64 к. тг.

Бурбаки, Н. Алгебра. Алгебраические структуры линейная и полилинейная алгебра [Текст] / Перевод с фран.Райкова Д.А, 1962. - стр.516 с.

517.2
С 544
Соболев, В. И
    Лекции по дополнительным главам математического анализа / В.И Соболев. - Москва : Наука, 1968. - стр.288. - 0р.61 к.

Соболев, В.И Лекции по дополнительным главам математического анализа [Текст] , 1968. - стр.288 с.

517.2
К 546
Князев, П. Н
    Функциональный анализ / П.Н Князев. - Минск : Вышэйшая школа, 1985. - стр.201. - 0с.70 т.

Князев, П.Н Функциональный анализ [Текст] , 1985. - стр.201 с.

517.2
Х 204
Харин, Н. Н
    Математическая логика и теория множеств : (О соотношении абстрактного и конкретного) / Н.Н Харин. - [Б. м.] : Росвузиздат, 1963. - стр.191. - 0р.90 к.

Харин, Н.Н Математическая логика и теория множеств [Текст] : (О соотношении абстрактного и конкретного), 1963. - стр.191 с.

517.8
А 955
Ахо, А.
    Теория синтаксического анализа, перевода и компиляции. Синтаксический анализ : перевод с анг:В.П.Агафонова. Т. 1 / Под ред.В.М.Курочкина. - Москва : Мир, 1978. - стр.611. - 2р.90 к. тг.

Ахо, А. Теория синтаксического анализа, перевода и компиляции. Синтаксический анализ [Текст] : Перевод с анг:В.П.Агафонова. Т. 1 / Под ред.В.М.Курочкина, 1978. - стр.611 с.