Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку
Електронний каталог ЖОУНБ ім. О. Ольжича
Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича
Андрушівська ЦРБ
Баранівська ЦРБ
Бердичівська МЦБС
Бердичівська ЦРБ
Житомирська МЦБС
Житомирська ЦРБ
Коростенська МЦБС
Коростенська ЦРБ
Народицька ЦРБ
Звягельська бібліотека ЗМР
Малинська ЦРБ
Овруцька ЦРБ
Олевська ЦРБ
Радомишльська ЦРБ
Зона пошуку
Формат представлення знайдених документів:
повний інформаційнийкороткий
Пошуковий запит: <.>K=формализация логики предикатов<.>
Загальна кількість знайдених документів : 1
1.

Форма документа : Однотомне видання
Шифр видання : 16/С 50
Автор(и) : Смирнова, Елена Дмитриевна
Назва : Основы логической семантики : учеб. пособие для студ. филос. ф-тов вузов
Вихідні дані : М.: Высшая школа, 1990
Кільк.характеристики :144 с
Примітки : Лит.: с. 140-142
ISBN, Ціна 5-06-001495-9: 0.35 р.
УДК : 16
ББК : 87.41
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Дан анализ семантических антиномий и методов их устранения. Единым методом доказаны теоремы об ограниченностях формализмов, сжато изложены результаты теории моделей. Специальные разделы посвящены семантике возможных миров и анализу интенсивных контекстов.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі
 
Стандартний
Розширений
Професійний
За словником
УДК-навігатор
ББК-навігатор
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)