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