04607nam 22005415 450 991078920760332120200919234013.094-009-2213-210.1007/978-94-009-2213-6(CKB)3400000000116794(DE-He213)978-94-009-2213-6(MiAaPQ)EBC3102357(EXLCZ)99340000000011679420121227d1993 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierMathematical Methods in Linguistics[electronic resource] /by Barbara B.H. Partee, A.G. ter Meulen, R. Wall1st ed. 1993.Dordrecht :Springer Netherlands :Imprint: Springer,1993.1 online resource (xxii, 666 pages)Studies in Linguistics and Philosophy,0924-4662 ;30Includes bibliographical references and index.A Set Theory -- 1 Basic Concepts of Set Theory -- 2 Relations and Functions -- 3 Properties of Relations -- 4 Infinities -- B Logic and Formal Systems -- 5 Basic Concepts of Logic and Formal Systems -- 6 Statement Logic -- 7 Predicate Logic -- 8 Formal Systems, Axiomatization, and Model Theory -- C Algebra -- 9 Basic Concepts of Algebra -- 10 Operational Structures -- 11 Lattices -- 12 Boolean and Heyting Algebras -- D English As A Formal Language -- 13 Basic Concepts -- 14 Generalized Quantifiers -- 15 Intensionality -- E Languages, Grammars, and Automata -- 16 Basic Concepts -- 17 Finite Automata, Regular Languages and Type 3 Grammars -- 18 Pushdown Automata, Context Free Grammars and Languages -- 19 Turing Machines, Recursively Enumerable Languages and Type 0 Grammars -- 20 Linear Bounded Automata, Context Sensitive Languages and Type 1 Grammars -- 21 Languages Between Context Free and Context Sensitive -- 22 Transformational Grammars -- Solutions to Selected Exercises -- 1 -- 2 -- 3 -- 4 -- Review problems, Part A -- 6 -- 7 -- 8 -- Review problems, Part B -- 9 -- 10 -- 11 -- 12 -- Review problems, Part C -- 13 -- 14 -- 15 -- 17 -- 18 -- 19 -- 20 -- Appendix E-II -- Review problems, Part E.Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language.Studies in Linguistics and Philosophy,0924-4662 ;30Computational linguisticsLogicLanguage and languages—PhilosophyComputational Linguisticshttps://scigraph.springernature.com/ontologies/product-market-codes/N22000Logichttps://scigraph.springernature.com/ontologies/product-market-codes/E16000Philosophy of Languagehttps://scigraph.springernature.com/ontologies/product-market-codes/E26000Computational linguistics.Logic.Language and languages—Philosophy.Computational Linguistics.Logic.Philosophy of Language.410.285Partee Barbara B.Hauthttp://id.loc.gov/vocabulary/relators/aut164728ter Meulen A.Gauthttp://id.loc.gov/vocabulary/relators/autWall Rauthttp://id.loc.gov/vocabulary/relators/autBOOK9910789207603321Mathematical Methods in Linguistics3748032UNINA01363nam2 22002773i 450 VAN0010342020240806100723.11220151106d2008 |0itac50 baitaIT|||| |||||ˆ<<‰Monumenti funerari di età romana nelle province di Macerata, Fermo e Ascoli Piceno>> 1di Emanuela Stortonicon schede di Roberta Iezzi, Edvige PercossiUrbinoMonacchi2008347 p.ill.30 cm.001VAN001034102001 Monumenti funerari di età romana nelle province di Macerata, Fermo e Ascoli Picenodi Emanuela Stortoni210 UrbinoMonacchi[2008]215 2 volumiill.30 cm.1UrbinoVANL000240StortoniEmanuelaVANV080716730425IezziRobertaVANV080736Percossi SerenelliEdvigeVANV080735MonacchiVANV114338650ITSOL20240906RICABIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALIIT-CE0103VAN07VAN00103420BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI07CONS Ae 2160 1 07UBL232 20151106 Monumenti funerari di età romana nelle province di Macerata, Fermo e Ascoli Piceno 11440077UNICAMPANIA