Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

ЭБС "IPRBOOKS" (9)

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

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

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

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

1-20 21-25

Карпенко, Александр Степанович.
Логики Лукасевича и простые числа [Текст] = Lukasiewicz' Logics and Prime Numbers : научное издание / А. С. Карпенко. - Москва : Наука, 2000. - 318, [2] с. - Библиогр. - ISBN 5-02-013048-6 (в пер.) : 40.00 р.

УДК

510.6

511.213

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

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

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

УДК

510.6

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

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

Новак, Вилем.
Математические принципы нечёткой логики [Текст] = 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

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

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

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

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

УДК

510.6

004.032.26

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

вычислительная техника--искусственный интеллект

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

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

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

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

Кэрролл, Л.
Логическая игра [Текст] / Л. Кэрролл. - Пер. с англ. Ю. А. Данилова. - М. : Наука, 1991. - 192 с. ; 20см. - ISBN 5-02-014220-4 : 3.00 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

Столяр, А. А.
Как математика ум в порядок приводит [Текст] / А. А. Столяр. - 2-е изд. - Минск : Высшая школа, 1991. - 207 с. : ил. ; 16 см. - ISBN 5-339-00587-9 : 1.00 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.1

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

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

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

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

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

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

10.

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

ГРНТИ	27.03
УДК	510.6

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

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

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

11.

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

ГРНТИ	27.03
УДК	510.6

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

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

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

12.

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

ГРНТИ	27.03
УДК	510.6

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

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

13.

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

УДК

510.6

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

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

14.

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

ГРНТИ	27.03
УДК	510.6

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

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

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

15.

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

ГРНТИ	27.03
УДК	510.6

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

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

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

16.

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

УДК

510.6

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

17.

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

ГРНТИ	27.03
УДК	510.6

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

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

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

18.

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

УДК

510.6

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

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

19.

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

ГРНТИ	27.03
УДК	510.6

ББК 22.1

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

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

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

20.

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

ГРНТИ	27.03.02
УДК	510.6

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

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

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

1-20 21-25

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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