Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 16051.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
Автор: Piattelli Palmarini Massimio Название: Rich Languages from Poor Inputs ISBN: 0198736711 ISBN-13(EAN): 9780198736714 Издательство: Oxford Academ Рейтинг: Цена: 6255.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses one of the most famous and controversial arguments in the study of language and mind, the Poverty of the Stimulus. Internationally recognised scholars consider afresh the issues surrounding this argument and discuss its relation to the process of language acquisition.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 0521008042 ISBN-13(EAN): 9780521008044 Издательство: Cambridge Academ Рейтинг: Цена: 4434.00 р. Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible ‘tree’ method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.
Автор: De Wit Astrid Название: The Present Perfective Paradox Across Languages ISBN: 0198759533 ISBN-13(EAN): 9780198759539 Издательство: Oxford Academ Рейтинг: Цена: 15048.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an analysis of how speakers of typologically diverse languages report present-time situations. Astrid De Wit brings together cross-linguistic observations from English, French, the English-based creole language Sranan, and various Slavic languages, and relates them to the same phenomenon, the `present perfective paradox`.
The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Buchi) or between combinatorics on words and number theory has paved the way to recent dramatic developments, for example, the transcendence results for the real numbers having a "simple" binary expansion, by B. Adamczewski and Y. Bugeaud.
This book is at the heart of this interplay through a unified exposition. Objects are considered with a perspective that comes both from theoretical computer science and mathematics. Theoretical computer science offers here topics such as decision problems and recognizability issues, whereas mathematics offers concepts such as discrete dynamical systems.
The main goal is to give a quick access, for students and researchers in mathematics or computer science, to actual research topics at the intersection between automata and formal language theory, number theory and combinatorics on words.
The second of two volumes on this subject, this book covers regular languages, numeration systems, formal methods applied to decidability issues about infinite words and sets of numbers.
Автор: Tom J. Ka?mierski; Adam Morawiec Название: System Specification and Design Languages ISBN: 1489994416 ISBN-13(EAN): 9781489994417 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
