Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

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

Вид пошуку

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

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: <.>K=формализация логики предикатов<.>

Загальна кількість знайдених документів : 1

16
С 50

Смирнова, Елена Дмитриевна.
Основы логической семантики [] : учеб. пособие для студ. филос. ф-тов вузов / Е. Д. Смирнова. - М. : Высшая школа, 1990. - 144 с. - Лит.: с. 140-142. - ISBN 5-06-001495-9 : 0.35 р.

УДК

ББК 87.41
Рубрики: Логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
знакові системи -- знаковые системы -- штучні і при родні мови -- искусственные и естественные языки -- логічна семантика -- логичная семантика -- формальна арифметика -- формальная арифметика -- формалізація логіки предикатів -- формализация логики предикатов -- елементи теорії моделей -- элементы теории моделей -- семантика можливих світів -- семантика возможных миров -- модальність в логіці -- модальность в логике -- проблеми змісту і значення -- проблемы содержания и значения -- аналіз інтексіональних контекстів -- анализ интексиональных контестов
Анотація: Дан анализ семантических антиномий и методов их устранения. Единым методом доказаны теоремы об ограниченностях формализмов, сжато изложены результаты теории моделей. Специальные разделы посвящены семантике возможных миров и анализу интенсивных контекстов.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)