Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Introduction to Discrete Mathematics via Logic and Proof, Calvin Jongsma


Варианты приобретения
Цена: 6986.00р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Calvin Jongsma
Название:  Introduction to Discrete Mathematics via Logic and Proof
ISBN: 9783030253578
Издательство: Springer
Классификация:


ISBN-10: 3030253570
Обложка/Формат: Hardcover
Страницы: 482
Вес: 1.14 кг.
Дата издания: 2019
Серия: Undergraduate Texts in Mathematics
Язык: English
Издание: 1st ed. 2019
Иллюстрации: 5 illustrations, color; 849 illustrations, black and white; xx, 482 p. 854 illus., 5 illus. in color.
Размер: 235 x 155
Читательская аудитория: Professional & vocational
Основная тема: Mathematics
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to proof. Its unique, deductive perspective on mathematical logic provides students with the tools to more deeply understand mathematical methodology—an approach that the author has successfully classroom tested for decades.Chapters are helpfully organized so that, as they escalate in complexity, their underlying connections are easily identifiable. Mathematical logic and proofs are first introduced before moving onto more complex topics in discrete mathematics. Some of these topics include:Mathematical and structural inductionSet theoryCombinatoricsFunctions, relations, and ordered setsBoolean algebra and Boolean functionsGraph theoryIntroduction to Discrete Mathematics via Logic and Proof will suit intermediate undergraduates majoring in mathematics, computer science, engineering, and related subjects with no formal prerequisites beyond a background in secondary mathematics.

Дополнительное описание: Preface.- List of Notations.- 1. Propositional Logic.- 2. First-Order Logic.- 3. Mathematical Induction and Arithmetic.- 4. Basic Set Theory and Combinatorics.- 5. Set Theory and Infinity.- 6. Functions and Equivalence Relations.- 7. Posets, Lattices, and



Logic: A Very Short Introduction

Автор: Priest Graham
Название: Logic: A Very Short Introduction
ISBN: 0198811705 ISBN-13(EAN): 9780198811701
Издательство: Oxford Academ
Рейтинг:
Цена: 1582.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy - a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-technical terms, this edition includes new sections on mathematical algorithms, axioms, and proofs.

Notes on Counting: An Introduction to Enumerative Combinator

Автор: Cameron Peter J
Название: Notes on Counting: An Introduction to Enumerative Combinator
ISBN: 1108404952 ISBN-13(EAN): 9781108404952
Издательство: Cambridge Academ
Рейтинг:
Цена: 5702.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Enumerative combinatorics, in its algebraic and analytic forms, is vital to many areas of mathematics, from model theory to statistical mechanics. This book, drawn from many years of teaching, invites students into the subject and prepares them for more advanced texts. It is suitable as a class text or for individual study.

Introduction to Approximate Groups

Автор: Matthew C. H. Tointon
Название: Introduction to Approximate Groups
ISBN: 1108470734 ISBN-13(EAN): 9781108470735
Издательство: Cambridge Academ
Рейтинг:
Цена: 10613.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Recent years have seen rapid progress in the field of approximate groups, with the emergence of a varied range of applications. Written by a leader in the field, this text for both beginning graduate students and researchers collects, for the first time in book form, the main concepts and techniques into a single, self-contained introduction.

Discrete Mathematics for Computer Science: An Example-Based Introduction

Автор: Fortney Jon Pierre
Название: Discrete Mathematics for Computer Science: An Example-Based Introduction
ISBN: 0367549883 ISBN-13(EAN): 9780367549886
Издательство: Taylor&Francis
Рейтинг:
Цена: 24499.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is intended for a first or second-year discrete mathematics course for computer science majors. It covers many important mathematical topics essential for future computer science majors, such as algorithms, number representations, logic, set theory, Boolean algebra, functions, combinatorics etc.

Discrete Mathematics: An Open Introduction

Автор: Levin Oscar
Название: Discrete Mathematics: An Open Introduction
ISBN: 168092186X ISBN-13(EAN): 9781680921861
Издательство: Неизвестно
Рейтинг:
Цена: 2371.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Introduction to Discrete Mathematics via Logic and Proof

Автор: Calvin Jongsma
Название: Introduction to Discrete Mathematics via Logic and Proof
ISBN: 3030253600 ISBN-13(EAN): 9783030253608
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Поставка под заказ.

Описание: Throughout, the theory unfolds via over 150 carefully selected problems for students to solve, many of which connect to state-of-the-art research. Inquiry-Based Enumerative Combinatorics is ideal for lower-division undergraduate students majoring in math or computer science, as there are no formal mathematics prerequisites.

Logic and Discrete Mathematics: A Concise Introduction, Solutions Manual

Автор: Willem Conradie,Valentin Goranko,Claudette Robinso
Название: Logic and Discrete Mathematics: A Concise Introduction, Solutions Manual
ISBN: 1118762673 ISBN-13(EAN): 9781118762677
Издательство: Wiley
Рейтинг:
Цена: 2685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Solutions manual to accompany

Logic and Discrete Mathematics: A Concise Introduction

Автор: Willem Conradie,Valentin Goranko
Название: Logic and Discrete Mathematics: A Concise Introduction
ISBN: 1118751272 ISBN-13(EAN): 9781118751275
Издательство: Wiley
Рейтинг:
Цена: 6170.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A concise yet rigorous introduction to logic and discrete mathematics.

Models for Life: An Introduction to Discrete Mathematical Modeling with Microsoft Office Excel

Автор: Jeffrey T. Barton
Название: Models for Life: An Introduction to Discrete Mathematical Modeling with Microsoft Office Excel
ISBN: 1119039754 ISBN-13(EAN): 9781119039754
Издательство: Wiley
Рейтинг:
Цена: 16782.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Features an authentic and engaging approach to mathematical modeling driven by real-world applications

With a focus on mathematical models based on real and current data, Models for Life: An Introduction to Discrete Mathematical Modeling with Microsoft(R) Office Excel(R) guides readers in the solution of relevant, practical problems by introducing both mathematical and Excel techniques.

The book begins with a step-by-step introduction to discrete dynamical systems, which are mathematical models that describe how a quantity changes from one point in time to the next. Readers are taken through the process, language, and notation required for the construction of such models as well as their implementation in Excel. The book examines single-compartment models in contexts such as population growth, personal finance, and body weight and provides an introduction to more advanced, multi-compartment models via applications in many areas, including military combat, infectious disease epidemics, and ranking methods. Models for Life: An Introduction to Discrete Mathematical Modeling with Microsoft(R) Office Excel(R) also features:

  • A modular organization that, after the first chapter, allows readers to explore chapters in any order
  • Numerous practical examples and exercises that enable readers to personalize the presented models by using their own data
  • Carefully selected real-world applications that motivate the mathematical material such as predicting blood alcohol concentration, ranking sports teams, and tracking credit card debt
  • References throughout the book to disciplinary research on which the presented models and model parameters are based in order to provide authenticity and resources for further study
  • Relevant Excel concepts with step-by-step guidance, including screenshots to help readers better understand the presented material
  • Both mathematical and graphical techniques for understanding concepts such as equilibrium values, fixed points, disease endemicity, maximum sustainable yield, and a drug's therapeutic window
  • A companion website that includes the referenced Excel spreadsheets, select solutions to homework problems, and an instructor's manual with solutions to all homework problems, project ideas, and a test bank

The book is ideal for undergraduate non-mathematics majors enrolled in mathematics or quantitative reasoning courses such as introductory mathematical modeling, applications of mathematics, survey of mathematics, discrete mathematical modeling, and mathematics for liberal arts. The book is also an appropriate supplement and project source for honors and/or independent study courses in mathematical modeling and mathematical biology.

Jeffrey T. Barton, PhD, is Professor of Mathematics in the Mathematics Department at Birmingham-Southern College. A member of the American Mathematical Society and Mathematical Association of America, his mathematical interests include approximation theory, analytic number theory, mathematical biology, mathematical modeling, and the history of mathematics.

The theory of quantum information

Автор: Watrous, John (university Of Waterloo, Ontario)
Название: The theory of quantum information
ISBN: 1107180562 ISBN-13(EAN): 9781107180567
Издательство: Cambridge Academ
Рейтинг:
Цена: 11563.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Intended for graduate students and researchers, this book presents a formal development of the mathematical theory of quantum information. Largely self-contained, with clear proofs and a wide range of exercises, it will help the reader grasp the fundamental facts and techniques that form the mathematical foundations of the subject.

Ordinal Computability: An Introduction to Infinitary Machines

Автор: Merlin Carl
Название: Ordinal Computability: An Introduction to Infinitary Machines
ISBN: 3110495627 ISBN-13(EAN): 9783110495621
Издательство: Walter de Gruyter
Цена: 18586.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.

Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications

Автор: O`Regan Gerard
Название: Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications
ISBN: 3319830805 ISBN-13(EAN): 9783319830803
Издательство: Springer
Рейтинг:
Цена: 7406.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability;


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия