51 Л656 Лихтарников, Леонид Моисеевич. Математическая логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 339.22 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна --- Экземпляры всего: 5 Mесто хранения: чз (2), зал ППС (1), аб (2) Свободны: чз (2), зал ППС (1), аб (2) |
51 Л656 Лихтарников, Леонид Моисеевич. Математическая логика. Курс лекций. Задачник-практикум и решения : Учеб. пособие [для вузов] / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. : ил. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 353.10 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- алгебра логики -- исчисление высказываний -- логика предметов -- математические теории -- алгоритмы -- практикумы -- курсы лекций -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна --- Экземпляры всего: 2 Mесто хранения: аб (2) Свободны: аб (1) |
Балюкевич, Э. Л. Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-практическое пособие для студентов высших учебных заведений обучающихся по специальности 080801 "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электрон. ун-т", Моск. гос. ун-т экономики, статистики и информатики, Евраз. открытый ин-т. - Москва : Издательский центр ЕАОИ, 2009. - 189 с. - ISBN 978-5-374-00220-1 : Б. ц. Рекомендовано УМО ГРНТИ 06.35.51 Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- проверка правильности рассуждений -- исчисление высказываний -- алгебра предикатов -- учебно-практические пособия -- сборники задач Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Ковалева, Л. Ф. --- Международный консорциум "Электронный университет" Московский государственный университет экономики, статистики и информатики Евразийский открытый институт Свободных экз. нет |
004.8 О-79 Остроух, Андрей Владимирович. Системы искусственного интеллекта [Текст] : монография / А. В. Остроух, Н. Е. Суркова. - 2-е изд., стереотип. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2021. - 228 с. ; 24 см. - 30 экз.. - ISBN 978-5-8114-8519-2 (в пер.) : 1816.10 р. ГРНТИ 28.23 УДК:004.8(075.8) Ключевые слова: искусственный интеллект -- системы искусственного интеллекта -- методы представления знаний -- методы решения задач -- исчисление высказываний -- исчисление предикатов -- метод резолюций -- неопределенность знаний -- профессиональная деятельность -- естественно-языковой интерфейс -- ЕЯИ -- экспертные системы -- нейросетевые технологии -- интеллектуальные информационные системы -- автомобильный транспорт Доп.точки доступа: Суркова, Наталия Евгеньевна --- Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |