Kategoria BISAC: Mathematics >> Arithmetic

Few books comprehensively cover the software and programming aspects of reversible computing. Filling this gap, Introduction to Reversible Computing offers an expanded view of the field that includes the traditional energy-motivated hardware viewpoint as well as the emerging application-motivated software approach.

Collecting scattered knowledge into one coherent account, the book provides a compendium of both classical and recently developed results on reversible computing. It explores up-and-coming theories, techniques, and tools for the application of...

A Functional Start to Computing with Python enables students to quickly learn computing without having to use loops, variables, and object abstractions at the start. Requiring no prior programming experience, the book draws on Python's flexible data types and operations as well as its capacity for defining new functions. Along with the specifics of Python, the text covers important concepts of computing, including software engineering motivation, algorithms behind syntax rules, advanced functional programming ideas, and, briefly, finite state machines.

Tips for simplifying tricky basic math and pre-algebra operations

Whether you're a student preparing to take algebra or a parent who wants or needs to brush up on basic math, this fun, friendly guide has the tools you need to get in gear....

This book is also, for your study of math using integers. And the book is designed for
those students who want to study word problems, where students need to manage
integers and set up expressions. And you will get to see some nature of integers and
some tools useful or handy using or working with integers. The tools are math ideas,
called theorems or formulas, which you can use doing problems with multiples or
divisors, etc. And some sample pages are at:
http:...

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.

In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and...

Differential Forms and the Geometry of General Relativity provides readers with a coherent path to understanding relativity. Requiring little more than calculus and some linear algebra, it helps readers learn just enough differential geometry to grasp the basics of general relativity.

The book contains two intertwined but distinct halves. Designed for advanced undergraduate or beginning graduate students in mathematics or physics, most of the text requires little more than familiarity with calculus and linear algebra. The first half presents an...

The concept of the Euclidean simplex is important in the study of n-dimensional Euclidean geometry. This book introduces for the first time the concept of hyperbolic simplex as an important concept in n-dimensional hyperbolic geometry.

Following the emergence of his gyroalgebra in 1988, the author crafted gyrolanguage, the algebraic language that sheds natural light on hyperbolic geometry and special relativity. Several authors have successfully employed the author s gyroalgebra in their exploration for novel results. Francoise Chatelin noted in her book, and elsewhere,...