Logic, Language and Computation, S. Akama

Автор: 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.

Автор: Alexander Meduna; Ond?ej Soukup
Название: Modern Language Models and Computation
ISBN: 3319630997 ISBN-13(EAN): 9783319630991
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This textbook gives a systematized and compact summary, providing the most essential types of modern models for languages and computation together with their properties and applications.

Автор: S. Akama
Название: Logic, Language and Computation
ISBN: 079234376X ISBN-13(EAN): 9780792343769
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of papers offering an account of many topics in the study of Logic, Language and Information. It addresses two important themes: how to handle quantification in natural language, and how to isolate genuine `logics of information`.

Автор: Dragomir Radev; James Pustejovsky
Название: Puzzles in Logic, Languages and Computation
ISBN: 3642442439 ISBN-13(EAN): 9783642442438
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book collects engaging problems created for students competing in the Computational Linguistics Olympiad. It offers both linguistic and computational puzzles with their solutions. Recommended for anyone fascinated by the phenomena of human language.

Автор: C. Anthony Anderson; Michael Zel?ny
Название: Logic, Meaning and Computation
ISBN: 140200141X ISBN-13(EAN): 9781402001413
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains papers by well-known scholars, most of whom have been directly influenced by Alonzo Church`s own work. This work emphasises on foundational issues in logic, mathematics, computation, and philosophy. It is of interest to logicians, computer scientists, philosophers, and linguists.

Автор: C. Anthony Anderson; Michael Zel?ny
Название: Logic, Meaning and Computation
ISBN: 9401038910 ISBN-13(EAN): 9789401038911
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Patterson
Название: Alfred Tarski: Philosophy of Language and Logic
ISBN: 0230221211 ISBN-13(EAN): 9780230221215
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This study looks to the work of Tarski`s mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

Автор: Norris
Название: Language, Logic and Epistemology
ISBN: 1403921652 ISBN-13(EAN): 9781403921659
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this volume, Christopher Norris presents a series of closely linked chapters on developments in epistemology, philosophy of language, cognitive science, literary theory, musicology and other related fields.

Автор: Can Ba?kent; Lawrence S. Moss; Ramaswamy Ramanujam
Название: Rohit Parikh on Logic, Language and Society
ISBN: 3319478427 ISBN-13(EAN): 9783319478425
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Chapter 1. Editors' Preface.- Chapter 2. Juliet Floyd: Parikh and Wittgenstein.- Chapter 3. Prashant Parikh: Vagueness, Communication and the Sorites Paradox.- Chapter 4. Robert van Rooij: Nonmonotonicity and Knowability: As knowable as possible.- Chapter 5. Jan van Eijck and Philip Elsas: What is Money?.- Chapter 6. Dominik Klein and Eric Pacuit: Focusing on Campaigns.- Chapter 7. Can Başkent: A Non-classical Logical Approach to Social Software.- Chapter 8. Joseph Halpern: Why Bother with Syntax?.-Chapter 9. Johan van Benthem: Talking about Knowledge.- Chapter 10. Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek: The Pleasure of Gossip.- Chapter 11. Gabriel Sandu and Silviu Velice: Modeling Monty Hall in IF Logic.- Chapter 12. Amy Greenwald, Jiacui Li, Eric Sodomka: Solving for Best Responses and Equilibria in Extensive-Form: Games with Reinforcement Learning Methods.- Chapter 13. Juoko Vaananen. The Logic of Approximate Dependence.-Chapter 14. Melvin Fitting: On Height and Happiness.- Chapter 15. Konstantinos Georgatos: Epistemic Conditionals and the Logic of Subsets.- Chapter 16. Dexter Kozen: On the Coalgebraic Theory of Kleene Algebras with Tests.- Chapter 17. Vaughan Pratt: Aristotle, Boole and Categories.- Chapter 18. Noson Yanofsky: Galois Theory of Algorithms.- Chapter 19. Parikh's Closing Remarks.