Ю4 И253 Ивин, А. А. Логика : Учеб. для вузов / А.А. Ивин. - москва : Гардарика, 1999. - 352 с. - ISBN 5797501228 : 36.00 р. ГРНТИ 02.21 ББК Ю4я73 Ключевые слова: Логика -- Слова -- Вещи -- Имена -- Искусство определений -- Искусство классификаций -- Высказывания -- Логика высказываний -- Неклассическая логика -- Доказательства -- Индуктивные рассуждения -- Софизмы -- Логические парадоксы -- Учебники Экземпляры всего: 13 Mесто хранения: чз (2), кх (3), аб (8) Свободны: чз (2), кх (3), аб (8) |
Ю4 Б865 Бочаров, В. А. Основы логики : Учеб. для вузов / В.А. Бочаров, В.И. Маркин. - москва : ИНФРА-М,, 1999. - 296 с. : ил. - (Высшее образование). - ISBN 5862255958 : 25.00 р. ГРНТИ 02.21 ББК Ю4 Ключевые слова: Логика -- Логика высказываний -- Логика предикатов -- Теория дедуктивных рассуждений -- Силлогистика -- учебники Доп.точки доступа: Маркин, В.И. --- Экземпляры всего: 5 Mесто хранения: кх (3), чз (2) Свободны: кх (3), чз (2) |
007 Д259 Девятков, Владимир Валентинович. Системы искусственного интеллекта : Учеб. пособие для вузов по спец. "Информ. системы и технологии", "Автоматизир. системы обраб. информ. и упр." / В.В. Девятков. - москва : Изд-во МГТУ, 2001. - 352 с. : ил. - (Информатика в техническом университете). - ISBN 5703817277 : 98.04 р. Доп. МО РФ ГРНТИ 28.23 ББК 007(075.8) Ключевые слова: Искусственный интеллект -- Логика предикатов -- Среды -- Ситуационные исчисления -- Модальность -- Модальная логика -- Дедуктивные базы данных -- Формальные логические системы -- Логика высказываний -- Стратегии поиска -- Нечеткие знания -- Онтологии -- учебные пособия Экземпляры всего: 5 Mесто хранения: кх (3), аб (2) Свободны: кх (3), аб (2) |
Ю4 И253 Ивин, Александр Архипович. Логика [Text] : учеб. для вузов / А.А. Ивин. - москва : Гардарики, 2002. - 349 с. - (Disciplinae). - ISBN 5797501228 : 80.80 р. Рек. МО РФ ГРНТИ 02.21 ББК Ю4я73 Ключевые слова: Логика -- Язык -- Мышление -- Имена -- Искусство определения -- Искусство классификации -- Высказывания -- Логика высказываний -- Неклассическая логика -- Доказательство -- Индуктивные рассуждения -- Софизмы -- Логические парадоксы -- Учебники Экземпляры всего: 1 Mесто хранения: аб (1) Свободны: аб (1) |
Ю4 Р838 Рузавин, Георгий Иванович. Основы логики и аргументации : Учеб. пособие для вузов по гуманитарн.-соц. спец. / Г.И. Рузавин. - М. : ЮНИТИ, 2007. - 320 с. - ISBN 978-5-238-01264-3 : 132 р. Рек. УМЦ ГРНТИ 02.21 ББК Ю4я73 Ключевые слова: логика -- аргументация -- логика высказываний -- дедуктивные умозаключения -- доказательства -- опровержения -- правдоподобные рассуждения -- гипотетико-дедуктивный метод -- абдукция -- объяснительные гипотезы -- вероятности -- коммуникации -- убеждения -- диалоги -- принятие решений -- учебные пособия Экземпляры всего: 10 Mесто хранения: чз (3), кх (7) Свободны: чз (3), кх (7) |
Ю4 Ж798 Жоль, Константин Константинович. Логика : учеб. пособие для вузов / К. К. Жоль. - М. : ЮНИТИ, 2004. - 396 с. : ил. - (Bibliotheca Studiorum). - ISBN 5-238-00664-0 : 280 р. Рек. УМЦ ГРНТИ 02.21 ББК Ю4я73 Ключевые слова: символическая логика -- математическая логика -- логика высказываний -- пропозициональная логика -- логика предикатов -- конструктивистская логика -- интуиционистская логика -- модальная логика -- логическая семантика -- логическое программирование -- учебные пособия Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
Ю4 П58 Попов, Юрий Петрович. Логика : учебное пособие для студентов вузов, обучающихся по направлению подготовки и специальности "Философия" / Ю. П. Попов. - 3-е изд., перераб. и доп. - Москва : КНОРУС, 2015. - 294, [2] с. ; 22 см. - 396 экз.. - ISBN 978-5-406-03908-3 (в пер.) : 406.67 р. ГРНТИ 02.21 ББК Ю4я73 Ключевые слова: логика -- традиционная логика -- суждение -- законы логики -- умозаключение -- доказательство -- символическая логика -- логика высказываний -- логика предикатов -- учебные пособия Экземпляры всего: 20 Mесто хранения: чз (3), аб (17) Свободны: чз (3), аб (16) |
004.8 Э821 Эртель, Волфранг. Введение в искусственный интеллект [Текст] : научное издание / В. Эртель ; пер. с англ. А. Горман. - Москва : Сбербанк, 2019. - 448 с. ; 24 см. - (Библиотека Сбербанка [Искусственный интеллект]). - 10000 экз.. - ISBN 978-5-04-108594-0 (в пер.) : 330.00 р. ГРНТИ 28.23 УДК:004.8 Ключевые слова: искусственный интеллект -- логика высказываний -- предикатная логика первого порядка -- логическое прогрпммирование -- PROLOG -- машинное обучение -- нейронные сети Доп.точки доступа: Горман, А. \пер.\ --- Экземпляры всего: 2 Mесто хранения: чз (1), зал ППС (1) Свободны: чз (1), зал ППС (1) |