Îïèñàíèå: The Banach-Tarski Paradox is the most surprising result in mathematics. This new edition of a classic book offers a comprehensive, accessible presentation, with many related results, especially connections to non-Euclidean geometry, to squaring the circle, and even to some art by Escher. This material is suited to projects for undergraduates or masters students.
Àâòîð: Graham Priest Íàçâàíèå: An Introduction to Non-Classical Logic ISBN: 0521854334 ISBN-13(EAN): 9780521854337 Èçäàòåëüñòâî: Cambridge Academ Ðåéòèíã: Öåíà: 14890.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: 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.
Àâòîð: Hájek Petr Íàçâàíèå: Metamathematics of Fuzzy Logic ISBN: 1402003706 ISBN-13(EAN): 9781402003707 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 12157.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. It aims to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named ‘fuzzy inference’ can be naturally understood as logical deduction. It is for mathematicians, logicians, computer scientists, specialists in artificial intelligence and knowledge engineering, and developers of fuzzy logic.
Àâòîð: Lu Zhongwan Íàçâàíèå: Mathematical Logic For Computer Science (2Nd Edition) ISBN: 9810230915 ISBN-13(EAN): 9789810230913 Èçäàòåëüñòâî: World Scientific Publishing Ðåéòèíã: Öåíà: 10930.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.
Àâòîð: Shapiro, Stewart Íàçâàíèå: The Oxford Handbook of Philosophy of Mathematics and Logic ISBN: 0195325923 ISBN-13(EAN): 9780195325928 Èçäàòåëüñòâî: Oxford Academ Ðåéòèíã: Öåíà: 7681.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Philosophy of mathematics and logic remain central disciplines in contemporary philosophy. This volume covers these disciplines, giving the reader an overview of the major problems, positions, and battle lines. It is aimed at those wishing to learn about the philosophy of mathematics and the philosophy of logic.
