An Introduction to Proof through Real Analysis, Madden
Автор: Steven Givant; Paul Halmos Название: Introduction to Boolean Algebras ISBN: 0387402934 ISBN-13(EAN): 9780387402932 Издательство: Springer Рейтинг: Цена: 6002.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Suitable for advanced undergraduates and beginning graduate students, this book treats Boolean algebras, develops some ideas, and provides insights. It includes explanation of the relationship between Boolean rings and Boolean algebras. It features chapters on topology and on continuous functions.
Автор: Steven Roman Название: An Introduction to the Language of Category Theory ISBN: 3319419161 ISBN-13(EAN): 9783319419169 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Поставка под заказ.
Описание: The first chapter of the book introduces the definitions of category and functor and discusses diagrams,duality, initial and terminal objects, special types of morphisms, and some special types of categories,particularly comma categories and hom-set categories.
Автор: Negri Название: Proof Analysis ISBN: 1107417236 ISBN-13(EAN): 9781107417236 Издательство: Cambridge Academ Рейтинг: Цена: 6653.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A continuation of the authors` book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomatic theories and systems of philosophical logic.
Автор: K. Kunen Название: Set Theory An Introduction To Independence Proofs, ISBN: 0444868399 ISBN-13(EAN): 9780444868398 Издательство: Elsevier Science Рейтинг: Цена: 8420.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and easy consistency proofs, including relativization, absoluteness, reflection theorems, properties of well-founded sets, and induction and recursion on well-founded relations. The publication examines constructible sets, forcing, and iterated forcing. Topics include Easton forcing, general iterated forcing, Cohen model, forcing with partial functions of larger cardinality, forcing with finite partial functions, and general extensions. The manuscript is a dependable source of information for mathematicians and researchers interested in set theory.
Автор: Church, Alonzo Название: Introduction to mathematical logic ISBN: 0691029067 ISBN-13(EAN): 9780691029061 Издательство: Wiley Рейтинг: Цена: 12989.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church`s contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic.
Автор: Taylor, John R. Название: Introduction to error analysis ISBN: 093570275X ISBN-13(EAN): 9780935702750 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The need for error analysis is captured in the book`s arresting cover shot - of the 1895 Paris train disaster (also available as a wall poster). The early chapters teach elementary techniques of error propagation and statistical analysis to enable students to produce successful lab reports.
Автор: 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.
Описание: This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru