The Logic of Time, Johan van Benthem

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 107010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Ahmed
Название: Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
ISBN: 9811031193 ISBN-13(EAN): 9789811031199
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book focuses on identifying the performance challenges involved in computer architectures, optimal configuration settings and analysing their impact on the performance of multi-core architectures.

Автор: Johan van Benthem
Название: The Logic of Time
ISBN: 0792310810 ISBN-13(EAN): 9780792310815
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic.

Автор: Johan van Benthem
Название: The Logic of Time
ISBN: 904814082X ISBN-13(EAN): 9789048140824
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic.

Автор: Fitting
Название: First-Order Modal Logic
ISBN: 0792353358 ISBN-13(EAN): 9780792353355
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Поставка под заказ.
Описание: Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege`s morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.

Автор: Church, Alonzo
Название: Introduction to mathematical logic
ISBN: 0691029067 ISBN-13(EAN): 9780691029061
Издательство: Wiley
Рейтинг:
Цена: 86590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church`s contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic.

Автор: Greg Restall
Название: Logic
ISBN: 0415400686 ISBN-13(EAN): 9780415400688
Издательство: Taylor&Francis
Рейтинг:
Цена: 39800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning.

Автор: Priest
Название: Logic
ISBN: 0192893203 ISBN-13(EAN): 9780192893208
Издательство: Oxford Academ
Рейтинг:
Цена: 8440.00 T
Наличие на складе: Невозможна поставка.
Описание: An introduction to modern formal logic, this book explores the philosophical roots of the subject, explaining how it deals with issues ranging from the existence of God and the reality of time, to paradoxes of probability and decision theory. Each chapter takes some philosophical problem, and explains how it may be handled in modern logic.

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 99270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.