1.

Record Nr.

UNINA9910793268003321

Autore

Amorós Negre Carla

Titolo

La estandarización lingüística de los relativos en el mundo hispánico : una aproximación empírica / / Carla Amorós-Negre

Pubbl/distr/stampa

Madrid ; ; Frankfurt am Main : , : Iberoamericana : , : Vervuert, , [2018]

©2018

ISBN

3-95487-787-2

Descrizione fisica

1 online resource (361 páginas) : ilustraciones

Collana

Lengua y Sociedad en el Mundo Hispánico ; ; Volume 40

Classificazione

IM 2410

Disciplina

465

Soggetti

Spanish language - Relative clauses

Spanish language - Standardization

Spanish language - Variation - Latin America

Lingua di pubblicazione

Spagnolo

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references (pages 317-361).

Nota di contenuto

Front matter -- ÍNDICE -- Prólogo -- Introducción -- Capítulo 1: Fundamentos teóricos para el análisis de la estandarización lingüística del español -- Capítulo 2: Un análisis sincrónico del proceso de estandarización lingüística: el interés de los relativos -- Capítulo 3: La normativización lingüística de los relativos en español -- Capítulo 4: Análisis cuantitativo y cualitativo de los relativos en corpus: la normalización lingüística -- Capítulo 5: La estandarización de ciertas construcciones de relativo en el ámbito hispánico: comportamientos y actitudes lingüísticas -- Conclusiones -- Referencias bibliográficas

Sommario/riassunto

La presente monografía propone una teoría general desde la que explicar la naturaleza de la prescripción lingüística y una de sus manifestaciones principales, el proceso de estandarización lingüística. El marco teórico desarrollado se aplica al análisis de un aspecto gramatical concreto, el paradigma de los relativos, cuyo uso está sometido a gran variación y cuya distribución es muy sensible al continuum inmediatez-distancia comunicativa.



2.

Record Nr.

UNINA9910798779003321

Autore

Goranko Valentin

Titolo

Logic as a tool : a guide to formal logical reasoning / / Valentin Goranko

Pubbl/distr/stampa

Chichester, West Sussex, England : , : Wiley, , 2016

2016

ISBN

1-118-88004-8

1-118-88005-6

Edizione

[1st edition]

Descrizione fisica

1 online resource (383 pages) : illustrations, tables

Collana

New York Academy of Sciences

Classificazione

116

410.96

511.3

Disciplina

511.3

Soggetti

Logic

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes bibliographical references (p. [348]-350) and index

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises.

Sommario/riassunto

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning.  It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language.  It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level,  and provides the reader with technical skills needed for practical derivations in them.  Systematic guidelines are offered on how to perform logically



correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ. •Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples •Emphasis both on conceptual understanding and on developing practical skills •Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic •Includes extensive sets of exercises, many of them provided with solutions or answers •Supplemented by a website including detailed slides, additional exercises and solutions