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

Базы данных


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

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

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

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

Доп.точки доступа:
Тарский \о нем\; Гедель \о нем\; Прутков, К. \о нем\
Экземпляры всего: 3
ч/з1 (2), н/а (1)
Свободны: ч/з1 (2), н/а (1)
Найти похожие
2.
16
В65

   Войшвилло, Евгений Казимирович
    Логика как часть теории познания и научной методологии. Фундаментальный курс [Текст] : учебное пособие / Е. К. Войшвилло, М. Г. Дегтярев. - М. : Наука. - (Обновление гуманитарного образования в России). - ISBN 5-02-013515-1.
   Кн. 1. - 1994. - 312 с. - ISBN 5-02-013514-3 : б. ц. р.
УДК
16
Рубрики: Логика
Кл.слова (ненормированные):
язык -- дедукция -- релевантная логика -- исчисление предикатов -- предикаты -- классическая логика -- ЛОГИКА -- логические исчисления -- исчисления

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

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