Advanced Engineering Mathematics: International Edition, Seventh Edition, Dennis G. Zill
Автор: Daniel J. Velleman Название: How to Prove It : A Structured Approach ISBN: 1108439535 ISBN-13(EAN): 9781108439534 Издательство: Cambridge Academ Рейтинг: Цена: 5861.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: P. R. Halmos Название: Naive Set Theory ISBN: 0387900926 ISBN-13(EAN): 9780387900926 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Every mathematician agrees that every mathematician must know some set theory; The purpose of the book is to tell the beginning student of advanced mathematics the basic set- theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism.
Описание: This monograph covers the recent major advances in various areas of set theory. In three parts the author offers us what in his view every young set theorist should learn and master....This well-written book promises to influence the next generation of set theorists, much as its predecessor has done."
Автор: F. William Lawvere Название: Sets for Mathematics ISBN: 0521010608 ISBN-13(EAN): 9780521010603 Издательство: Cambridge Academ Рейтинг: Цена: 7762.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra. Starting with intuitive descriptions of mathematically and physically common phenomena, it leads up to a precise specification of the Category of Sets. Suitable for advanced undergraduates and beginning graduate students.
Автор: Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, New York) Muravitsky, Alexei (Professor of Mathematics, Professor of Mathematics, Louisiana Scholars` College at Northwestern State University of Louisiana) Название: Consequence Relations ISBN: 0192866419 ISBN-13(EAN): 9780192866417 Издательство: Oxford Academ Рейтинг: Цена: 8903.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for advanced undergraduate and graduate students in mathematics and philosophy, as well as researchers in the field of mathematical and philosophical logic.
Автор: Wang, Jiacun, Название: Formal Methods In Computer Science ISBN: 1498775322 ISBN-13(EAN): 9781498775328 Издательство: Taylor&Francis Рейтинг: Цена: 11789.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Автор: Bimbo, Katalin Название: Combinatory Logic ISBN: 1439800006 ISBN-13(EAN): 9781439800003 Издательство: Taylor&Francis Рейтинг: Цена: 22202.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: By Jerry Butters, Jim Henle Название: The Baseball Mysteries ISBN: 103236548X ISBN-13(EAN): 9781032365480 Издательство: Taylor&Francis Рейтинг: Цена: 12554.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Название: Handbook of constructive mathematics ISBN: 1316510867 ISBN-13(EAN): 9781316510865 Издательство: Cambridge Academ Рейтинг: Цена: 23760.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constructive mathematics – mathematics in which 'there exists' always means 'we can construct' – is enjoying a renaissance. fifty years on from Bishop's groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of mathematics and to have profound influence in theoretical computer science. This handbook gives the most complete overview of modern constructive mathematics, with contributions from leading specialists surveying the subject's myriad aspects. Major themes include: constructive algebra and geometry, constructive analysis, constructive topology, constructive logic and foundations of mathematics, and computational aspects of constructive mathematics. A series of introductory chapters provides graduate students and other newcomers to the subject with foundations for the surveys that follow. Edited by four of the most eminent experts in the field, this is an indispensable reference for constructive mathematicians and a fascinating vista of modern constructivism for the increasing number of researchers interested in constructive approaches.
Автор: Jebril, Iqbal H. Название: Concise Introduction to Logic and Set Theory ISBN: 1032106220 ISBN-13(EAN): 9781032106229 Издательство: Taylor&Francis Рейтинг: Цена: 8726.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book deals with two important branches of mathematics, namely, logic and set theory. Logic and set theory are closely related and play very crucial roles in the foundation of mathematics, and together produce several results in all of mathematics. The topics of logic and set theory are required in many areas of physical sciences, engineering, and technology. The book offers solved examples and exercises, and provides reasonable details to each topic discussed, for easy understanding. The book is designed for readers from various disciplines where mathematical logic and set theory play a crucial role. The book will be of interested to students and instructors in engineering, mathematics, computer science, and technology.
Автор: Brooks, Jennifer Название: Exploring the Infinite ISBN: 1032477040 ISBN-13(EAN): 9781032477046 Издательство: Taylor&Francis Рейтинг: Цена: 7195.00 р. Наличие на складе: Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
