Новые поступления (книга в стадии обработки) Паньков, А. Ф. Теория развития систем и системная теория логики [Текст] : научное издание / А. Ф. Паньков. - Пермь : Б. и. Кн. 1. - 1993. - 196 с. - Библиогр. - 1000.00 р. На обл. авт. не указан
Рубрики: логика--логика Кл.слова (ненормированные): теория систем -- социальные системы -- логические системы -- общество -- познание -- мышление -- системы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Смирнов, Владимир Александрович. Теория логического вывода [Текст] : научное издание / В. А. Смирнов. - Москва : РОССПЭН, 1999. - 318 с. : портр. - Библиогр. - ISBN 5-8243-0046-1 (в пер.) : 40.00 р.
Рубрики: логика--логика--Россия, 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
Рубрики: Философия--Логика Кл.слова (ненормированные): философия -- логика -- силлогистика -- модальность -- логические системы Аннотация: В учебном пособии излагаются вопросы логики, имеющие важное значение для воспитания творческого и критического мышления будущих специалистов. Освещается практическое применение логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Яскевич, Я. С. Павлюкевич, В. И. |
Новые поступления (книга в стадии обработки) Компьютер обретает разум [Текст] / под ред. В. Л. Стефанюка. - М. : Мир, 1990. - 240 с. : ил. ; 29см. - ISBN 503001277Х : 6р.10к. р.
Рубрики: Кибернетика--Искусственный интеллект Кл.слова (ненормированные): информатика -- компьютер -- искусственный интеллект -- логические системы -- видение -- предвидение Аннотация: Книга посвящена компьютерам. Это увлекательный рассказ о разумных машинах, которые не только служат экспертами в различных областях деятельности человека, но и рисуют фантастические картины, создают удивительные видиоэффекты в кинематографе, проектируют сложнейшие архитектурные сооружения. Прекрасные иллюстрации, дополняя изложенный материал, повышают его информативность и доходчивость. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Стефанюк, В. Л. |
Новые поступления (книга в стадии обработки) Берков, В. Ф. Логика [Текст] : учеб. пособие для студ. вузов / В. Ф. Берков, Я. С. Яскевич, В. И. Павлюкевич. - 2-е изд., испр. и доп. - [Б. м.] : ТетраСистемс, 1997. - 480 с. : ил. ; 20см. - ISBN 985-6317-2-58 : 30.00 р. Лит.:с.459-460.Предм.:с.461-470.
Рубрики: Философия--Логика Кл.слова (ненормированные): логика -- мышление -- логический анализ -- имена -- силлогистика -- отношение -- недедуктивные выводы -- модальность -- логические системы -- научное познание -- общение -- обучение -- управление Аннотация: Излагаются вопросы логики, имеющие важное значение для воспитания творческого и критического мышления будущих специалистов: теория высказываний, теория имен, теория выводов и др. Освещается практическое применение логики в разнообразных сферах человеческой деятельности- в научном познании, общении, обучении, управлении, технике, при создании текстов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Яскевич, Я. С. Павлюкевич, В. И. |
Новые поступления (книга в стадии обработки) Берков, В. Ф. Логика [Текст] : учеб.пособие / В.Ф.Берков,Я.С.Яскевич,В.И.Павлюкевич. - 3-е изд.,испр.и доп. - [Б. м.] : ТетраСистемс, 1998. - 480 с. ; 21см. - ISBN 9856317568 : 45.00 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): логика -- логический анализ -- логические системы -- логический закон -- отношения -- общение -- модальности Аннотация: Излагаются вопросы логики:теория высказываний,теория имен,теория выводов и др.Освещается практическое применение логики в разнообразных сферах человеческой деятельности - в научном познании,общении,обучении,технике,при создании текстов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Яскевич, Я. С. Павлюкевич, В. И. |
Новые поступления (книга в стадии обработки) Лавров, И. А. Математическая логика [Текст] : учеб. пособие / И. А. Лавров ; под ред. Л. Л. Максимовой. - М. : ИЦ "Академия", 2006. - 240 с. ; 22 см. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 230 (14 назв.). - ISBN 5-7695-2735-8 : 238.70 р. Гриф: допущено М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по техн. и естеств.-науч. спец.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): СЕМАНТИКА -- СИНТАКСИС -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИИ МНОЖЕСТВ -- ГЕОМЕТРИЧЕСКИЕ ТЕОРИИ -- ИНТЕРПРЕТАЦИИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- ЛОГИЧЕСКИЕ СИСТЕМЫ Аннотация: В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Максимова, Л. Л. |
Новые поступления (книга в стадии обработки) Левин, В. И. Логическая теория надежности сложных систем [Текст] : научное издание / В. И. Левин. - М. : Энергоатомиздат, 1985. - 128 с. : ил. ; 21 см. - (Надежность и качество). - Библиогр. в конце ст. - 0.55 р.
Рубрики: Автоматика--Системы автоматического управления Кл.слова (ненормированные): СЛОЖНЫЕ СИСТЕМЫ -- МОДЕЛИ НАДЕЖНОСТИ СИСТЕМ -- НАДЕЖНОСТЬ ПРОСТЫХ СИСТЕМ -- ЛОГИЧЕСКИЕ СИСТЕМЫ -- СИНТЕЗ НАДЕЖНЫХ ПРОЦЕССОВ -- МОДЕЛИ НАДЕЖНОСТИ -- ЭКВИВАЛЕНТНЫЕ СХЕМЫ Аннотация: Изложены методы определения надежности процессов в сложных системах, основанные на выявлении детерминированной связи между последовательными моментами отказов и восстановлений блоков и аналогичными моментами системы. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Смирнов, В. А. Формальный вывод и логические исчисления [Текст] : монография / В. А. Смирнов ; отв. ред. П. В. Таванец ; Ин-т философии (Москва). - М. : Наука, 1972. - 271 с. ; 19 см . - Библиогр.: с. 267-268 ( 59 назв.). - 0.67 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): ЛОГИЧЕСКИЕ СИСТЕМЫ -- ГИЛЬБЕРТОВСКИЕ СИСТЕМЫ -- НАТУРАЛЬНЫЕ СЧИСЛЕНИЯ -- СЕМАНТИКА ЛОГИКИ -- ЯЗЫКИ ЛОГИКИ -- АКСИОМАТИЗАЦИЯ СВОЙСТВ Аннотация: В монографии анализируются различные способы логического рассуждения: логические системы гильбертовского типа, системы натурального вывода, секвенциальные исчисления. Дается достаточно естественная классификация логических систем. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Таванец, П. В. |
Новые поступления (книга в стадии обработки) Серебрянников, О. Ф. Эвристические принципы и логические исчисления [Текст] : научное издание / О. Ф. Серебрянников ; отв. ред. Б. В. Бирюков ; Акад. наук СССР, Научный Совет по комплексной проблеме "Кибернетика". - М. : Изд-во "Наука", 1970. - Библиогр.: с. 280-282. - 0.81 р.
Кл.слова (ненормированные): ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ -- МЕТОДЫ ФОРМАЛЬНОЙ ДЕДУКЦИИ -- КРИТЕРИИ ВЫВОДИМОСТИ -- ЛОГИЧЕСКИЕ ЗНАКИ -- ЛОГИЧЕСКИЕ СИСТЕМЫ -- РЕГУЛЯРНОЕ ИСЧИСЛЕНИЕ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Бирюков, Б. В. |
Новые поступления (книга в стадии обработки) Абстрактная и структурная теория релейных устройств [Текст] : сборник / Ин-т пробл. упр. (Москва) ; отв. ред. М. А. Гаврилов. - М. : Изд-во "Наука", 1972. - 214 с. : ил. ; 25 см. - Библиогр. в конце ст. - 1.20 р.
Рубрики: Электротехника--Реле Кл.слова (ненормированные): РЕЛЕЙНЫЕ УСТРОЙСТВА -- НАДЕЖД -- АЛГОРИТМЫ СИНТЕЗА -- СТРУКТУРНЫЙ СИНТЕЗ -- ЭВРИСТИЧЕСКИЕ МЕТОДЫ -- ЛОГИЧЕСКИЕ СИСТЕМЫ Аннотация: В сборник включены работы по новейшим методам абстрактного и структурного синтеза релейных устройств, в том числе однородных структур, по эвристическим методам проектирования логических систем из многофункциональных элементов, по использованию корректирующих кодов при синтезе надежных релейных устройств, по практическим применениям теории релейных устройств. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Гаврилов, М. А. |
Новые поступления (книга в стадии обработки) Логическая структура научного знания [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1965. - 350 с. : ил. ; 21 см. - Библиогр. в конце ст. - 1.29 р.
Кл.слова (ненормированные): ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ -- ЛОГИЧЕСКИЕ ФОРМЫ -- ЛОГИЧЕСКИЕ СИСТЕМЫ -- ЭМПИРИЧЕСКИЕ ЗНАНИЯ -- ФИЗИКА МИКРОМИРА -- БУЛЕВЫЕ ПРОСТРАНСТВА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Таванец, П. В. |
Новые поступления (книга в стадии обработки) Исследование логических систем [Текст] : сборник / Ин-т философии (Москва) ; отв. ред. П. В. Табанец. - М. : Наука, 1970. - 334 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 329-331 . - 1.05 р.
Рубрики: Математика--Анализ Кл.слова (ненормированные): ЛОГИЧЕСКИЕ СИСТЕМЫ -- СИЛЛОГИСТИКА -- МОДАЛЬНЫЕ СИСТЕМЫ -- КОМПЛЕКСНАЯ ЛОГИКА -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ Аннотация: Исследуются взаимоотношения формально-логических систем и способы их классификации. Анализируются такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики. Рассматривается соотношение математической строгости и критерия практики в развитии математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Табанец, П. В. |
Новые поступления (книга в стадии обработки) Станкевич, Л. А. Интеллектуальные системы и технологии [Текст] : учебник и практикум для бакалавриата и магистратуры / Л. А. Станкевич. - М. : Юрайт, 2017. - 397 с. : ил. ; 24 см. - (Бакалавр и магистр. Академический курс). - Библиогр. в конце разд. - ISBN 978-5-534-02126-4 : 944.79 р. Гриф: рек. Умо высш. образования в качестве учебника и практикума для студ. вузов, обуч. по инженерно-техн. напр.
Рубрики: Вычислительная техника--Искусственный интеллект Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ЛОГИЧЕСКИЕ СИСТЕМЫ -- КОГНИТИВНЫЕ СИСТЕМЫ -- ЭКСПЕРТНЫЕ СИСТЕМЫ -- НЕЙРОСЕТЕВЫЕ СИСТЕМЫ -- ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ -- НЕЧЕТКО-ЛОГИЧЕСКИЕ СИСТЕМЫ -- МНОГОАГЕНТНЫЕ СИСТЕМЫ -- ОБРАБОТКА ДАННЫХ -- ПОИСК ИНФОРМАЦИИ -- ОБРАБОТКА ИНФОРМАЦИИ Аннотация: Рассмотрены понятия искусственного интеллекта и методы представления, использования и приобретения знаний, а также принципы построения и функционирования логических, объектных, ассоциативных, обучаемых и когнитивных интеллектуальных систем. описаны интеллектуальные технологии, позволяющие практически создавать экспертные системы на правилах, системы на нечеткой логике и искусственных нейронных сетях, гибридные системы, основанные на объединении разных моделей знаний, распределенные системы на взаимодействующих интеллектуальных агентах. Рассмотрены основные задачи примеры их решения в интеллектуальных системах. Среди множества интеллектуальных задач выделены такие задачи, как общение с системой на естественном языке, восприятие информации, формирование и исполнение поведений, обработка данных и поиск информаций, а также некоторые когнитивные и креативные задачи. Приведен практикум, включающий лабораторные работы, направленные на закрепление навыков, а также методические указания по курсовой работе и пример ее выполнения. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Ефимов, Евгений Иванович. Решатели интеллектуальных задач [Текст] / Е. И. Ефимов. - Москва : Наука, 1982. - 316 с. : табл. - (Проблемы искусственного интеллекта). - 02.40 р. Рубрики: Радиоэлектроника--Кибернетика Кл.слова (ненормированные): зарубежные решатели -- искусственный интеллект -- логические системы -- решатели интеллектуальных задач -- теория автоматических решений -- теория решений Аннотация: Книга посвящена рассмотрению элементов теории интеллектуальных решателей и ее практических приложений. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |