007 Д259 Девятков, Владимир Валентинович. Системы искусственного интеллекта : Учеб. пособие для вузов по спец. "Информ. системы и технологии", "Автоматизир. системы обраб. информ. и упр." / В.В. Девятков. - москва : Изд-во МГТУ, 2001. - 352 с. : ил. - (Информатика в техническом университете). - ISBN 5703817277 : 98.04 р. Доп. МО РФ ГРНТИ 28.23 ББК 007(075.8) фывфывфыв: Искусственный интеллект -- Логика предикатов -- Среды -- Ситуационные исчисления -- Модальность -- Модальная логика -- Дедуктивные базы данных -- Формальные логические системы -- Логика высказываний -- Стратегии поиска -- Нечеткие знания -- Онтологии -- учебные пособия Экземпляры всего: 5 Mесто хранения: кх (3), аб (2) Свободны: кх (3), аб (2) |
Ю4 И253 Ивин, Александр Архипович. Логика для юристов : Учеб. пособие для вузов по спец. 021100 "Юриспруденция" / А.А. Ивин. - М. : Гардарики, 2005. - 287 с. - (Disciplinae). - ISBN 5-8297-0177-4 : 130.97 р. Допущено МО РФ ГРНТИ 02.21 ББК Ю4я73 фывфывфыв: логика -- язык -- имена -- понятия -- высказывания -- логические законы -- категорические высказывания -- модальная логика -- логика норм -- правдоподобные рассуждения -- логические особенности юридического языка -- аргументация -- искусство спора -- учебные пособия Экземпляры всего: 20 Mесто хранения: чз (3), аб (17) Свободны: чз (3), аб (17) |
Ю4 Ж798 Жоль, Константин Константинович. Логика : учеб. пособие для вузов / К. К. Жоль. - М. : ЮНИТИ, 2004. - 396 с. : ил. - (Bibliotheca Studiorum). - ISBN 5-238-00664-0 : 280 р. Рек. УМЦ ГРНТИ 02.21 ББК Ю4я73 фывфывфыв: символическая логика -- математическая логика -- логика высказываний -- пропозициональная логика -- логика предикатов -- конструктивистская логика -- интуиционистская логика -- модальная логика -- логическая семантика -- логическое программирование -- учебные пособия Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
517.2 Ф366 Фейс, Р. Модальная логика / Р. Фейс ; пер. под ред. Г. Е. Минца. - Москва : Наука, 1974. - 520 с. - (Математическая логика и основания математики). - Б. ц. ГРНТИ 27.03.19 УДК:510.64 фывфывфыв: модальная логика Доп.точки доступа: Минц, Г. Е. \пер., ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |