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

Базы данных


Электронный каталог НТГСПИ - результаты поиска

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Ивлев, Ю. В.$<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   Ю4
   И255

    Ивлев, Ю. В.
    Содержательная семантика модальной логики [Текст] : монография / Ю.В. Ивлев. - Москва : Изд-во МГУ, 1985. - 170 с. - Библиогр.: с. 166-168. - 0.75 р.
ББК Ю4
Рубрики: Логика
Аннотация: Она посвящена построению неформальных семантик модальной логики, в основе развиваемого автором оригинального подхода лежит различие фактических и логических алетических модальных понятий. При определении фактических модальных понятий применяется табличный метод, представляющий собой конкретизацию истинных таблиц классической пропозициональной логики за счет модификации значений "истина" и "ложь".

Держатели документа:
библиотека нтгспа
Экземпляры всего: 1
АБ (1)
Свободны: АБ (1)
Найти похожие
2.
   Ю4
   И255

    Ивлев, Ю. В.
    Логика [Текст] : экспериментальный учебник для студентов гуманитарных вузов / Ю.В. Ивлев. - Москва : Наука, 1994. - 284 с. - (Программа "Обновление гуманитарного образования в России"). - Библиогр.: с. 276-277. - 6000.00 р.
ББК Ю4я73
Рубрики: Учебники и учебные пособия по логике

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