Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Книги- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Найдено в других БД:
Электронные издания ВСГУТУ (1)
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=логика предикатов<.>)
Общее количество найденных документов
:
9
Показаны документы
с 1 по 9
>
1.
Ю4
Б865
Бочаров, В. А.
Основы
логики
: Учеб. для вузов / В.А. Бочаров, В.И. Маркин. - москва : ИНФРА-М,, 1999. - 296 с. : ил. - (Высшее образование). -
ISBN
5862255958 : 25.00 р.
ГРНТИ
02.21
ББК
Ю4
Рубрики:
Логика
--Учебники
Кл.слова (ненормированные):
Логика
--
Логика
высказываний
--
Логика
предикатов
--
Теория дедуктивных рассуждений
--
Силлогистика
--
учебники
Доп.точки доступа:
Маркин, В.И.
Экземпляры всего:
5
кх (3), чз (2)
Свободны:
кх (3), чз (2)
Найти похожие
>
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)
Найти похожие
>
3.
51
И269
Игошин, Владимир Иванович
.
Математическая
логика
и теория алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование) (Педагогические специальности). -
ISBN
978-5-7695-5200-7 : 372.00 р., 372.00 р.
Допущено МО РФ
ГРНТИ
27.03.19
27.03.17
УДК
510.6(075.8)
Рубрики:
Математика--Математическая
логика
--Теория алгоритмов--Учебные пособия
Кл.слова (ненормированные):
математическая
логика
--
теория алгоритмов
--
алгебра высказываний
--
булевы функции
--
формализованное исчисление
--
логика
предикатов
--
аксиоматические теории
--
программирование
--
логическое программирование
--
искусственный интеллект
--
учебные пособия
Учебная литература:
ЭтФ / ЭВС / 09.04.01 / Аппликативные вычислительные системы / 3 / Осн
ЭтФ / ЭВС / 11.05.01 / Математическая
логика
и теория графов / 3 / Осн
СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Осн
ЭтФ / СИ / 09.03.04 /
Логика
и теория алгоритмов / 5 / Осн
ЭтФ / СИ / 09.03.04 / Функционально-логическое программирование / 7 / Доп
Экземпляры всего:
5
чз (2), аб (3)
Свободны:
чз (2), аб (3)
Найти похожие
>
4.
51
И269
Игошин, Владимир Иванович
.
Задачи и упражнения по математической
логике
и теории алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 4-е изд. - М. : Академия, 2008. - 302 с. - (Высшее профессиональное образование) (Педагогические специальности). -
ISBN
978-5-7695-5272-4 : 267.00 р.
Допущено МО РФ
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики:
Математика--Математическая
логика
--Теория алгоритмов--Учебные пособия
Кл.слова (ненормированные):
математическая
логика
--
теория алгоритмов
--
алгебра высказываний
--
булевы функции
--
формализованные исчисления высказываний
--
логика
предикатов
--
элементы теории алгоритмов
--
учебные пособия
Учебная литература:
ЭтФ / СИ / 02.03.03 / Математическая
логика
/ 3 / Доп
СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Доп
ЭтФ / СИ / 09.03.04 /
Логика
и теория алгоритмов / 5 / Доп
Экземпляры всего:
2
аб (1), чз (1)
Свободны:
аб (1), чз (1)
Найти похожие
>
5.
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)
Найти похожие
>
6.
Ю4
Ж798
Жоль, Константин Константинович
.
Логика
: учеб. пособие для вузов / К. К. Жоль. - М. : ЮНИТИ, 2004. - 396 с. : ил. - (Bibliotheca Studiorum). -
ISBN
5-238-00664-0 : 280 р.
Рек. УМЦ
ГРНТИ
02.21
ББК
Ю4я73
Рубрики:
Логика
--Учебные пособия
Кл.слова (ненормированные):
символическая
логика
--
математическая
логика
--
логика
высказываний
--
пропозициональная
логика
--
логика
предикатов
--
конструктивистская
логика
--
интуиционистская
логика
--
модальная
логика
--
логическая семантика
--
логическое программирование
--
учебные пособия
Экземпляры всего:
1
чз (1)
Свободны:
чз (1)
Найти похожие
>
7.
658
Е421
Ездаков, Андрей Леонидович
.
Экспертные системы САПР : Учебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 "Информатика и вычислительная техника" / А. Л. Ездаков. - Москва : Форум, 2013. - 159, [1] с. : рис., табл. ; 22 см. - (Высшее образование). - Библиогр.: с. 146 (9 назв.). - 1000 экз.. -
ISBN
978-5-8199-0398-8 (в пер.) : 200.00 р.
Допущено УМО
ГРНТИ
50.51
81.14.15
УДК
658.512.011.56(075.8)
Рубрики:
Системы автоматизированного проектирования--Учебные пособия
Кл.слова (ненормированные):
экспертные системы САПР
--
системы автоматизированного проектирования
--
искусственный интеллект
--
логика
предикатов
--
механизм вывода методом резолюции
--
стратегии управления для методов резолюции
--
представление знаний правилами
--
логические выводы
--
специализированные системы продукции
--
системы дедукций
--
обратные системы продукции
--
стратегии управления для систем дедукции
--
сетевые модели представления знаний
--
семантические сети
--
совокупность фреймов
--
дедуктивные выводы на семантических сетях
--
способы представления знаний
--
экспертные системы "объект - признак"
--
экспертные системы
--
параллельное высокоуровневое проектирование
--
системы распознавания фрагментов цепи
--
учебные пособия
Учебная литература:
СФ / ИКГ / 08.03.01 / Системы автоматизированного проектирования (AutoCad) / 3 / Осн
ЭтФ / СИ / 02.04.03 / Методы анализа формальных понятий / 3 / Доп
ЭтФ / СИ / 02.04.03 / Онтологии и тезаурусы / 3 / Доп
ЭтФ / СИ / 02.04.03 / Семантические сети / 3 / Доп
СФ / ИКГ / 08.03.01 / Системы автоматизированного проектирования (MagicCad) / 4 / Осн
ИПИБ / БМТ ПАПП / 12.03.04 / САПР / 5 / Доп
СФ / ТГВ / 08.03.01 / Системы автоматизированного проектирования СКМ / 6 / Осн
ФЭСТД / СТС / 43.03.03 / Информационные технологии в гостиничном сервисе / 7 / Осн
СФ / СОПР / 09.03.02 / Автоматизированные системы проектирования в строительстве / 8 / Осн
Экземпляры всего:
5
аб (2), чз (3)
Свободны:
аб (2), чз (3)
Найти похожие
>
8.
Ю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)
Найти похожие
>
9.
Конспекты лекций и
упражнения по курсу "Математическая
логика
(
Логика
предикатов
)" [] : учебное пособие / сост.: Л. П. Петрова, Б. Н. Садовский. - [Б. м. : б. и.]. - Б. ц.
Рубрики:
Математическая
логика
--Учебные пособия
Кл.слова (ненормированные):
логика
предикатов
--
язык
логики
предикатов
--
теоремы
логики
предикатов
--
прикладная
логика
предикатов
--
учебные пособия
Перейти к внешнему ресурсу:
Полный текст в ЭБС "Руконт"
Доп.точки доступа:
Петрова, Любовь Петровна \сост.\; Садовский, Борис Николаевич \сост.\
Учебная литература:
ЭтФ / СИ / 02.03.03 / Практикум по
логике
предикатов
/ 5 / Осн
Свободных экз. нет
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога