Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Книги- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=логика высказываний<.>)
Общее количество найденных документов
:
8
Показаны документы
с 1 по 8
>
1.
Ю4
И253
Ивин, А. А.
Логика
: Учеб. для вузов / А.А. Ивин. - москва : Гардарика, 1999. - 352 с. -
ISBN
5797501228 : 36.00 р.
ГРНТИ
02.21
ББК
Ю4я73
Рубрики:
Логика
--Учебники
Кл.слова (ненормированные):
Логика
--
Слова
--
Вещи
--
Имена
--
Искусство определений
--
Искусство классификаций
--
Высказывания
--
Логика
высказываний
--
Неклассическая
логика
--
Доказательства
--
Индуктивные рассуждения
--
Софизмы
--
Логические парадоксы
--
Учебники
Экземпляры всего:
13
чз (2), кх (3), аб (8)
Свободны:
чз (2), кх (3), аб (8)
Найти похожие
>
2.
Ю4
Б865
Бочаров, В. А.
Основы
логики
: Учеб. для вузов / В.А. Бочаров, В.И. Маркин. - москва : ИНФРА-М,, 1999. - 296 с. : ил. - (Высшее образование). -
ISBN
5862255958 : 25.00 р.
ГРНТИ
02.21
ББК
Ю4
Рубрики:
Логика
--Учебники
Кл.слова (ненормированные):
Логика
--
Логика
высказываний
--
Логика
предикатов
--
Теория дедуктивных рассуждений
--
Силлогистика
--
учебники
Доп.точки доступа:
Маркин, В.И.
Экземпляры всего:
5
кх (3), чз (2)
Свободны:
кх (3), чз (2)
Найти похожие
>
3.
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.
Ю4
И253
Ивин, Александр Архипович
.
Логика
[Text] : учеб. для вузов / А.А. Ивин. - москва : Гардарики, 2002. - 349 с. - (Disciplinae). -
ISBN
5797501228 : 80.80 р.
Рек. МО РФ
ГРНТИ
02.21
ББК
Ю4я73
Рубрики:
Логика
--Учебники
Кл.слова (ненормированные):
Логика
--
Язык
--
Мышление
--
Имена
--
Искусство определения
--
Искусство классификации
--
Высказывания
--
Логика
высказываний
--
Неклассическая
логика
--
Доказательство
--
Индуктивные рассуждения
--
Софизмы
--
Логические парадоксы
--
Учебники
Экземпляры всего:
1
аб (1)
Свободны:
аб (1)
Найти похожие
>
5.
Ю4
Р838
Рузавин, Георгий Иванович
.
Основы
логики
и аргументации : Учеб. пособие для вузов по гуманитарн.-соц. спец. / Г.И. Рузавин. - М. : ЮНИТИ, 2007. - 320 с. -
ISBN
978-5-238-01264-3 : 132 р.
Рек. УМЦ
ГРНТИ
02.21
ББК
Ю4я73
Рубрики:
Логика
--Аргументация--Учебные пособия
Кл.слова (ненормированные):
логика
--
аргументация
--
логика
высказываний
--
дедуктивные умозаключения
--
доказательства
--
опровержения
--
правдоподобные рассуждения
--
гипотетико-дедуктивный метод
--
абдукция
--
объяснительные гипотезы
--
вероятности
--
коммуникации
--
убеждения
--
диалоги
--
принятие решений
--
учебные пособия
Экземпляры всего:
10
чз (3), кх (7)
Свободны:
чз (3), кх (7)
Найти похожие
>
6.
Ю4
Ж798
Жоль, Константин Константинович
.
Логика
: учеб. пособие для вузов / К. К. Жоль. - М. : ЮНИТИ, 2004. - 396 с. : ил. - (Bibliotheca Studiorum). -
ISBN
5-238-00664-0 : 280 р.
Рек. УМЦ
ГРНТИ
02.21
ББК
Ю4я73
Рубрики:
Логика
--Учебные пособия
Кл.слова (ненормированные):
символическая
логика
--
математическая
логика
--
логика
высказываний
--
пропозициональная
логика
--
логика
предикатов
--
конструктивистская
логика
--
интуиционистская
логика
--
модальная
логика
--
логическая семантика
--
логическое программирование
--
учебные пособия
Экземпляры всего:
1
чз (1)
Свободны:
чз (1)
Найти похожие
>
7.
Ю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)
Найти похожие
>
8.
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)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога