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

Базы данных


Книги фонда НБ СГЮА - результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=квантора<.>)
Общее количество найденных документов : 1
1.
16
Н53

    Непейвода, Николай Николаевич.
    Прикладная логика [Текст] : учебное пособие / Н. Н. Непейвода. - Ижевск : Изд-во Удмуртского ун-та, 1997. - 385 с. - ISBN 5-7029-0074-X : 21.00 р., 20.00 р.
УДК
16
ББК 87.я73
Рубрики: Логика
Кл.слова (ненормированные):
математика -- интерпретация -- предикат -- логические формулы -- истинность -- таблица -- квантора -- равенство -- отрицание -- множество -- кортеж -- отношения -- функции -- фактор -- диаграмма -- слово -- классическая логика -- индукция -- язык
Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня.

Держатели документа:
НБ СГАП

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