LEADER 05284nam a22006015i 4500
001 805992
003 TR_AnAIT
005 20260127001215
007 cr nn 008mamaa
008 121227s1993 ne | s |||| 0|eng d
020 |a9789400922136|9978-94-009-2213-6
024 7 |a10.1007/978-94-009-2213-6|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aP98-98.5
072 7|aCFX|2bicssc
072 7|aCOM073000|2bisacsh
072 7|aCFX|2thema
082 04|a410.285|223
090 |aDK/7305
100 1 |aPartee, Barbara B.H.|eauthor.|4aut|4http://id.loc.gov/vocabulary/relators/aut
245 10|aMathematical Methods in Linguistics|h[electronic resource] /|cby Barbara B.H. Partee, A.G. ter Meulen, R. Wall.
250 |a1st ed. 1993.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c1993.
300 |aXXII, 666 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aStudies in Linguistics and Philosophy,|x2215-034X ;|v30
505 0 |aA 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, PartA -- 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.
520 |aElementary 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. Forupper-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.
532 8 |aAccessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.
532 8 |aInaccessible, or known limited accessibility
532 8 |aNo reading system accessibility options actively disabled
532 8 |aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0|aComputational linguistics.
650 0|aLogic.
650 0|aLanguage and languages|xPhilosophy.
650 14|aComputational Linguistics.
650 24|aLogic.
650 24|aPhilosophy of Language.
700 1 |ater Meulen, A.G.|eauthor.|4aut|4http://id.loc.gov/vocabulary/relators/aut
700 1 |aWall, R.|eauthor.|4aut|4http://id.loc.gov/vocabulary/relators/aut
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9789027722447
776 08|iPrinted edition:|z9789027722454
776 08|iPrinted edition:|z9789400922143
830 0|aStudies in Linguistics and Philosophy,|x2215-034X ;|v30
856 40|uhttps://doi.org/10.1007/978-94-009-2213-6
912 |aZDB-2-SHU
912 |aZDB-2-SXS
912 |aZDB-2-BAE
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aSocial Sciences (R0) (SpringerNature-43726)