Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

ЭБС "РУКОНТ" (4)

ЭБС "IPRBOOKS" (9)

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

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

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

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

1-20 21-25

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

ГРНТИ	27.03
УДК	510.6

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

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

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

Стяжкин, Н. И.
Становление идей математической логики [Текст] : научное издание / Н. И. Стяжкин ; отв. ред. А. Л. Субботин ; Акад. наук СССР (Москва). - М. : Изд-во "Наука", 1964. - 304 с. : ил. ; 20 см. - Библиогр.: с. 277-298 (460 назв.). - 0.95 р.

УДК

510.6

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

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

Левин, В. И.
Логико-математические методы в технических, гуманитарных и общественных науках [Текст] : монография / В. И. Левин ; Пензенский гос. техн. ун-т. - Пенза : ПензГТУ, 2014. - 384 с. : ил. ; 20 см. - (Система открытого образования). - Библиогр. в конце глав. - ISBN 978-5-98903-213-6 : 200.00 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.1

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

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

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

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

ГРНТИ	27.03
УДК	510.6

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

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

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

Мендельсон, Э.
Введение в математическую логику [Текст] / Э. Мендельсон ; пер. c англ. Ф. А. Кабакова ; под ред. С. И. Адяна = Introduction to mathematical logic / E. Mendelson : научное издание. - 2-е изд., испр. - М. : Изд-во "Наука", 1976. - 320 с. ; 22 см. - Библиогр.: с. 296-309. - 1.65 р.
Загл. парал. на англ. яз.

ГРНТИ	27.03
УДК	510.6

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

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

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

Мельников, Г. П.
Азбука математической логики [Текст] : научное издание / Г. П. Мельников. - М. : Изд-во "Знание", 1967. - 103 с. : ил. ; 21 см. - 0.19 р.

УДК

510.6

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

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

ГРНТИ	27.03
УДК	510.6

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

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

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

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

ГРНТИ	27.03
УДК	510.6

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

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

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

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

ГРНТИ	27.03
УДК	510.6

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

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

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

10.

Гильберт, Д.
Основания математики [Текст] / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. С. И. Адяна = Grundlagen der mathematik / D. Hilbert, P. Bernays : логические исчисления и формализация арифметики : монография. - М. : Наука, 1979. - 560 с. ; 22 см. - (Математическая логика и основания математики). - 2.70 р.
Тит. л. парал. на нем. яз.

ГРНТИ	27.03.02
УДК	510.6

Рубрики: Математика--Основания математики

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

Доп. точки доступа:
Бернайс, П. Bernays P.
Нагорный, Н. М.
Адян, С. И.
Найти похожие

11.

Бизам, Д.
Многоцветная логика [Текст] : 175 логических задач / Д. Бизам, Я. Герцег ; пер. с венгер. Ю. А. Данилова. - М. : Изд-во "Мир", 1978. - 435 с. : ил. ; 21 см. - 1.50 р.

ГРНТИ	27.15
УДК	510.6

Рубрики: Математика--Занимательная математика

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

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

12.

Петров, Ю. А.
Математическая логика и материалистическая диалектика [Текст] : проблемы логико-философских оснований теорий / Ю. А. Петров. - М. : Изд-во Моск. ун-та, 1974. - 192 с. : ил., рис. ; 22 см. - Библиогр.: с. 190-191 (75 назв.). - 0.92 р.

ГРНТИ	27.03
УДК	510.6

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

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

13.

Фрейденталь, Х.
Язык логики [Текст] / Х. Фрейденталь ; пер. с англ. Ю. А. Петрова ; под ред. Ю. А. Гастева = The language of logic / H. Freudenthal : научное издание. - М. : Изд-во "Наука", 1969. - 135 с. ; 20 см. - 0.49 р.
Тит. л. парал. на англ. яз.

УДК

510.6

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

Доп. точки доступа:
Петров, Ю. А.
Гастев, Ю. А.
Найти похожие

14.

Успенский, В. А.
Теорема Геделя о неполноте [Текст] : научно-популярная литература / В. А. Успенский. - М. : Наука, 1982. - 112 с. ; 21 см. - (Популярные лекции по математике). - 15.00 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

15.

Наголкин, А. Н.
Алгебра логики в золотом сечении [Текст] : еще один шаг в область нечетких логик и компьютерного интеллекта / А. Н. Наголкин. - М. : МАКС Пресс, 2006. - 184 с. : ил. ; 22 см. - Библиогр.: с. 180-181 (26 назв.). - ISBN 5-317-01731-9 : 180.00 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

16.

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

ГРНТИ	27.03
УДК	510.6

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

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

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

17.

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

ГРНТИ	27.03
УДК	510.6

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

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

18.

Шенфилд, Д.
Математическая логика [Текст] : научное издание / Д. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. - М. : Наука, 1975. - 528 с. ; 20 см. - (Математическая логика и основания математики). - 2.16 р.

ГРНТИ	27.03
УДК	510.6

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

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

Доп. точки доступа:
Лавров, И. А.
Мальцев, И. А.
Ершов, Ю. Л.
Найти похожие

19.

Новак, Вилем.
Математические принципы нечёткой логики [Текст] = Mathematical Principles of Fuzzy Logic : научное издание / В. Новак, И. Перфильева, И. Мочкорж ; пер. с англ. под ред. А. Н. Аверкина. - Москва : ФИЗМАТЛИТ, 2006. - 347, [5] с. - [Математические принципы нечеткой логики] . - Библиогр.: с. 335-343 (143 назв.). - Предм. указ.: с. 344-347. - ISBN 5-9221-0399-7 (рус.) (в пер.). - ISBN 0-7923-8595-0 (англ.) : 217.36 р.

УДК

510.6

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

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

Доп. точки доступа:
Перфильева, Ирина
Мочкорж, Иржи
Аверкин, А. Н.
Найти похожие

20.

Тетерин, П. Г.
Математическая логика: Синтез, декомпозиция, оценка и отбор высказываний: Обоснование целей, критериев и требований к новому [Текст] : науч. изд. / П. Г. Тетерин. - Саратов : [б. и.], 2002. - 76 с. - Библиогр. - ISBN Б. и. : 20.00 р.

УДК

510.6

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

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

1-20 21-25

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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