| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :7
 В других БД по вашему запросу найдено:Электронный каталог (3)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>A=Драгалин, $<.>
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

    Колмогоров, Андрей Николаевич (1903-1987).
    Математическая логика: Дополнительные главы [Текст] : учеб. пособие для студентов вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Моск. ун-та, 1984. - 117, [3] с. - Библиогр. - ISBN [Б. и.] : 20.00 р.
УДК
510(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Драгалин, Альберт Григорьевич
Найти похожие
2.

    Драгалин, Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ [Текст] : научное издание / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543, [1] с. : портр. - Библиогр. - ISBN 5-354-00387-3 (в пер.) : 125.00 р.
УДК
510.2
510.2:1
929Драгалин

Рубрики: математика--математическая логика--Россия, 20 в., 1941-1998 гг.

   философия--философия науки--Россия, 20 в., 1941-1998 гг.

Кл.слова (ненормированные):
математическая логика -- доказательств теория -- нестандартный анализ -- конструктивные методы -- интуиционизм -- персоналии -- математики -- философия математики
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского



Найти похожие
3.

    Колмогоров, Андрей Николаевич (1903-1987).
    Математическая логика [Текст] : учеб. пособие для студентов мат. специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; . - Москва : Едиториал УРСС, 2004. - 238, [2] c. - (Классический университетский учебник). - Библиогр. - ISBN 5-354-00389-X (в пер.) : 120.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгорифмов теория -- доказательств теория
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Драгалин, Альберт Григорьевич

Найти похожие
4.

    Колмогоров, А. Н.
    Введение в математическую логику [Текст] : учеб. пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Моск. ун-та, 1982. - 120 с. : ил. ; 20 см. - 0.25 р.
Гриф: допущено Мин-вом высш. и сред. спец. образования СССР в качестве учебного пособия для студ. математ. спец. вузов
ГРНТИ
27.03.01.33
УДК
517(075)

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
математика -- математическая логика -- математическая модель -- логика -- логические методы
Аннотация: Пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Драгалин, А. Г.
Найти похожие
5.

    Кейслер, Г. Дж.
    Теория непрерывных моделей [Текст] / Г. Дж. Кейслер, Чэн Чень-чунь ; пер. с англ. Г. А. Бурле ; под ред. А. Г. Драгалина = Continuous model theory / Chung Chang Chen and H. J. Keisler : монография. - М. : Изд-во "Мир", 1971. - 184 с. : ил. ; 20 см. - Библиогр.: с. 173-177. - 0.53 р.
Тит. л. парал. на англ. яз.
ГРНТИ
27.23
УДК
517

Рубрики: Математика--Анализ

Кл.слова (ненормированные):
НЕПРЕРЫВНАЯ ЛОГИКА -- ТЕОРИЯ МОДЕЛЕЙ -- ЭКВИВАЛЕНТНЫЕ МОДЕЛИ -- УЛЬТРАПРОИЗВЕДЕНИЯ МОДЕЛЕЙ -- СПЕЦИАЛЬНЫЕ МОДЕЛИ -- АЛГЕБРАИЧЕСКИЕ ОТНОШЕНИЯ
Аннотация: Небольшая монография, посвященная теории классов моделей - области математической логики, интенсивно развивавшейся в течение последних 10-15 лет. Содержание монографии - обобщение теории моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и теории множеств и элементарные сведения по математической логике. Изложение сопровождается упражнениями и задачами.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Чэн Чень-чунь, Chen Chung Chang
Бурле, Г. А.
Драгалин, А. Г.
Найти похожие
6.

    Колмогоров, Андрей Николаевич.
    Введение в математическую логику [Текст] : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Издательство Московского государственного университета, 1982. - 119 с. - 0.25 р.
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- логико-математические языки -- логические законы -- математическая логика -- математический язык -- теория множеств -- формальные аксиоматические теории
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Драгалин, Альберт Григорьевич
Найти похожие
7.

    Марков, Андрей Андреевич.
    Элементы математической логики [Текст] / А. А. Марков ; ред. А. Г. Драгалин. - Москва : Издательство Московского государственного университета, 1984. - 79 с. - 0.40 р.
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
алгорифмы -- высказывания -- логика высказываний -- математическая логика -- предикаты -- семиотика
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Драгалин, А. Г.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)