Интеграция лексической и формальной семантики
Book information
Description
Казань, 2003. 58 с.Курс лекций по логической семантике, прочитанный в Казанском университете в 2003 г. Содержит элементарное изложение методов, средств и проблем описания семантики естественных языков.Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка. Формальная семантика. Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных групп. Превые шаги к интеграции формальной и лексической семантики. Семантика генитивной конструкции, типы и сорта.
Similar books
Введение в теорию множеств и математическую логику
Збірник вправ і задач з математичної логіки
DJVU
Логические теории временных контекстов (Временная логика)
DJVU
Введение в математическую логику и роды структур
Вокруг теоремы Геделя
Математическая логика и теория алгоритмов
Введение в математическую логику
DOCX