Скачать книгу - Formal Semantics in Modern Type Theories
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide powerful means for adequate semantic constructions. This offers a serious alternative to the traditional settheoretical foundation for linguistic semantics and opens up a new avenue for developing formal semantics that is both model-theoretic and proof-theoretic, which was not available before the development of MTTsemantics. This book provides a reader-friendly and precise description of MTTs and offers a comprehensive introduction to MTT-semantics. It develops several case studies, such as adjectival modification and copredication, to exemplify the attractiveness of using MTTs for the study of linguistic meaning. It also examines existing proof assistant technology based on MTT-semantics for the verification of semantic constructions and reasoning in natural language. Several advanced topics are also briefly studied, including dependent event types, an application of dependent typing to event semantics.


Modern English in Conversation. Учебное пособие Modern English in Conversation. Учебное пособие

Автор: Л. А. Ерофеева

Год издания: 



Modern English Grammar Practice. Сборник упражнений на базе экономической лексики Modern English Grammar Practice. Сборник упражнений на базе экономической лексики

Автор: Клавдия Солодушкина

Год издания: 

Сборник упражнений составлен на материале оригинальных английских текстов последних лет, освещает основные грамматические трудности английского языка, характерные для текстов экономического содержания. Сборник может быть использован на занятиях со студентами и аспирантами экономических вузов, а также может быть полезен для специалистов, которым по роду своей деятельности приходится читать литературу по экономической проблематике.


Modern Dictionary of Phrasal Verbs and Idioms in the Language of Business / Современный англо-русский словарь фразовых глаголов и идиом в сфере экономики и бизнеса Modern Dictionary of Phrasal Verbs and Idioms in the Language of Business / Современный англо-русский словарь фразовых глаголов и идиом в сфере экономики и бизнеса

Автор: Клавдия Солодушкина

Год издания: 

Англо-русский словарь «Modern Dictionary of Phrasal Verbs and Idioms in the Language of Business / Современный англо-русский словарь фразовых глаголов и идиом в сфере экономики и бизнеса» содержит около 500 идиом и 4000 фразовых глаголов, широко употребляемых в современной экономической литературе и в сфере деловой коммуникации. Цель этого справочника – помочь читателю в его стремлении совершенствовать свои навыки чтения и коммуникации в своей профессиональной области. Словарь предназначен для студентов, аспирантов и преподавателей экономических вузов, а также экономистов и бизнесменов, сталкивающихся в своей деятельности с необходимостью читать литературу на английском языке по своей специальности или говорить по-английски при общении с зарубежными коллегами.


Pensees ingenieuses des anciens et des modernes recuillies par le R. P. Dominique Bouhours Pensees ingenieuses des anciens et des modernes recuillies par le R. P. Dominique Bouhours

Автор: Группа авторов

Год издания: 

Полный вариант заголовка: «Pensees ingenieuses des anciens et des modernes / recueillies par le R. P. Dominique Bouhours ; nouvelle edition, ou les citations sont dispоsees dans un meilleur ordre, & ou les noms des personnes citees sont places a la marge, & non a la fin du livre comme dans les precedentes editions».


Traite d'equitation, contenant l'art de l'equyer, les exercises a cheval, anciens et modernes Traite d'equitation, contenant l'art de l'equyer, les exercises a cheval, anciens et modernes

Автор: Chatelain

Год издания: 

Полный вариант заголовка: «Traite d'equitation, contenant l'art de l'equyer, les exercises a cheval, anciens et modernes / par le chevalier de Chatelain».