Language, Truth and Logic in Mathematics, Jaakko Hintikka
Автор: 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.
This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof theory to appreciate the exciting advances currently happening in the area, and perhaps make contributions of their own. It adopts a case-study approach, using the study of versions of Ramsey's Theorem (for colorings of tuples of natural numbers) and related principles as illustrations of various aspects of computability theoretic and reverse mathematical analysis. This book contains many exercises and open questions.
Автор: Ju Название: Cultures of Mathematics and Logic ISBN: 3319315005 ISBN-13(EAN): 9783319315003 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This bookgathers the proceedings of the conference 'Cultures of Mathematics andLogic,' held in Guangzhou, China. The event was the third in a series ofinterdisciplinary, international conferences emphasizing the culturalcomponents of philosophy of mathematics and logic. It brought togetherresearchers from many disciplines whose work sheds new light on the diversityof mathematical and logical cultures and practices. In this context, thecultural diversity can be diachronical (different cultures in differenthistorical periods), geographical (different cultures in different regions), orsociological in nature.
Автор: Barnabas Bede Название: Mathematics of Fuzzy Sets and Fuzzy Logic ISBN: 3642352200 ISBN-13(EAN): 9783642352201 Издательство: Springer Рейтинг: Цена: 22203.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This mathematically-based introduction to the fascinating topic of Fuzzy Sets and Fuzzy Logic presents a theoretical introduction to Fuzzy Sets based on Mathematical Analysis and Approximation Theory, with well-known applications and advanced topics.
Автор: Stefania Centrone Название: Essays on Husserl`s Logic and Philosophy of Mathematics ISBN: 9402411305 ISBN-13(EAN): 9789402411300 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Essays on Husserl`s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl`s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics.
Автор: Hugues Leblanc; Elliott Mendelson; A. Orenstein Название: Foundations: Logic, Language, and Mathematics ISBN: 9048184061 ISBN-13(EAN): 9789048184064 Издательство: Springer Рейтинг: Цена: 22354.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The more traditional approaches to the history and philosophy of science and technology continue as well, and probably will continue as long as there are skillful practitioners such as Carl Hempel, Ernest Nagel, and th~ir students.
Автор: Willem Conradie,Valentin Goranko,Claudette Robinso Название: Logic and Discrete Mathematics: A Concise Introduction, Solutions Manual ISBN: 1118762673 ISBN-13(EAN): 9781118762677 Издательство: Wiley Рейтинг: Цена: 2685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Solutions manual to accompany
Автор: Willem Conradie,Valentin Goranko Название: Logic and Discrete Mathematics: A Concise Introduction ISBN: 1118751272 ISBN-13(EAN): 9781118751275 Издательство: Wiley Рейтинг: Цена: 6170.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A concise yet rigorous introduction to logic and discrete mathematics.
Автор: Takeuti Gaisi Название: Two Applications of Logic to Mathematics ISBN: 0691610223 ISBN-13(EAN): 9780691610221 Издательство: Wiley Рейтинг: Цена: 4752.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay`s Boolean-valued models of set theory to
Описание: Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between classical and fuzzy mathematical logic, this book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.
Автор: Barnabas Bede Название: Mathematics of Fuzzy Sets and Fuzzy Logic ISBN: 3642433022 ISBN-13(EAN): 9783642433023 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This mathematically-based introduction to the fascinating topic of Fuzzy Sets and Fuzzy Logic presents a theoretical introduction to Fuzzy Sets based on Mathematical Analysis and Approximation Theory, with well-known applications and advanced topics.
Автор: Stefania Centrone Название: Logic and Philosophy of Mathematics in the Early Husserl ISBN: 9048132452 ISBN-13(EAN): 9789048132454 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text focuses on the first ten years of Edmund Husserl`s work, from the publication of his Philosophy of Arithmetic to that of Logical Investigations. It aims to locate this work in the fields of logic, philosophy of logic and philosophy of mathematics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
