Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

An Introduction to Probability and Inductive Logic, Ian Hacking



Варианты приобретения
Цена: 6145р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 867 шт.  Склад Америка: 117 шт.  
При оформлении заказа до: 30 май 2022
Ориентировочная дата поставки: Июнь

Заказ пока невозможен
в Мои желания

Автор: Ian Hacking
Название:  An Introduction to Probability and Inductive Logic
ISBN: 9780521775014
Издательство: Cambridge Academ
Классификация:
ISBN-10: 0521775019
Обложка/Формат: Paperback
Страницы: 320
Вес: 0.6 кг.
Дата издания: 02.07.2001
Язык: English
Иллюстрации: Bibliography
Размер: 255 x 179 x 20
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Дополнительное описание: Subject: Philosophy / Logic
Readership: philosophy, logic, social sciences, psychology, economics, political science, sociology, medical sciences
Level: graduate students, academic researchers
Format: 253 x 177 mm 320pp
Chapter Titles: Part I. Logic: 1. Logic; 2. What is inductive logic?; Part II. How to Calculate Probabilities: 3. The gambler’s fallacy; 4. Elementary probability; 5. Conditional probability; 6. Basic laws of probability; 7. Bayes’ rule; Part III. How to Combine Probabilities and Utilities: 8. Expected value; 9. Maximizing expected value; 10. Decision under uncertainty; Part IV. Kinds of Probability: 11. What do you mean?; 12. Theories about probability; Part V. Probability as a Measure of Belief: 13. Personal probabilities; 14. Coherence; 15. Learning from experience; Part VI. Probability as Frequency: 16. Stability; 17. Normal approximations; 18. Significance; 19. Confidence and inductive behaviour; Part VII. Probability Applied to Philosophy: 20. The philosophical problem of induction; 21. Learning from experience as an evasion of the problem; 22. Inductive behaviour as an evasion of the problem.





An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Автор: Andrews Peter B.
Название: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
ISBN: 1402007639 ISBN-13(EAN): 9781402007637
Издательство: Springer
Рейтинг:
Цена: 17813 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises.Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

A Short Introduction to Intuitionistic Logic

Автор: Mints Grigori
Название: A Short Introduction to Intuitionistic Logic
ISBN: 0306463946 ISBN-13(EAN): 9780306463945
Издательство: Springer
Рейтинг:
Цена: 17076 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic tchniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999.

An Introduction to Probability and Inductive Logic

Автор: Ian Hacking
Название: An Introduction to Probability and Inductive Logic
ISBN: 0521772877 ISBN-13(EAN): 9780521772877
Издательство: Cambridge Academ
Рейтинг:
Цена: 15727 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is an introductory textbook on probability and induction written by one of the world’s foremost philosophers of science. The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal training in elementary symbolic logic. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction. The key features of this book are a lively and vigorous prose style; lucid and systematic organization and presentation of ideas; many practical applications; a rich supply of exercises drawing on examples from such fields as psychology, ecology, economics, bioethics, engineering, and political science; numerous brief historical accounts of how fundamental ideas of probability and induction developed; and a full bibliography of further reading.

An Introduction to Non-Classical Logic

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 14643 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

An Introduction to Formal Logic

Автор: Peter Smith
Название: An Introduction to Formal Logic
ISBN: 0521008042 ISBN-13(EAN): 9780521008044
Издательство: Cambridge Academ
Рейтинг:
Цена: 5060 р.
Наличие на складе: Поставка под заказ.

Описание: 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.

Introduction to logic

Автор: Gensler, Harry
Название: Introduction to logic
ISBN: 0415996511 ISBN-13(EAN): 9780415996518
Издательство: Taylor&Francis
Рейтинг:
Цена: 4354 р.
Наличие на складе: Поставка под заказ.

Описание: Second edition.

Introduction to logic

Автор: Gensler, Harry J.
Название: Introduction to logic
ISBN: 0415226759 ISBN-13(EAN): 9780415226752
Издательство: Taylor&Francis
Рейтинг:
Цена: 4222 р.
Наличие на складе: Поставка под заказ.

Описание: This text offers one of the most clear and accessible introductions to logic and engages students with the basics of logic through practical examples and important arguments in both the history of and contemporary philosophy.

An Introduction to Non-Classical Logic

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521670268 ISBN-13(EAN): 9780521670265
Издательство: Cambridge Academ
Рейтинг:
Цена: 5602 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия