Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 01-Mar-2006, Hardback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575862552)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
This book shows how the main set-theoretic and semantic paradoxes can be solved in a systematic way, which is conceptualized independently of the paradoxes themselves. Universal Logic conceptualizes a new logic, where the main inference conne...Lasīt vairāk
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 01-Mar-2006, Paperback / softback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575862569)
This book shows how the main set-theoretic and semantic paradoxes can be solved in a systematic way, which is conceptualized independently of the paradoxes themselves. Universal Logic conceptualizes a new logic, where the main inference conne...Lasīt vairāk
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 04-Aug-2004, Paperback / softback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575860084)
Circular analyses of philosophical, linguistic, or computational phenomena have been attacked on the assumption that they conflict with mathematical rigour. Barwise and Moss have undertaken to prove this assumption false. This volume is concerned wit...Lasīt vairāk
Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 03-Feb-2004, Paperback / softback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575861029)
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science,...Lasīt vairāk
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 01-Jun-2001, Hardback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575862491)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
Donald Knuths influence in computer science ranges from the invention of literate programming to the development of the TeX programming language. One of the foremost figures in the field of mathematical sciences, his papers are widely referenced and...Lasīt vairāk
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 01-Jun-2001, Paperback / softback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575862484)
Donald Knuths influence in computer science ranges from the invention of literate programming to the development of the TeX programming language. One of the foremost figures in the field of mathematical sciences, his papers are widely referenced and...Lasīt vairāk
Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 01-Jun-1998, Hardback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575861036)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science,...Lasīt vairāk
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 01-Jun-1996, Hardback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575860091)
Circular analyses of philosophical, linguistic, or computational phenomena have been attacked on the assumption that they conflict with mathematical rigour. Barwise and Moss have undertaken to prove this assumption false. This volume is concerned wit...Lasīt vairāk
Makoto Kanazawa, Christopher Piqsn, Henriette de Swart
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 01-Jun-1996, Hardback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575860053)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
This collection comprises the most recent innovations in logic, linguistics and computer science. This volume is an outgrowth of the second Workshop on Logic, Language and Computation held at Stanford in the spring of 1993. The workshop broug...Lasīt vairāk
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 15-Jan-1994, Hardback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781881526162)
A collection of essays on artificial intelligence, natural language semantics and the philosophy of mind and language. Logic and Representation brings together a collection of essays, written over a period of ten years, that apply formal logi...Lasīt vairāk
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 15-Sep-1992, Hardback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9780937073766)
Presents both the semantical and the syntactical features of modal logic the logic of must be and may be for students with some previous knowledge of classical logic. No index or bibliography. Annotation copyright Book News, Inc. Portland, Or....Lasīt vairāk
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 15-Sep-1992, Paperback / softback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9780937073759)
Modal Logic can be characterized as the logic of necessity and possibility, of must be and may be. A Short Introduction to Modal Logic presents both semantic and syntactic features of the subject and illustrates them by detailed analyses of the...Lasīt vairāk
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 15-Jun-1992, Hardback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9780937073780)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment an...Lasīt vairāk
Sērija : Center for the Study of Language and Information Publication Lecture Notes
(Izdošanas datums: 15-Jun-1992, Paperback / softback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9780937073773)
Lecture notes originating in a course given at the U. of Amsterdam, Spring 1991, explore in depth linear logic and its implications, for readers with some sophistication in logic. Annotation copyright Book News, Inc. Portland, Or. The initial...Lasīt vairāk
