Автор: Daniel J. Velleman Название: How to Prove It : A Structured Approach ISBN: 1108439535 ISBN-13(EAN): 9781108439534 Издательство: Cambridge Academ Рейтинг: Цена: 39070.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling text`s third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and over 150 new exercises.
Автор: Wilkinson Название: An Introduction to Neuroendocrinology ISBN: 052101476X ISBN-13(EAN): 9780521014762 Издательство: Cambridge Academ Рейтинг: Цена: 77090.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Reflecting the significant advances that have been made in the field over the last twenty years, this thoroughly revised new edition is an ideal resource for students of neuroscience, psychology, biology and physiology. Complete with full-color figures throughout, each chapter now includes review and essay questions along with further reading sections.
Автор: George Lakoff Название: Ten Lectures on Cognitive Linguistics ISBN: 9004331379 ISBN-13(EAN): 9789004331372 Издательство: Brill Цена: 131500.00 T Наличие на складе: Нет в наличии. Описание: Ten Lectures on Cognitive Linguistics presents ten lectures, in both audio and transcribed text, given by George Lakoff in Beijing in April 2004. Lakoff gives an account of the background of cognitive linguistics, and basic mechanisms of thought, grammar, neural theory of language, metaphor, implications for Philosophy, and political linguistics. He does so in a manner that is accessible for anyone, including undergraduate level students and a general audience. With the massive experience of being a linguist for over 50 years, and being one of the founding fathers of the field, George Lakoff is one of the best possible experts to introduce Cognitive Linguistics to anyone.The lectures for this book were given at The China International Forum on Cognitive Linguistics in April 2004.
Автор: Daniel J. Velleman Название: How to Prove It : A Structured Approach ISBN: 110842418X ISBN-13(EAN): 9781108424189 Издательство: Cambridge Academ Рейтинг: Цена: 99270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling text`s third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and over 150 new exercises.
Автор: Chiranjibe Jana, Tapan Senapati, Madhumangal Pal Название: Emerging Applications of Fuzzy Algebraic Structures ISBN: 179980190X ISBN-13(EAN): 9781799801900 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 255030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In the world of mathematics, the study of fuzzy relations and its theories are well-documented and a staple in the area of calculative methods. What many researchers and scientists overlook is how fuzzy theory can be applied to industries outside of arithmetic. The framework of fuzzy logic is much broader than professionals realize. There is a lack of research on the full potential this theoretical model can reach.
Emerging Applications of Fuzzy Algebraic Structures provides emerging research exploring the theoretical and practical aspects of fuzzy set theory and its real-life applications within the fields of engineering and science. Featuring coverage on a broad range of topics such as complex systems, topological spaces, and linear transformations, this book is ideally designed for academicians, professionals, and students seeking current research on innovations in fuzzy logic in algebra and other matrices.
Автор: Yiannis N. Moschovakis Название: Abstract Recursion and Intrinsic Complexity ISBN: 110841558X ISBN-13(EAN): 9781108415583 Издательство: Cambridge Academ Рейтинг: Цена: 121440.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The author presents and applies a new framework for studying the complexity of algorithms. The book is aimed at logicians, computer scientists, mathematicians and philosophers who are interested in the theory of computation and its foundations. It includes an accessible introduction to abstract recursion theory and contains over 250 problems.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108411398 ISBN-13(EAN): 9781108411394 Издательство: Cambridge Academ Рейтинг: Цена: 29560.00 T Наличие на складе: Поставка под заказ. Описание: 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 very accessible book, extensively revised and rewritten for the second edition, 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 develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and 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.
Автор: Chubb Название: Logic and Algebraic Structures in Quantum Computing ISBN: 110703339X ISBN-13(EAN): 9781107033399 Издательство: Cambridge Academ Рейтинг: Цена: 141510.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In this international cross-disciplinary collaboration, leading experts explore connections across their respective fields. The book offers an insight into the fundamental questions in quantum theory and logic, which will appeal to many researchers and graduate students including logicians, mathematicians, computer scientists, and physicists.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108420060 ISBN-13(EAN): 9781108420068 Издательство: Cambridge Academ Рейтинг: Цена: 95030.00 T Наличие на складе: Поставка под заказ. Описание: 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 very accessible book, extensively revised and rewritten for the second edition, 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 develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and 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.
Автор: Bimbo Katalin Название: Proof Theory: Sequent Calculi and Related Formalisms ISBN: 1466564660 ISBN-13(EAN): 9781466564664 Издательство: Taylor&Francis Рейтинг: Цена: 112290.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.
In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics.
The book is suitable for a wide audience and can be used in advanced undergraduate or graduate courses. Computer scientists will discover intriguing connections between sequent calculi and resolution as well as between sequent calculi and typed systems. Those interested in the constructive approach will find formalizations of intuitionistic logic and two calculi for linear logic. Mathematicians and philosophers will welcome the treatment of a range of variations on calculi for classical logic. Philosophical logicians will be interested in the calculi for relevance logics while linguists will appreciate the detailed presentation of Lambek calculi and their extensions.
Автор: Olmstead Название: Comparative Cognition ISBN: 1107011167 ISBN-13(EAN): 9781107011168 Издательство: Cambridge Academ Рейтинг: Цена: 99270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: An undergraduate introduction to cognitive processes across species, integrating classic studies and contemporary research in psychology, biology and neuroscience. Active, engaged learning is encouraged through feature boxes, giving a deeper understanding of topics discussed in the main text. These are supported by end-of-chapter questions and further reading sections.
Автор: Anderson Название: Numerical Reasoning in Judgments and Decision Making about Health ISBN: 1107040949 ISBN-13(EAN): 9781107040946 Издательство: Cambridge Academ Рейтинг: Цена: 105600.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book discusses numerical reasoning in healthcare from a variety of perspectives. Includes in-depth analyses of numeracy research as well as large-scale discussions about the application of these findings to policies and best-practices. This book will appeal to academics, students, healthcare providers, patients and policy makers.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
