Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=язык ПРОЛОГ, характеристика<.>)
Общее количество найденных документов : 1
1.
   22.12
   И26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2004. - 448 с. - (Высшее проф. образование : педагогические специальности). - Библиогр.: с. 435. - ISBN 5-7695-1363-2 (в пер.) : 253.00 р., 2500002201361 р.
ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
математическая логика -- логика и интуиция -- алгебра высказываний -- логическое следствие, понятие, следствия -- булевы функции -- система аксиом -- логика предикатов -- логические операции -- рекурсивные функции -- теорема Гёделя -- язык ПРОЛОГ, характеристика -- искусственный интеллект, математическая логика

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 22.08.2024
Число запросов 66003
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)