Introduction to the language of mathematics, Mynard, Frederic
Автор: 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.
Автор: 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.
Автор: Walicki Michal Название: Introduction to Mathematical Logic ISBN: 981471996X ISBN-13(EAN): 9789814719964 Издательство: World Scientific Publishing Рейтинг: Цена: 6336.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.
Автор: Bierbrauer Juergen Название: Introduction to Coding Theory ISBN: 1482299801 ISBN-13(EAN): 9781482299809 Издательство: Taylor&Francis Рейтинг: Цена: 14086.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is designed to be usable as a textbook for an undergraduate course or for an advanced graduate course in coding theory as well as a reference for researchers in discrete mathematics, engineering and theoretical computer science. This second edition has three parts: an elementary introduction to coding, theory and applications of codes, and algebraic curves. The latter part presents a brief introduction to the theory of algebraic curves and its most important applications to coding theory.
Автор: Liebeck Martin Название: Concise Introduction to Pure Mathematics ISBN: 149872292X ISBN-13(EAN): 9781498722926 Издательство: Taylor&Francis Рейтинг: Цена: 7654.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Fourth Edition presents some of the most fundamental and beautiful ideas in pure mathematics. It covers not only standard material but also many interesting topics not usually encountered at this level, such as the theory of solving cubic equations; Euler's formula for the numbers of corners, edges, and faces of a solid object and the five Platonic solids; the use of prime numbers to encode and decode secret information; the theory of how to compare the sizes of two infinite sets; and the rigorous theory of limits and continuous functions.
New to the Fourth Edition
Two new chapters that serve as an introduction to abstract algebra via the theory of groups, covering abstract reasoning as well as many examples and applications
New material on inequalities, counting methods, the inclusion-exclusion principle, and Euler's phi function
Numerous new exercises, with solutions to the odd-numbered ones
Through careful explanations and examples, this popular textbook illustrates the power and beauty of basic mathematical concepts in number theory, discrete mathematics, analysis, and abstract algebra. Written in a rigorous yet accessible style, it continues to provide a robust bridge between high school and higher-level mathematics, enabling students to study more advanced courses in abstract algebra and analysis.
Автор: Walicki Michal Название: Introduction to Mathematical Logic (Extended Edition) ISBN: 9814719951 ISBN-13(EAN): 9789814719957 Издательство: World Scientific Publishing Рейтинг: Цена: 11246.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.
Описание: 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.
Описание: Written by two well-known scholars in the field, Combinatorial Reasoning: An Introduction to the Art of Counting presents a clear and comprehensive introduction to the concepts and methodology of beginning combinatorics.
Автор: Jacobs Название: Introduction to Coalgebra ISBN: 1107177898 ISBN-13(EAN): 9781107177895 Издательство: Cambridge Academ Рейтинг: Цена: 23285.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first mature and accessible introduction to coalgebra, providing clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. It will be of interest to mathematicians, computer scientists, mathematical physicists and even economists.
Автор: Madden Название: An Introduction to Proof through Real Analysis ISBN: 1119314720 ISBN-13(EAN): 9781119314721 Издательство: Wiley Рейтинг: Цена: 13773.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
An engaging and accessible introduction to mathematical proof incorporating ideas from real analysis
A mathematical proof is an inferential argument for a mathematical statement. Since the time of the ancient Greek mathematicians, the proof has been a cornerstone of the science of mathematics. The goal of this book is to help students learn to follow and understand the function and structure of mathematical proof and to produce proofs of their own.
An Introduction to Proof through Real Analysis is based on course material developed and refined over thirty years by Professor Daniel J. Madden and was designed to function as a complete text for both first proofs and first analysis courses. Written in an engaging and accessible narrative style, this book systematically covers the basic techniques of proof writing, beginning with real numbers and progressing to logic, set theory, topology, and continuity. The book proceeds from natural numbers to rational numbers in a familiar way, and justifies the need for a rigorous definition of real numbers. The mathematical climax of the story it tells is the Intermediate Value Theorem, which justifies the notion that the real numbers are sufficient for solving all geometric problems.
- Concentrates solely on designing proofs by placing instruction on proof writing on top of discussions of specific mathematical subjects
- Departs from traditional guides to proofs by incorporating elements of both real analysis and algebraic representation
- Written in an engaging narrative style to tell the story of proof and its meaning, function, and construction
- Uses a particular mathematical idea as the focus of each type of proof presented
- Developed from material that has been class-tested and fine-tuned over thirty years in university introductory courses
An Introduction to Proof through Real Analysis is the ideal introductory text to proofs for second and third-year undergraduate mathematics students, especially those who have completed a calculus sequence, students learning real analysis for the first time, and those learning proofs for the first time.
Daniel J. Madden, PhD, is an Associate Professor of Mathematics at The University of Arizona, Tucson, Arizona, USA. He has taught a junior level course introducing students to the idea of a rigorous proof based on real analysis almost every semester since 1990. Dr. Madden is the winner of the 2015 Southwest Section of the Mathematical Association of America Distinguished Teacher Award.
Jason A. Aubrey, PhD, is Assistant Professor of Mathematics and Director, Mathematics Center of the University of Arizona.
Автор: 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
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
