Научная библиотека ВСГУТУ

   51
   Л656

    Лихтарников, Леонид Моисеевич.
    Математическая логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 339.22 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебные пособия
Кл.слова (ненормированные):
математическая логика -- алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы -- учебные пособия

Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Учебная литература:
ЭтФ / СИ / 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)
Найти похожие

   51
   Л656

    Лихтарников, Леонид Моисеевич.
    Математическая логика. Курс лекций. Задачник-практикум и решения : Учеб. пособие [для вузов] / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. : ил. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 353.10 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Практикумы--Учебные пособия
Кл.слова (ненормированные):
математическая логика -- алгебра логики -- исчисление высказываний -- логика предметов -- математические теории -- алгоритмы -- практикумы -- курсы лекций -- учебные пособия

Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Учебная литература:
ЭтФ / ТК / 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 : Б. ц.
Рекомендовано УМО

ГРНТИ

06.35.51

Рубрики: Математическая логика--Учебно-практические пособия
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- алгебра высказываний -- проверка правильности рассуждений -- исчисление высказываний -- алгебра предикатов -- учебно-практические пособия -- сборники задач

Перейти к внешнему ресурсу: полный текст в ЭБС 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 / Осн
Свободных экз. нет
Найти похожие

   004.8
   О-79

    Остроух, Андрей Владимирович.
    Системы искусственного интеллекта [] : монография / А. В. Остроух, Н. Е. Суркова. - 2-е изд., стереотип. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2021. - 228 с. ; 24 см. - 30 экз.. - ISBN 978-5-8114-8519-2 (в пер.) : 1816.10 р.

ГРНТИ	28.23
УДК	004.8(075.8)

Рубрики: Искусственный интеллект--Монографии
Кл.слова (ненормированные):
искусственный интеллект -- системы искусственного интеллекта -- методы представления знаний -- методы решения задач -- исчисление высказываний -- исчисление предикатов -- метод резолюций -- неопределенность знаний -- профессиональная деятельность -- естественно-языковой интерфейс -- ЕЯИ -- экспертные системы -- нейросетевые технологии -- интеллектуальные информационные системы -- автомобильный транспорт

Доп.точки доступа:
Суркова, Наталия Евгеньевна
Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

Тематический навигатор

ссылка на мобильную версию электронного каталога

Базы данных

Книги- результаты поиска

Вид поиска