Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

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

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

В текущей базе данных найдено документов :6

В других БД по вашему запросу найдено:

Электронный каталог (2)

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М") (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=510.2<.>)

Общее количество найденных документов : 6
Показаны документы с 1 по 6

Мансуров, Владимир Николаевич.
Конструктивные и развивающиеся формальные системы [Текст] : научное издание / В. Н. Мансуров ; . - Саратов : Издательство Саратовского университета, 1989. - 192, [4] c. - ISBN 5-292-00519-3 : 14.00 р.

УДК

510.2

519.71

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

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

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

УДК

510.2

510.2:1

929Драгалин

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

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

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

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

Хаусдорф, Ф.
Теория множеств [Текст] : научное издание / Ф. Хаусдорф; под ред. П. С. Александрова, А. Н. Колмогорова; пер. с нем. Н. Б. Веденисова. - 4-е изд. - М. : Изд-во ЛКИ, 2007. - 304 с. ; 22 см. - ISBN 978-5-382-00127-2 : 100.00 р.

ГРНТИ	27.03
УДК	510.2

ББК 21.1

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

Кл.слова (ненормированные):
МНОЖЕСТВА -- КАРДИНАЛЬНЫЕ ЧИСЛА -- ПОРЯДКОВЫЕ ЧИСЛА -- СИСТЕМЫ МНОЖЕСТВ -- ТОПОЛОГИЧЕСКИЕ ПРОСТРАНСТВА -- МЕТРИЧЕСКИЕ ПРОСТРАНСТВА -- ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА
Аннотация: Настоящая книга, написанная известным немецким математиком, одним из основоположников современной топологии Ф. Хаусдорфом (1868-1942), содержит очень полное и в то же время совершенно элементарное изложение теории множеств.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Александров, П. С.
Колмогоров, А. Н.
Веденисов, Н. Б.
Найти похожие

Кочергин, В. И.
Теория многомерных цифрово-векторных множеств [Электронный ресурс] : научное издание / В. И. Кочергин. - Электрон. текстовые дан. - Томск : Том. ун-т, 2006. - 1 эл. опт. диск (CD-ROM). - Систем. требования: Pentium 500 Mhz ; Windows 2000/XP ; CD-ROM. - Загл. с контейнера. - ISBN 5-7511-1987-2 : Б. ц.
диски помещены в контейнер 14x12 см. Режим доступа: http://lib.sstu.ru/open/kochergin.rar

ГРНТИ	27.03
УДК	510.2

ББК 21.1

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

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

Кочергин, В. И.
Теория многомерных цифровых множеств в приложениях к электроприводам и системам электропитания [Электронный ресурс] : научное издание / В. И. Кочергин. - Электрон. текстовые дан. - Томск : Том. ун-т, 2002. - 1 эл. опт. диск (CD-ROM). - Систем. требования: Pentium 500 Mhz ; Windows 2000/XP ; CD-ROM. - Загл. с контейнера. - ISBN 5-7511-1583-Х : Б. ц.
диски помещены в контейнер 14x12 см. Режим доступа: http://lib.sstu.ru/open/kochergin2.rar

ГРНТИ	27.03
УДК	510.2

ББК 21.1

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

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

Кочергин, В. И.
Практика теории многомерных цифро-векторных множеств (совершенные и квазисовершенные коды) [Электронный ресурс] : научное издание / В. И. Кочергин. - Электрон. текстовые дан. - Томск : Том. ун-т, 2010. - 1 эл. опт. диск (CD-ROM). - Систем. требования: Pentium 500 Mhz ; Windows 2000/XP ; CD-ROM. - Загл. с контейнера. - ISBN 978-5-7511-1937-1 : Б. ц.
диски помещены в контейнер 14x12 см. Режим доступа: http://lib.sstu.ru/open/kochergin3.rar

ГРНТИ	27.03
УДК	510.2

ББК 21.1

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

Кл.слова (ненормированные):
МНОГОМЕРНЫЕ МНОЖЕСТВА -- ЦИФРОВЫЕ МНОЖЕСТВА -- ВЕКТОРНЫЕ МНОЖЕСТВА -- СОВЕРШЕННЫЕ КОДЫ -- КВАЗИСОВЕРШЕННЫЕ КОДЫ -- СИСТЕМЫ СЧИСЛЕНИЯ -- МНОГОФАЗНЫЕ КОДЫ -- СИНТЕЗИРОВАННЫЕ КОДЫ
Аннотация: В книге представлены все совершенные коды, исправляющие одиночные ошибки двоичной системы счисления основания n=16, а также синтезированные из них квазисовершенные коды, исправляющие одиночные ошибки для двоичных систем счисления оснований n=8,4. приведен синтез квазисовершенного двоичного кода основания n=32 и совершенных многофазных кодов, являющихся составной частью цифровых электроприводов. Изложение производится на практическом схемотехническом уровне реализации принципиальных схем.
Перейти к внешнему ресурсу Полный текст
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)