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

Базы данных

Вид поиска

Книги

Статьи

Электронные издания ВСГУТУ

Статьи преподавателей ВСГУТУ

Вестник ВСГУТУ

Материалы конференций ВСГУТУ

Выберите поиск:
Что искать:

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=Логика высказываний<.>)

Общее количество найденных документов : 8
Показаны документы с 1 по 8

   Ю4
   И253

    Ивин, А. А.
    Логика : Учеб. для вузов / А.А. Ивин. - москва : Гардарика, 1999. - 352 с. - ISBN 5797501228 : 36.00 р.

ГРНТИ

02.21

ББК Ю4я73
Рубрики: Логика--Учебники
Кл.слова (ненормированные):
Логика -- Слова -- Вещи -- Имена -- Искусство определений -- Искусство классификаций -- Высказывания -- Логика высказываний -- Неклассическая логика -- Доказательства -- Индуктивные рассуждения -- Софизмы -- Логические парадоксы -- Учебники

Экземпляры всего: 13
чз (2), кх (3), аб (8)
Свободны: чз (2), кх (3), аб (8)
Найти похожие

   Ю4
   Б865

    Бочаров, В. А.
    Основы логики : Учеб. для вузов / В.А. Бочаров, В.И. Маркин. - москва : ИНФРА-М,, 1999. - 296 с. : ил. - (Высшее образование). - ISBN 5862255958 : 25.00 р.

ГРНТИ

02.21

ББК Ю4
Рубрики: Логика--Учебники
Кл.слова (ненормированные):
Логика -- Логика высказываний -- Логика предикатов -- Теория дедуктивных рассуждений -- Силлогистика -- учебники

Доп.точки доступа:
Маркин, В.И.
Экземпляры всего: 5
кх (3), чз (2)
Свободны: кх (3), чз (2)
Найти похожие

   007
   Д259

    Девятков, Владимир Валентинович.
    Системы искусственного интеллекта : Учеб. пособие для вузов по спец. "Информ. системы и технологии", "Автоматизир. системы обраб. информ. и упр." / В.В. Девятков. - москва : Изд-во МГТУ, 2001. - 352 с. : ил. - (Информатика в техническом университете). - ISBN 5703817277 : 98.04 р.
Доп. МО РФ

ГРНТИ

28.23

ББК 007(075.8)
Рубрики: Искусственный интеллект--Учебные пособия
Кл.слова (ненормированные):
Искусственный интеллект -- Логика предикатов -- Среды -- Ситуационные исчисления -- Модальность -- Модальная логика -- Дедуктивные базы данных -- Формальные логические системы -- Логика высказываний -- Стратегии поиска -- Нечеткие знания -- Онтологии -- учебные пособия

Учебная литература:
ЭтФ / СИ / 09.04.04 / Системы искусственного интеллекта / 1 / Доп
ИПИБ / ИКГ / 15.03.02 / Офисные технологии / 2 / Доп
ЮФ / ИКГ / 022000.62 / Офисные технологии / 2 / Доп
ЮФ / ИКГ / 022000.62 / Офисные технологии / 3 / Доп
ФЭУ / МЭИС / 38.03.05 / Инженерия знаний и интеллектуальные системы / 7 / Осн
Экземпляры всего: 5
кх (3), аб (2)
Свободны: кх (3), аб (2)
Найти похожие

   Ю4
   И253

    Ивин, Александр Архипович.
    Логика [Text] : учеб. для вузов / А.А. Ивин. - москва : Гардарики, 2002. - 349 с. - (Disciplinae). - ISBN 5797501228 : 80.80 р.
Рек. МО РФ

ГРНТИ

02.21

ББК Ю4я73
Рубрики: Логика--Учебники
Кл.слова (ненормированные):
Логика -- Язык -- Мышление -- Имена -- Искусство определения -- Искусство классификации -- Высказывания -- Логика высказываний -- Неклассическая логика -- Доказательство -- Индуктивные рассуждения -- Софизмы -- Логические парадоксы -- Учебники

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

   Ю4
   Р838

    Рузавин, Георгий Иванович.
    Основы логики и аргументации : Учеб. пособие для вузов по гуманитарн.-соц. спец. / Г.И. Рузавин. - М. : ЮНИТИ, 2007. - 320 с. - ISBN 978-5-238-01264-3 : 132 р.
Рек. УМЦ

ГРНТИ

02.21

ББК Ю4я73
Рубрики: Логика--Аргументация--Учебные пособия
Кл.слова (ненормированные):
логика -- аргументация -- логика высказываний -- дедуктивные умозаключения -- доказательства -- опровержения -- правдоподобные рассуждения -- гипотетико-дедуктивный метод -- абдукция -- объяснительные гипотезы -- вероятности -- коммуникации -- убеждения -- диалоги -- принятие решений -- учебные пособия

Экземпляры всего: 10
чз (3), кх (7)
Свободны: чз (3), кх (7)
Найти похожие

   Ю4
   Ж798

    Жоль, Константин Константинович.
    Логика : учеб. пособие для вузов / К. К. Жоль. - М. : ЮНИТИ, 2004. - 396 с. : ил. - (Bibliotheca Studiorum). - ISBN 5-238-00664-0 : 280 р.
Рек. УМЦ

ГРНТИ

02.21

ББК Ю4я73
Рубрики: Логика--Учебные пособия
Кл.слова (ненормированные):
символическая логика -- математическая логика -- логика высказываний -- пропозициональная логика -- логика предикатов -- конструктивистская логика -- интуиционистская логика -- модальная логика -- логическая семантика -- логическое программирование -- учебные пособия

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

   Ю4
   П58

    Попов, Юрий Петрович.
    Логика : учебное пособие для студентов вузов, обучающихся по направлению подготовки и специальности "Философия" / Ю. П. Попов. - 3-е изд., перераб. и доп. - Москва : КНОРУС, 2015. - 294, [2] с. ; 22 см. - 396 экз.. - ISBN 978-5-406-03908-3 (в пер.) : 406.67 р.

ГРНТИ

02.21

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

Учебная литература:
ФЭУ / Философия / 38.03.06 / Логика и теория аргументации / 2 / Осн
Экземпляры всего: 20
чз (3), аб (17)
Свободны: чз (3), аб (16)
Найти похожие

   004.8
   Э821

    Эртель, Волфранг.
    Введение в искусственный интеллект [] : научное издание / В. Эртель ; пер. с англ. А. Горман. - Москва : Сбербанк, 2019. - 448 с. ; 24 см. - (Библиотека Сбербанка [Искусственный интеллект]). - 10000 экз.. - ISBN 978-5-04-108594-0 (в пер.) : 330.00 р.

ГРНТИ	28.23
УДК	004.8

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

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

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

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

Базы данных

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

Вид поиска