Proofs 101: An Introduction to Formal Mathematics, Kirtland Joseph
Автор: 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.
Автор: 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.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108411398 ISBN-13(EAN): 9781108411394 Издательство: Cambridge Academ Рейтинг: Цена: 4434.00 р. Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.
Автор: 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.
Автор: 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.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108420060 ISBN-13(EAN): 9781108420068 Издательство: Cambridge Academ Рейтинг: Цена: 14254.00 р. Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this very accessible book, extensively revised and rewritten for the second edition, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and alongside the formal work there is illuminating philosophical commentary. This book will make an ideal text for a first logic course and will provide a firm basis for further work in formal and philosophical logic.
Описание: 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.
Автор: 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.
Автор: Katz Название: Introduction to Modern Cryptography, Second Edition ISBN: 1466570261 ISBN-13(EAN): 9781466570269 Издательство: Taylor&Francis Рейтинг: Цена: 15310.00 р. Наличие на складе: Поставка под заказ.
Описание:
Cryptography is ubiquitous and plays a key role in ensuring data secrecy and integrity as well as in securing computer systems more broadly. Introduction to Modern Cryptography provides a rigorous yet accessible treatment of this fascinating subject.
The authors introduce the core principles of modern cryptography, with an emphasis on formal definitions, clear assumptions, and rigorous proofs of security. The book begins by focusing on private-key cryptography, including an extensive treatment of private-key encryption, message authentication codes, and hash functions. The authors also present design principles for widely used stream ciphers and block ciphers including RC4, DES, and AES, plus provide provable constructions of stream ciphers and block ciphers from lower-level primitives. The second half of the book covers public-key cryptography, beginning with a self-contained introduction to the number theory needed to understand the RSA, Diffie-Hellman, and El Gamal cryptosystems (and others), followed by a thorough treatment of several standardized public-key encryption and digital signature schemes.
Integrating a more practical perspective without sacrificing rigor, this widely anticipated Second Edition offers improved treatment of:
Stream ciphers and block ciphers, including modes of operation and design principles
Authenticated encryption and secure communication sessions
Hash functions, including hash-function applications and design principles
Attacks on poorly implemented cryptography, including attacks on chained-CBC encryption, padding-oracle attacks, and timing attacks
The random-oracle model and its application to several standardized, widely used public-key encryption and signature schemes
Elliptic-curve cryptography and associated standards such as DSA/ECDSA and DHIES/ECIES
Containing updated exercises and worked examples, Introduction to Modern Cryptography, Second Edition can serve as a textbook for undergraduate- or graduate-level courses in cryptography, a valuable reference for researchers and practitioners, or a general introduction suitable for self-study.
Автор: 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
