Автор: Hans J?rgen Ohlbach; U. Reyle Название: Logic, Language and Reasoning ISBN: 9401059365 ISBN-13(EAN): 9789401059367 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of logic.
Автор: Steven Roman Название: An Introduction to the Language of Category Theory ISBN: 3319419161 ISBN-13(EAN): 9783319419169 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Поставка под заказ. Описание: The first chapter of the book introduces the definitions of category and functor and discusses diagrams,duality, initial and terminal objects, special types of morphisms, and some special types of categories,particularly comma categories and hom-set categories.
Автор: Adrian Horia Dediu; Armand Mihai Ionescu; Carlos M Название: Language and Automata Theory and Applications ISBN: 3642009816 ISBN-13(EAN): 9783642009815 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications, LATA 2009, held in Tarragona, Spain, in April 2009. This work contains papers that address the various issues related to automata theory and formal languages.
Автор: van Benthem, Johan F.A.K. Название: Handbook of Logic and Language ISBN: 0444602259 ISBN-13(EAN): 9780444602251 Издательство: Elsevier Science Рейтинг: Цена: 157200.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes.
Автор: V??n?nen Название: Logic, Language, Information, and Computation ISBN: 3662529203 ISBN-13(EAN): 9783662529201 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.
The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
Автор: Margot Colinet; Sophia Katrenko; Rasmus K. Rendsvi Название: Pristine Perspectives on Logic, Language and Computation ISBN: 3662441152 ISBN-13(EAN): 9783662441152 Издательство: Springer Рейтинг: Цена: 44720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe.
Автор: Alessandro Torza Название: Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language ISBN: 3319373455 ISBN-13(EAN): 9783319373454 Издательство: Springer Рейтинг: Цена: 177010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Introduction; Alessandro Torza.- Part 1. Logical Constants.- Which Quantifiers are Logical? A Combined Semantical and Inferential Criterion; Solomon Feferman.- Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators; Arnold Koslow.- Quantifiers are Logical Constants, but Only Ambiguously; Sun-Joo Shin.- Part 2. Semantics of Natural Language.- Conjunctive, Disjunctive, Negative Objects and Generalized Quantification; Ken Akiba.- Quantifiers and Referential Use; Mario Gуmez-Torrente.- Quantification and Logical Form; Andrea Iacona.- Quantification with Intentional and with Intensional Verbs; Frederike Moltmann.- Part III The Carnap-Quine Legacy.- Life on the Range: Quine's Thesis and Semantic Indeterminacy; G. Aldo Antonelli.- Chalmers, Quantifier Variance and Mathematicians' Freedom; Sharon Berry.- "There Is an 'Is' in There Is" Meinongian Quantification and Existence; Francesco Berto.- Qualifying Quantifying-in; Bj rn Jespersen.- Carnap, Quine, Quantification and Ontology; Gregory Lavers.- Quantifier Variance, Intensionality, and Metaphysical Merit; David Liebesman.- Part 4. Metaphysics and Ontology.- Making Quantified Truths True; Axel Arturo Barcelό Aspeitia.-Absolute Generality and Semantic Pessimism; J.P. Studd.- Necessarily Maybe. Quantifiers, Modality and Vagueness: Alessandro Torza.- What's in a (Mental) Picture; Alberto Voltolini.- Part 5. Logical Systems.- Cross-World Identity, Temporal Quantifiers and the Question of Tensed Contents; Tero Tulenheimo.- What's So Bad about Second-Order Logic?; Jason Turner.- ∀ and ω; Elia Zardini.
Автор: Jaakko Hintikka Название: Language, Truth and Logic in Mathematics ISBN: 9048149231 ISBN-13(EAN): 9789048149230 Издательство: Springer Рейтинг: Цена: 208700.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics. On the other hand, some philosophers, logicians and mathematicians have tried or are trying to subject the very concepts which mathematicians are using in their work to critical scrutiny.
Автор: Jan Maluszynski; Martin Wirsing Название: Programming Language Implementation and Logic Programming ISBN: 3540544445 ISBN-13(EAN): 9783540544449 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The aim of the Third International Symposium on Programming Language Implementation and Logic Programming was to explore declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages. Along with the two invited talks, this book also contains 32 papers, and abstracts of several system demonstrations.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
