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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логические формулы<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Однотомное издание
Шифр издания : 16/П88
Автор(ы) : Пугачева, Людмила Геннадьевна, Гнидина, Юлия Александровна, Кащеев, Сергей Иванович
Заглавие : Логика : учебно-методическое пособие
Выходные данные : Саратов: Изд-во Саратовской гос. акад. права, 2000
Колич.характеристики :88 с
Примечания : Библиогр.: с. 85
ISBN, Цена 5-7924-0136-5: 18.00, 18.00, р.
УДК : 16
ББК : 87.4
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): логический закон--модельная логика--познание--язык логики--логика для юристов--логические формулы--логика
Аннотация: Цель пособия - познакомить студентов с современными теоретическими взглядами на предмет и функции логики в контексте познавательного отношения человека к физической и социальной реальности.
Экземпляры : всего 2: ч/з1(2), ч/з3(1), ч/з4(2), ч/з6(4), н/а(10), уч/а(2)
Свободны : ч/з1(2), ч/з3(1), ч/з4(2), ч/з6(4), н/а(10)
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 16/Н53
Автор(ы) : Непейвода, Николай Николаевич
Заглавие : Прикладная логика : учебное пособие
Выходные данные : Ижевск: Изд-во Удмуртского ун-та, 1997
Колич.характеристики :385 с
ISBN, Цена 5-7029-0074-X: 20.00, 21.00, 20.00, р.
УДК : 16
ББК : 87.я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): математика--интерпретация--предикат--логические формулы--истинность--таблица--квантора--равенство--отрицание--множество--кортеж--отношения--функции--фактор--диаграмма--слово--классическая логика--индукция--язык
Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня.
Экземпляры : всего : ч/з1(2), н/а(1)
Свободны : ч/з1(2), н/а(1)
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)