Информационно-библиотечный центр Поволжского государственного технологического университета

Главная

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Книги

Статьи

Полные тексты изданий ПГТУ

Периодика

Авторефераты и диссертации

Область поиска

Найдено в других БД:

Полные тексты изданий ПГТУ (1)

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

Поисковый запрос: (<.>K=логика предикатов<.>)

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

Вид документа : Однотомное издание
Шифр издания : 51/М 74
Автор(ы) : Моисеев, Николай Геннадьевич
Заглавие : Математическая логика и теория алгоритмов : лаб. практикум
Выходные данные : Йошкар-Ола: МарГТУ, 2011
Колич.характеристики :211 с.: ил.
Цена : 36.75, 36.75, 37.02, р.
ГРНТИ : 27.03.19
УДК : 510.6(076.5) + 510.5(076.5)
Ключевые слова (''Своб.индексиров.''): лабораторные практикумы--алгебра высказываний--алгебра логики--логика высказываний--логика предикатов--алгоритмы (теория)
Экземпляры : всего 55: абунл(54), чз№1(2), чз№2(3), кнхр(1)
Свободны : абунл(42), чз№1(2), чз№2(1), кнхр(1)
Перейти к внешнему ресурсу Математическая логика и теория алгоритмов.
Найти похожие

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

Статистика за 02.06.2024
Число запросов	27300
Число посетителей	1043
Число заказов	0