Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

Поисковый запрос: (<.>R=27.03$<.>)

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

1-20 21-40 41-60 61-68

Новиков, П. С.
Элементы математической логики [Текст] : научное издание / П. С. Новиков. - М. : Гос. изд-во физико-мат. лит., 1959. - 400 с. ; 21 см. - (Математическая логика и основания математики). - 11.05 р.

ГРНТИ	27.03
УДК	51

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

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

Логика. Автоматы. Алгоритмы [Текст] : научное издание / М. А. Айзерман [и др.]. - М. : Гос. изд-во физико-мат. лит., 1963. - 556 с. : ил. ; 20 см. - Библиогр.: с. 536-549 (284 назв.). - 1.45 р.

ГРНТИ	27.03
УДК	510.6+621-52+681.17

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

Кл.слова (ненормированные):
ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ -- КОНЕЧНЫЕ АВТОМАТЫ -- АЛГОРИТМЫ -- АБСТРАКТНАЯ ТЕОРИЯ АВТОМАТОВ -- ПОСЛЕДОВАТЕЛЬНОСТНЫЕ МАШИНЫ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Айзерман, М. А.
Гусев, Л. А.
Розоноэр, Л. И.
Смирнова, И. М.
Найти похожие

Харин, Н. Н.
Математическая логика и теория множеств [Текст] : о соотношении абстрактного и конкретного / Н. Н. Харин ; под ред. Я. Л. Харапинского. - М. : Росвузиздат, 1963. - 192 с. ; 22 см. - Библиогр.: с. 191-192. - 0.90 р.

ГРНТИ	27.03
УДК	510.6

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

Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- АБСТРАКТНОЕ МЫШЛЕНИЕ -- КОНКРЕТНОЕ МЫШЛЕНИЕ -- ТЕОРИЯ МНОЖЕСТВ -- ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Харапинский, Я. Л.
Найти похожие

Сборник задач по математической логике и алгебре множеств [Текст] : сборник задач / А. В. Гохман [и др.]. - Саратов : Изд-во Сарат. ун-та, 1965. - 87 с. : рис. ; 22 см. - 0.20 р.

ГРНТИ	27.03.01.33	27.17.01.33
УДК	510.6+512(076)

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

Математика--Математическая логика

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

Доп. точки доступа:
Гохман, А. В.
Спивак, М. А.
Житомирский, Г. И.
Розен, В. В.
Рыжков, А. Г.
Салий, В. Н.
Шимельфениг, О. В.
Найти похожие

Слупецкий, Е.
Элементы математической логики и теории множеств [Текст] : научное издание / Е. Слупецкий, Л. Борковский ; пер. с пол. О. Ф. Серебрянникова. - М. : Прогресс, 1965. - 386 с. ; 21 см. - . - 1.23 р.

ГРНТИ	27.03
УДК	510.6

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

Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА -- ТЕОРЕТИЧЕСКАЯ ЛОГИКА -- СИМВОЛИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Борковский, Л.
Серебрянников, О. Ф.
Найти похожие

Мальцев, А. И.
Алгоритмы и рекурсивные функции [Текст] : научное издание / А. И. Мальцев. - М. : Наука, 1965. - 391 с. ; 20 см. - 1.22 р.

ГРНТИ	27.03	27.47
УДК	518.5

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

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

Лакатос, И.
Доказательства и опровержения [Текст] : как доказываются теоремы / И. Лакатос ; отв. ред. И. Б. Погребысский ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР (Москва). - М. : Наука, 1967. - 152 с. : ил. ; 19 см. - Библиогр.: с. 146-151. - 0.50 р.

ГРНТИ	27.03
УДК	510

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

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

Доп. точки доступа:
Погребысский, И. Б.
Веселовский, И. Н.
Найти похожие

Пензов, Ю. Е.
Элементы математической логики и теории множеств [Текст] : научное издание / Ю. Е. Пензов. - Саратов : Изд-во Сарат. ун-та , 1968. - 143 с. : ил. ; 20 см. - Библиогр.: с. 141 (16 назв.). - 0.60 р.

ГРНТИ	27.03
УДК	510.6

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

Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ЛОГИКА -- ЛОГИКА ПРЕДИКАТОВ -- БИНАРНЫЕ ОТНОШЕНИЯ -- ПРЕОБРАЗОВАНИЯ МНОЖЕСТВ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Сборник задач по математической логике и алгебре множеств [Текст] : сборник задач / А. В. Гофман [и др.]. - 2-е изд., испр. и доп. - Саратов : Изд-во Сарат. ун-та , 1969. - 90 с. : черт. ; 20 см. - 0.16 р.

ГРНТИ	27.03.01.33	27.17.01.33
УДК	510.6+519.6(076)

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

Математика--Алгебра

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА МНОЖЕСТВ -- ДВОИЧНАЯ БУЛЕВАЯ АЛГЕБРА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ -- БИНАРНЫЕ ОТНОШЕНИЯ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Гофман, А. В.
Спивак, М. А.
Розен, В. В.
Салий, В. Н.
Найти похожие

10.

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций [Текст] : сб. пер. / под ред. В. А. Козмидиади, А. А. Мучника. - М. : Мир, 1970. - 432 с. : ил. ; 21 см. - (Б-ка "Кибернетического Сборника"). - Библиогр. в конце ст. - 1.94 р.

ГРНТИ	27.03
УДК	510.6

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

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

Доп. точки доступа:
Козмидиади, В. А.
Мучник, А. А.
Найти похожие

11.

Неоклассическая логика [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1970. - 383 с. ; 22 см. - 1.18 р.

ГРНТИ	27.03
УДК	510.6

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

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

Доп. точки доступа:
Таванец, П. В.
Найти похожие

12.

Мендельсон, Э.
Введение в математическую логику [Текст] : научное издание / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; Под ред. С. И. Адяна. - М. : Наука, 1971. - 320 с. ; 22 см. - 1.77 р.

ГРНТИ	27.03
УДК	16

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

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

Доп. точки доступа:
Кабаков, Ф. А.
Адян, С.И.
Найти похожие

13.

Марков, А. А.
О логике конструктивной математики [Текст] : научное издание / А. А. Марков. - М. : Знание, 1972. - 47 с. ; 22 см. - (Новое в жизни, науке, технике. Математика, кибернетика ; 8). - Библиогр.: с. 46

ГРНТИ	27.03
УДК	51:164

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

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

14.

Теория логического вывода [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Наука, 1973. - 272 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 270 . - 0.76 р.

ГРНТИ	27.03
УДК	510.6

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

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

Доп. точки доступа:
Таванец, П. В.
Найти похожие

15.

Очерки о математике [Текст] : сб. статей / сост. В. Н. Вапник. - М. : Изд-во "Знание", 1973. - 62 с. ; 20 см. - (Новое в жизни, науке, технике. 6, Математика, кибернетика)

ГРНТИ	27.03
УДК	51

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

Кл.слова (ненормированные):
АКСИОМАТИКА -- АРИФМЕТИКА -- ГЕОМЕТРИЯ -- АКСИОМА -- МЫШЛЕНИЕ
Аннотация: Содержит переводы двух статей. Посвящена математической логике и основаниям математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Вапник, В. Н.
Найти похожие

16.

Клини, С. К.
Математическая логика [Текст] : научное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - М. : Мир, 1973. - 480 с. ; 22 см. - Указ.: с. 471-478. - 2.50 р.

ГРНТИ	27.03
УДК	517.11

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

Доп. точки доступа:
Гастев, Ю. А.
Минц, Г. Е.
Найти похожие

17.

Градштейн, И. С.
Прямая и обратная теоремы (элементы алгебры логики) [Текст] : научное издание / И. С. Градштейн. - 5-е изд. - М. : Изд-во "Наука" : Гл. ред. физико-мат. лит., 1973. - 128 с. : ил., рис., табл. ; 20 см. - 0.24 р.

ГРНТИ	27.03.19
УДК	519

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

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

18.

Гладкий, А. В.
Формальные грамматики и языки [Текст] : научное издание / А. В. Гладкий ; ред. В. В. Донченко. - М. : Изд-во "Наука", 1973. - 368 с. : ил. ; 20 см. - Библиогр.: с. 349-356 . - Предм. указ.: с. 357-366 . - 1.51 р.

ГРНТИ	27.03
УДК	51:4

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

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

Доп. точки доступа:
Донченко, В. В.
Найти похожие

19.

Новиков, П. С.
Элементы математической логики [Текст] : научное издание / П. С. Новиков. - 2-е изд., испр. - М. : Наука, 1973. - 399 с. ; 21 см. - 1.43 р.

ГРНТИ	27.03
УДК	51

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

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

20.

Шапиро, С. И.
От алгоритмов - к суждениям [Текст] : эксперименты по обучению элементам мат. мышления / С. И. Шапиро ; вступ. ст.: А. И. Берга, Б. В. Бирюкова, А. А. Столяра. - М. : Сов. радио, 1973. - 288 с. : ил. ; 21 см. - Библиогр.: с. 274-280 (161 назв.). - 1.07 р.

ГРНТИ	27.03
УДК	510.6

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

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

Доп. точки доступа:
Берг, А. И.
Бирюков, Б. В.
Столяр, А. А.
Найти похожие

1-20 21-40 41-60 61-68

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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