Автор: 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.
Автор: Awodey, Steve Название: Introduction to Category Theory (Paperback) ISBN: 0199237182 ISBN-13(EAN): 9780199237180 Издательство: Oxford Academ Рейтинг: Цена: 8696.00 р. 9662.00-10% Наличие на складе: Есть (1 шт.) Описание: 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.
Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 10611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
Автор: James, Gareth Witten, Daniela Hastie, Trevor Tibsh Название: Introduction to statistical learning ISBN: 1071614177 ISBN-13(EAN): 9781071614174 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An Introduction to Statistical Learning provides an accessible overview of the field of statistical learning, an essential toolset for making sense of the vast and complex data sets that have emerged in fields ranging from biology to finance to marketing to astrophysics in the past twenty years. This book presents some of the most important modeling and prediction techniques, along with relevant applications. Topics include linear regression, classification, resampling methods, shrinkage approaches, tree-based methods, support vector machines, clustering, deep learning, survival analysis, multiple testing, and more.
Color graphics and real-world examples are used to illustrate the methods presented. Since the goal of this textbook is to facilitate the use of these statistical learning techniques by practitioners in science, industry, and other fields, each chapter contains a tutorial on implementing the analyses and methods presented in R, an extremely popular open source statistical software platform. Two of the authors co-wrote The Elements of Statistical Learning (Hastie, Tibshirani and Friedman, 2nd edition 2009), a popular reference book for statistics and machine learning researchers.
An Introduction to Statistical Learning covers many of the same topics, but at a level accessible to a much broader audience. This book is targeted at statisticians and non-statisticians alike who wish to use cutting-edge statistical learning techniques to analyze their data. The text assumes only a previous course in linear regression and no knowledge of matrix algebra.
This Second Edition features new chapters on deep learning, survival analysis, and multiple testing, as well as expanded treatments of naive Bayes, generalized linear models, Bayesian additive regression trees, and matrix completion. R code has been updated throughout to ensure compatibility.
Автор: F. William Lawvere Название: Conceptual Mathematics ISBN: 052171916X ISBN-13(EAN): 9780521719162 Издательство: Cambridge Academ Рейтинг: Цена: 7762.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Conceptual Mathematics introduces the concept of category to beginning students and practising mathematical scientists based on a leisurely introduction to the important categories of directed graphs and discrete dynamical systems. The expanded second edition approaches more advanced topics via historical sketches and a concise introduction to adjoint functors.
Автор: Robert Gilmore Название: Lie Groups, Physics, and Geometry ISBN: 0521884004 ISBN-13(EAN): 9780521884006 Издательство: Cambridge Academ Рейтинг: Цена: 12514.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Concentrating on the applications of Lie group theory to physical sciences and applied mathematics, this is a fascinating introduction to Lie groups for graduate and undergraduate students in physics, mathematics and electrical engineering, as well as researchers in these fields. Problems are given at the end of each chapter.
Автор: Herbert Enderton Название: A Mathematical Introduction to Logic, ISBN: 0122384520 ISBN-13(EAN): 9780122384523 Издательство: Elsevier Science Рейтинг: Цена: 13994.00 р. Наличие на складе: Поставка под заказ.
Описание: Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.
Автор: Simmons Harold Название: Introduction to category theory ISBN: 0521283043 ISBN-13(EAN): 9780521283045 Издательство: Cambridge Academ Рейтинг: Цена: 3991.00 р. 4434.00-10% Наличие на складе: Есть (1 шт.)
Автор: 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.
Автор: Mendelson Elliott Название: Introduction to Mathematical Logic ISBN: 1482237725 ISBN-13(EAN): 9781482237726 Издательство: Taylor&Francis Рейтинг: Цена: 8184.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of G del, Church, Kleene, Rosser, and Turing.
The sixth edition incorporates recent work on G del's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in the new edition for historical considerations. The text also offers historical perspectives and many new exercises of varying difficulty, which motivate and lead students to an in-depth, practical understanding of the material.
Автор: Hrbacek, Karel Название: Introduction to Set Theory, Revised and Expanded ISBN: 0824779150 ISBN-13(EAN): 9780824779153 Издательство: Taylor&Francis Рейтинг: Цена: 15312.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
