Model Theory: An Introduction, Marker David

Автор: Awodey, Steve
Название: Introduction to Category Theory (Paperback)
ISBN: 0199237182 ISBN-13(EAN): 9780199237180
Издательство: Oxford Academ
Рейтинг:
Цена: 57970.00 T
Наличие на складе: Есть
Описание: A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.

Автор: Steven Roman
Название: An Introduction to the Language of Category Theory
ISBN: 3319419161 ISBN-13(EAN): 9783319419169
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Поставка под заказ.
Описание: 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.

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

Автор: SchrГ¶der Bernd
Название: Ordered Sets / An Introduction
ISBN: 0817641289 ISBN-13(EAN): 9780817641283
Издательство: Springer
Рейтинг:
Цена: 55850.00 T
Наличие на складе: Поставка под заказ.
Описание: This work is an introduction to the basic tools of the theory of (partially) ordered sets such as visualization via diagrams, subsets, homomorphisms, important order-theoretical constructions, and classes of ordered sets. Using a thematic approach, the author presents open or recently solved problems to motivate the development of constructions and investigations for new classes of ordered sets. A wide range of material is presented, from classical results such as Dilworth's, Szpilrajn's and Hashimoto's Theorems to more recent results such as the Li--Milner Structure Theorem. Major topics covered include: chains and antichains, lowest upper and greatest lower bounds, retractions, lattices, the dimension of ordered sets, interval orders, lexicographic sums, products, enumeration, algorithmic approaches and the role of algebraic topology. Since there are few prerequisites, the text can be used as a focused follow-up or companion to a first proof (set theory and relations) or graph theory class. After working through a comparatively lean core, the reader can choose from a diverse range of topics such as structure theory, enumeration or algorithmic aspects. Also presented are some key topics less customary to discrete mathematics/graph theory, including a concise introduction to homology for graphs, and the presentation of forward checking as a more efficient alternative to the standard backtracking algorithm. The coverage throughout provides a solid foundation upon which research can be started by a mathematically mature reader. Rich in exercises, illustrations, and open problems, Ordered Sets: An Introduction is an excellent text for undergraduate and graduate students and a good resource for the interested researcher. Readers will discover order theory's role in discrete mathematics as a supplier of ideas as well as an attractive source of applications.

Автор: Church, Alonzo
Название: Introduction to mathematical logic
ISBN: 0691029067 ISBN-13(EAN): 9780691029061
Издательство: Wiley
Рейтинг:
Цена: 86590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.