Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Mathematical Methods in Linguistics [[electronic resource] /] / by Barbara B.H. Partee, A.G. ter Meulen, R. Wall
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Methods in Linguistics [[electronic resource] /] / by Barbara B.H. Partee, A.G. ter Meulen, R. Wall
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Methods in Linguistics [[electronic resource] /] / by Barbara B.H. Partee, A.G. ter Meulen, R. Wall
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||