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