Mathematical Methods in Linguistics [[electronic resource] /] / by Barbara B.H. Partee, A.G. ter Meulen, R. Wall |
Autore | Partee Barbara B.H |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (xxii, 666 pages) |
Disciplina | 410.285 |
Collana | Studies in Linguistics and Philosophy |
Soggetto topico |
Computational linguistics
Logic Language and languages—Philosophy Computational Linguistics Philosophy of Language |
ISBN | 94-009-2213-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910479864003321 |
Partee Barbara B.H
![]() |
||
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematical Methods in Linguistics [[electronic resource] /] / by Barbara B.H. Partee, A.G. ter Meulen, R. Wall |
Autore | Partee Barbara B.H |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (xxii, 666 pages) |
Disciplina | 410.285 |
Collana | Studies in Linguistics and Philosophy |
Soggetto topico |
Computational linguistics
Logic Language and languages—Philosophy Computational Linguistics Philosophy of Language |
ISBN | 94-009-2213-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910789207603321 |
Partee Barbara B.H
![]() |
||
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematical Methods in Linguistics [[electronic resource] /] / by Barbara B.H. Partee, A.G. ter Meulen, R. Wall |
Autore | Partee Barbara B.H |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (xxii, 666 pages) |
Disciplina | 410.285 |
Collana | Studies in Linguistics and Philosophy |
Soggetto topico |
Computational linguistics
Logic Language and languages—Philosophy Computational Linguistics Philosophy of Language |
ISBN | 94-009-2213-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910813108203321 |
Partee Barbara B.H
![]() |
||
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|