Поиск ведется по:
Общее количество найденных документов : 8
1. Ю4
И253
Ивин, А. А.
Логика : Учеб. для вузов / А.А. Ивин. - москва : Гардарика, 1999. - 352 с. - ISBN 5797501228 : 36.00 р.
ГРНТИ 02.21
ББК Ю4я73
Ключевые слова: Логика -- Слова -- Вещи -- Имена -- Искусство определений -- Искусство классификаций -- Высказывания -- Логика высказываний -- Неклассическая логика -- Доказательства -- Индуктивные рассуждения -- Софизмы -- Логические парадоксы -- Учебники
Экземпляры всего: 13
Mесто хранения: чз (2), кх (3), аб (8)
Свободны: чз (2), кх (3), аб (8)
Найти похожие
И253
Ивин, А. А.
Логика : Учеб. для вузов / А.А. Ивин. - москва : Гардарика, 1999. - 352 с. - ISBN 5797501228 : 36.00 р.
ГРНТИ 02.21
ББК Ю4я73
Ключевые слова: Логика -- Слова -- Вещи -- Имена -- Искусство определений -- Искусство классификаций -- Высказывания -- Логика высказываний -- Неклассическая логика -- Доказательства -- Индуктивные рассуждения -- Софизмы -- Логические парадоксы -- Учебники
Экземпляры всего: 13
Mесто хранения: чз (2), кх (3), аб (8)
Свободны: чз (2), кх (3), аб (8)
Найти похожие
2. Ю4
Б865
Бочаров, В. А.
Основы логики : Учеб. для вузов / В.А. Бочаров, В.И. Маркин. - москва : ИНФРА-М,, 1999. - 296 с. : ил. - (Высшее образование). - ISBN 5862255958 : 25.00 р.
ГРНТИ 02.21
ББК Ю4
Ключевые слова: Логика -- Логика высказываний -- Логика предикатов -- Теория дедуктивных рассуждений -- Силлогистика -- учебники
Доп.точки доступа: Маркин, В.И. ---
Экземпляры всего: 5
Mесто хранения: кх (3), чз (2)
Свободны: кх (3), чз (2)
Найти похожие
Б865
Бочаров, В. А.
Основы логики : Учеб. для вузов / В.А. Бочаров, В.И. Маркин. - москва : ИНФРА-М,, 1999. - 296 с. : ил. - (Высшее образование). - ISBN 5862255958 : 25.00 р.
ГРНТИ 02.21
ББК Ю4
Ключевые слова: Логика -- Логика высказываний -- Логика предикатов -- Теория дедуктивных рассуждений -- Силлогистика -- учебники
Доп.точки доступа: Маркин, В.И. ---
Экземпляры всего: 5
Mесто хранения: кх (3), чз (2)
Свободны: кх (3), чз (2)
Найти похожие
3. 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)
Найти похожие
4. Ю4
И253
Ивин, Александр Архипович.
Логика [Text] : учеб. для вузов / А.А. Ивин. - москва : Гардарики, 2002. - 349 с. - (Disciplinae). - ISBN 5797501228 : 80.80 р.
Рек. МО РФ
ГРНТИ 02.21
ББК Ю4я73
Ключевые слова: Логика -- Язык -- Мышление -- Имена -- Искусство определения -- Искусство классификации -- Высказывания -- Логика высказываний -- Неклассическая логика -- Доказательство -- Индуктивные рассуждения -- Софизмы -- Логические парадоксы -- Учебники
Экземпляры всего: 1
Mесто хранения: аб (1)
Свободны: аб (1)
Найти похожие
И253
Ивин, Александр Архипович.
Логика [Text] : учеб. для вузов / А.А. Ивин. - москва : Гардарики, 2002. - 349 с. - (Disciplinae). - ISBN 5797501228 : 80.80 р.
Рек. МО РФ
ГРНТИ 02.21
ББК Ю4я73
Ключевые слова: Логика -- Язык -- Мышление -- Имена -- Искусство определения -- Искусство классификации -- Высказывания -- Логика высказываний -- Неклассическая логика -- Доказательство -- Индуктивные рассуждения -- Софизмы -- Логические парадоксы -- Учебники
Экземпляры всего: 1
Mесто хранения: аб (1)
Свободны: аб (1)
Найти похожие
5. Ю4
Р838
Рузавин, Георгий Иванович.
Основы логики и аргументации : Учеб. пособие для вузов по гуманитарн.-соц. спец. / Г.И. Рузавин. - М. : ЮНИТИ, 2007. - 320 с. - ISBN 978-5-238-01264-3 : 132 р.
Рек. УМЦ
ГРНТИ 02.21
ББК Ю4я73
Ключевые слова: логика -- аргументация -- логика высказываний -- дедуктивные умозаключения -- доказательства -- опровержения -- правдоподобные рассуждения -- гипотетико-дедуктивный метод -- абдукция -- объяснительные гипотезы -- вероятности -- коммуникации -- убеждения -- диалоги -- принятие решений -- учебные пособия
Экземпляры всего: 10
Mесто хранения: чз (3), кх (7)
Свободны: чз (3), кх (7)
Найти похожие
Р838
Рузавин, Георгий Иванович.
Основы логики и аргументации : Учеб. пособие для вузов по гуманитарн.-соц. спец. / Г.И. Рузавин. - М. : ЮНИТИ, 2007. - 320 с. - ISBN 978-5-238-01264-3 : 132 р.
Рек. УМЦ
ГРНТИ 02.21
ББК Ю4я73
Ключевые слова: логика -- аргументация -- логика высказываний -- дедуктивные умозаключения -- доказательства -- опровержения -- правдоподобные рассуждения -- гипотетико-дедуктивный метод -- абдукция -- объяснительные гипотезы -- вероятности -- коммуникации -- убеждения -- диалоги -- принятие решений -- учебные пособия
Экземпляры всего: 10
Mесто хранения: чз (3), кх (7)
Свободны: чз (3), кх (7)
Найти похожие
6. Ю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)
Найти похожие
7. Ю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)
Найти похожие
П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)
Найти похожие
8. 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)
Найти похожие
Э821
Эртель, Волфранг.
Введение в искусственный интеллект [Текст] : научное издание / В. Эртель ; пер. с англ. А. Горман. - Москва : Сбербанк, 2019. - 448 с. ; 24 см. - (Библиотека Сбербанка [Искусственный интеллект]). - 10000 экз.. - ISBN 978-5-04-108594-0 (в пер.) : 330.00 р.
ГРНТИ 28.23
УДК:004.8
Ключевые слова: искусственный интеллект -- логика высказываний -- предикатная логика первого порядка -- логическое прогрпммирование -- PROLOG -- машинное обучение -- нейронные сети
Доп.точки доступа: Горман, А. \пер.\ ---
Экземпляры всего: 2
Mесто хранения: чз (1), зал ППС (1)
Свободны: чз (1), зал ППС (1)
Найти похожие