Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>KL=ЛОГИЧЕСКИЕ СИСТЕМЫ<.>)

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

   Паньков, А. Ф.
    Теория развития систем и системная теория логики [Текст] : научное издание / А. Ф. Паньков. - Пермь : Б. и.
   Кн. 1. - 1993. - 196 с. - Библиогр. - 1000.00 р.
На обл. авт. не указан

УДК

Рубрики: логика--логика

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

Смирнов, Владимир Александрович.
Теория логического вывода [Текст] : научное издание / В. А. Смирнов. - Москва : РОССПЭН, 1999. - 318 с. : портр. - Библиогр. - ISBN 5-8243-0046-1 (в пер.) : 40.00 р.

УДК

929Смирнов

Рубрики: логика--логика--Россия, 20 в.

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

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

Васюков, Владимир Леонидович.
Квантовая логика [Текст] : научное издание / В. Л. Васюков ; Российская Академия наук, Ин-т философии. - Москва : ПЕР СЭ, 2005. - 191, [1] с. - Библиогр.: с. 186-191. - ISBN 5-9292-0142-0 (в пер.) : 85.00 р.

УДК

Рубрики: логика--логика

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

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

Берков, В. Ф.
Логика [Текст] : учеб. пособие для вузов / В. Ф. Берков, Я. С. Яскевич, В. И. Павлюкевич ; Гуманитарно-экон. негос. ин-т респ. Беларусь (Минск). - [Б. м.] : НТООО"ТетраСистемс", 1997. - 416 с. ; 20см. - ISBN 985-6317-01-0 : 15000.00 р.
Авт.указан на тит.л.Предм.указ.с.403-412

ГРНТИ	02.21.01.33
УДК	16(075.8)

ББК 87.4я73

Рубрики: Философия--Логика

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

Доп. точки доступа:
Яскевич, Я. С.
Павлюкевич, В. И.
Найти похожие

Компьютер обретает разум [Текст] / под ред. В. Л. Стефанюка. - М. : Мир, 1990. - 240 с. : ил. ; 29см. - ISBN 503001277Х : 6р.10к. р.

ГРНТИ	20.01
УДК	007:159

ББК 32.813

Рубрики: Кибернетика--Искусственный интеллект

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

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

Берков, В. Ф.
Логика [Текст] : учеб. пособие для студ. вузов / В. Ф. Берков, Я. С. Яскевич, В. И. Павлюкевич. - 2-е изд., испр. и доп. - [Б. м.] : ТетраСистемс, 1997. - 480 с. : ил. ; 20см. - ISBN 985-6317-2-58 : 30.00 р.
Лит.:с.459-460.Предм.:с.461-470.

ГРНТИ	02.21.01.33
УДК	16(075.8)

ББК 87.4я73

Рубрики: Философия--Логика

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

Доп. точки доступа:
Яскевич, Я. С.
Павлюкевич, В. И.
Найти похожие

Берков, В. Ф.
Логика [Текст] : учеб.пособие / В.Ф.Берков,Я.С.Яскевич,В.И.Павлюкевич. - 3-е изд.,испр.и доп. - [Б. м.] : ТетраСистемс, 1998. - 480 с. ; 21см. - ISBN 9856317568 : 45.00 р.

ГРНТИ	02.21.01.33
УДК	16(075.8)

ББК 87.4я73

Рубрики: Философия--Логика

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

Доп. точки доступа:
Яскевич, Я. С.
Павлюкевич, В. И.
Найти похожие

Лавров, И. А.
Математическая логика [Текст] : учеб. пособие / И. А. Лавров ; под ред. Л. Л. Максимовой. - М. : ИЦ "Академия", 2006. - 240 с. ; 22 см. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 230 (14 назв.). - ISBN 5-7695-2735-8 : 238.70 р.
Гриф: допущено М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по техн. и естеств.-науч. спец.

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

ББК 22.12

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

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

Доп. точки доступа:
Максимова, Л. Л.
Найти похожие

Левин, В. И.
Логическая теория надежности сложных систем [Текст] : научное издание / В. И. Левин. - М. : Энергоатомиздат, 1985. - 128 с. : ил. ; 21 см. - (Надежность и качество). - Библиогр. в конце ст. - 0.55 р.

ГРНТИ	50.43
УДК	681.51-192.001

Рубрики: Автоматика--Системы автоматического управления

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

10.

Смирнов, В. А.
Формальный вывод и логические исчисления [Текст] : монография / В. А. Смирнов ; отв. ред. П. В. Таванец ; Ин-т философии (Москва). - М. : Наука, 1972. - 271 с. ; 19 см . - Библиогр.: с. 267-268 ( 59 назв.). - 0.67 р.

ГРНТИ	02.21
УДК	16

Рубрики: Философия--Логика

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

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

11.

Серебрянников, О. Ф.
Эвристические принципы и логические исчисления [Текст] : научное издание / О. Ф. Серебрянников ; отв. ред. Б. В. Бирюков ; Акад. наук СССР, Научный Совет по комплексной проблеме "Кибернетика". - М. : Изд-во "Наука", 1970. - Библиогр.: с. 280-282. - 0.81 р.

УДК

62-50

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

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

12.

Абстрактная и структурная теория релейных устройств [Текст] : сборник / Ин-т пробл. упр. (Москва) ; отв. ред. М. А. Гаврилов. - М. : Изд-во "Наука", 1972. - 214 с. : ил. ; 25 см. - Библиогр. в конце ст. - 1.20 р.

ГРНТИ	44.29.31
УДК	621.318.5

Рубрики: Электротехника--Реле

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

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

13.

Логическая структура научного знания [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1965. - 350 с. : ил. ; 21 см. - Библиогр. в конце ст. - 1.29 р.

УДК

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

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

14.

Исследование логических систем [Текст] : сборник / Ин-т философии (Москва) ; отв. ред. П. В. Табанец. - М. : Наука, 1970. - 334 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 329-331 . - 1.05 р.

ГРНТИ	27.23
УДК	517+164

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

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

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

15.

Станкевич, Л. А.
Интеллектуальные системы и технологии [Текст] : учебник и практикум для бакалавриата и магистратуры / Л. А. Станкевич. - М. : Юрайт, 2017. - 397 с. : ил. ; 24 см. - (Бакалавр и магистр. Академический курс). - Библиогр. в конце разд. - ISBN 978-5-534-02126-4 : 944.79 р.
Гриф: рек. Умо высш. образования в качестве учебника и практикума для студ. вузов, обуч. по инженерно-техн. напр.

ГРНТИ	28.23.01.33
УДК	004.8(076)

ББК 32.813

Рубрики: Вычислительная техника--Искусственный интеллект

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

16.

Ефимов, Евгений Иванович.
Решатели интеллектуальных задач [Текст] / Е. И. Ефимов. - Москва : Наука, 1982. - 316 с. : табл. - (Проблемы искусственного интеллекта). - 02.40 р.

ББК 32.81

Рубрики: Радиоэлектроника--Кибернетика

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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