Новые поступления (книга в стадии обработки) Логические исследования [Текст] = Logical investigations : научное издание. - Москва : Наука. Вып. 1. - 1993. - Библиогр. - ISBN 5-02-008103-5 (в пер.) : 180.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): релевантная логика -- матричная логика -- модальная логика -- символическая логика -- логика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Логические исследования [Текст] = Logical Investigations : научное издание. - Москва : Росспэн. Вып. 6. - 1999. - 315, [5] с. - ISBN 5-8243-0046-1 (в пер.) : 56.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): логика -- силлогистика -- модальная логика -- семантика -- философская логика -- логическая философия -- релевантная логика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Достоверный и правдоподобный вывод в интеллектуальных системах [Текст] : научное издание / В. Н. Вагин [и др.]. - Москва : ФИЗМАТЛИТ, 2004. - 703, [1] с. : ил. - Библиогр. - ISBN 5-9221-0474-8 (в пер.) : 180.00 р.
Рубрики: вычислительная техника--искусственный интеллект Кл.слова (ненормированные): интеллектуальные системы -- модальная логика -- дедуктивный вывод -- абдукция -- принятие решений -- индуктивные методы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Вагин, Вадим Николаевич Головина, Елена Юрьевна Загорянская, Анастасия Анатольевна Фомина, Марина Владимировна |
Новые поступления (книга в стадии обработки) Жоль, Константин Константинович. Логика [Текст] : учеб. пособие для студентов вузов / К. К. Жоль. - Москва : ЮНИТИ[-ДАНА], 2004. - 396, [4] с. - (Bibliotheca studiorum / отв. ред. А. Е. Конверский). - Библиогр.: с. 383-384, 385-396. - ISBN 5-238-00664-0 (в пер.) : 159.159 р.
Рубрики: логика--логика Кл.слова (ненормированные): логика -- научное познание -- высказывания -- предикаты -- интуиционизм -- конструктивизм -- модальная логика -- вероятностей теория -- логическая семантика -- кибернетика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Символическая логика [Текст] : учеб. для студентов и аспирантов филос. фак. ун-тов / С.-Петерб. гос. ун-т ; под ред. Я. А. Слинина, Э. Ф. Караваева, А. И. Мигунова. - Санкт-Петербург : Изд-во С.-Петерб. ун-та , 2005. - 504, [4] с. - ISBN 5-288-02447-2 (в пер.) : 394.59 р.
Рубрики: логика--логика Кл.слова (ненормированные): символическая логика -- высказывания -- предикаты -- математическая логика -- модальная логика -- деонтическая логика -- временная логика -- вопросы -- логика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Слинин, Я. А. Караваев, Э. Ф. Мигунов, А. И. |
Новые поступления (книга в стадии обработки) Ивин, Александр Архипович. Логика [Текст] : для юристов : учеб. пособие для студентов вузов, обучающихся по специальности 021100 "Юриспруденция" / А. А. Ивин. - Москва : Гардарики, 2005. - 287, [1] с. - (Disciplinae). - ISBN 5-8297-0177-4 (в пер.) : 135.07 р.
Рубрики: логика--логика Кл.слова (ненормированные): логика -- право -- высказывания -- модальная логика -- доказательства -- язык -- аргументация -- споры -- нормы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Ивин, Александр Архипович. Логика [Текст] : учеб. для гуманитар. вузов / А. А. Ивин. - Москва : ФАИР-ПРЕСС : Гранд, 2003. - 318, [2] с. - ISBN 5-8183-0045-5 (в пер.) : 105.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): логика -- имена -- высказывания -- язык -- смысл -- модальная логика -- доказательства -- опровержение -- индукция -- понимание -- аргументация -- споры Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Лобовиков, Владимир Олегович. Математическая этика, метафизика и естественное право. (Алгебра метафизики как алгебра формальной аксиологии) [Текст] : научное издание / В. О. Лобовиков ; отв. ред. Н. В. Бряник ; Ин-т философии Урал. отд-ния РАН. - Екатеринбург : УрО РАН, 2007. - 408, [4] с. - ISBN 5-7691-1785-0 (в пер.) : 110.00 р. Есть автограф: Экз. A974090 : Лобовиков, Владимир Олегович
Рубрики: этика--этика философия--метафизика--философия науки Кл.слова (ненормированные): этика -- математическая этика -- метафизика -- персоналии -- мораль -- аксиология -- модальная логика -- естественное право -- право -- философия права Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Бряник, Надежда Васильевна |
Новые поступления (книга в стадии обработки) Достоверный и правдоподобный вывод в интеллектуальных системах [Текст] : учеб. пособие / В. Н. Вагин [и др.] ; под ред. В. Н. Вагина, Д. А. Поспелова. - 2-е изд., испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 710, [2] с. : рис. - Библиогр.: с. 648-678. - Предм. указ.: с. 679-710. - ISBN 978-5-9221-0962-8 (в пер.) : 591.36 р. Допущено М-вом образования РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлениям "Прикладная математика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная информатика" (по направлениям) и "Прикладная математика и информатика". На обл. авт.: Вагин В. Г. и др.
Рубрики: вычислительная техника--искусственный интеллект Кл.слова (ненормированные): интеллектуальные системы -- модальная логика -- дедуктивный вывод -- абдукция -- принятие решений -- индуктивные методы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Вагин, Вадим Николаевич Головина, Елена Юрьевна Загорянская, Анастасия Анатольевна Фомина, Марина Владимировна Вагин, Вадим Николаевич Поспелов, Д. А. |
Новые поступления (книга в стадии обработки) Гетманова, А. Д. Логика [Текст] : учебник для студ. вузов / А. Д. Гетманова. - 6-е изд. - М. : ОМЕГА-Л : Высшая школа, 2002. - 416 с. ; 20см. - ISBN 5-901386-52-3 : 145.00 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): философия -- логика -- суждение -- мышление -- умозаключение -- аргументация -- аналогия -- гипотеза -- интуитивная логика -- конструктивная логика -- модальная логика -- многозначная логика -- паранепротиворечивая логика Аннотация: Включена глава по методике преподавания логики, центральные темы снабжены интересными логическими задачами. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Девятков, В. В. Системы искусственного интеллекта [Текст] : учеб. пособие для студ. вузов / В. В. Девятков. - М. : МГТУ, 2001. - 352 с. : ил. ; 25см. - (Информатика в техническом университете). - ISBN 5-7038-1727-7 : 78.00 р.
Рубрики: Кибернетика--Искусственный интеллект Кл.слова (ненормированные): искусственный интеллект -- кибернетика -- системы искусственного интеллекта -- типы исчислений -- мультиагентность -- модальность -- модальная логика Аннотация: Изложены современные вопросы теории и практики систем искусственного интеллекта. Рассмотрены различные типы исчислений, используемых для создания систем искусственного интеллекта, включая такие их свойства, как мультиагентность, нечеткость, модальность и т. п. Для студентов, аспирантов, инженеров, научных работников. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Ивин, А. А. Логика норм [Текст] : научное издание / А. А. Ивин. - М. : Изд-во Моск. ун-та, 1973. - 122 с. : ил., табл. ; 21 см. - Библиогр.: с. 114-121 (235 назв.). - 0.48 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): АБСОЛЮТНАЯ ЛОГИКА НОРМ -- МОДАЛЬНАЯ ЛОГИКА -- РЕДУКЦИЯ НОРМАТИВНЫХ ЛОГИК -- КЛАССИФИКАЦИЯ НОРМ -- КОРРЕЛЯЦИЯ ОБЯЗАННОСТЕЙ Аннотация: В книге исследуются наиболее интересные абсолютные логики норм, строится непарадоксальная относительная логика норм, выявляются связи абсолютных и относительных нормативных логик и указываются способы редукции этих логик к теории логических модальностей. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Теория логического вывода [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Наука, 1973. - 272 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 270 . - 0.76 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРИЯ КВАНТОРОВ -- ЛОГИКА КЛАССОВ -- МОДАЛЬНАЯ ЛОГИКА -- ПАРАДОКС ЗЕНОНА -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ Аннотация: Даны проблемы теории логического следования, в которых анализируются роль и место этой теории в логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Таванец, П. В. |
Новые поступления (книга в стадии обработки) Бочаров, Вячеслав Александрович. Введение в логику. Университетский курс [Текст] : учебник для вузов / В. А. Бочаров, В. И. Маркин. - Москва : Форум : ИНФРА-М, 2008. - 560 с. - (Высшее образование). - Предм. указ.: с. 542 - 554. - ISBN 978-5-8199-0365-0 : 313 р. Рубрики: Логика--Общие вопросы логики Кл.слова (ненормированные): виды языков -- исчисление предикатов -- категориальный анализ языка -- логика времени -- логика высказываний -- логика предикатов -- логическая форма -- логические законы -- логические теории -- многозначная логика -- модальная логика -- определение -- понятие -- правдоподобные рассуждения -- силлогистика -- теория -- учебники для вузов -- функциональный анализ языка -- язык -- языковая система -- языковые выражения Аннотация: Учебник представляет основное содержание курса лекций по логике, который автор в течение ряда лет читал на философском факультете Московского университета им. М. В. Ломоносова. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Маркин, Владимир Ильич |
Новые поступления (книга в стадии обработки) Ивин, Александр Архипович. Строгий мир логики [Текст] / А. А. Ивин. - Москва : Педагогика, 1988. - 128 с. : ил. - (Библиотечка Детской энциклопедии "Ученые - школьнику"). - 0.35 р. Рубрики: Логика--Общие вопросы логики Кл.слова (ненормированные): дедукция -- диалектические противоречия -- доказательства -- законы логики -- индукция -- интуиционистская логика -- контрапозиция -- косвенное доказательство -- логика и наука -- логика и творчество -- модальная логика -- неявные противоречия -- ошибки -- парадокс Рассела -- парадокс Санчо Пансы -- парадоксы -- прямое доказательство -- разделительное доказательство -- тождество -- формализация доказательства -- язык логики Аннотация: В книге рассказывается о науке логике. Читатели познакомятся с принципами человеческого мышления, типичными ошибками в доказательствах и опровержениях, основными законами логики. Книга будет способствовать повышению культуры мышления школьников, лучшему усвоению ими основ наук. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Бочаров, Вячеслав Александрович. Введение в логику. Университетский курс [Текст] : учебник для высш. учеб. заведений / В. А. Бочаров, В. И. Маркин. - 2-е изд., испр. и доп. - Москва : ФОРУМ : ИНФРА-М, 2011. - 560 с. - (Высшее образование). - Предм. указ.: с. 547 - 559. - ISBN 978-5-8199-0465-7 : 362.89 р. Рубрики: Логика--Общие вопросы логики Кл.слова (ненормированные): виды языков -- исчисление предикатов -- категориальный анализ языка -- логика времени -- логика высказываний -- логика предикатов -- логическая форма -- логические законы -- логические теории -- многозначная логика -- модальная логика -- правдоподобные рассуждения -- силлогистика -- учебники для вузов -- функциональный анализ языка -- язык -- языковая система -- языковые выражения Аннотация: Учебник представляет основное содержание курса лекций по логике, который автор в течение ряда лет читал на философском факультете Московского университета им. М. В. Ломоносова. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Маркин, Владимир Ильич |