The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and...

In the field of aeronautical dynamics, this book offers readers a design tool which enables them to solve the different problems that can occur during the planning stage of a private project. The authors present a system for the modeling, design and calculation of the flying qualities of airplanes and drones, with a complete mathematical...

The analysis of experimental data is at heart of science from its beginnings. But it was the advent of digital computers in the second half of the 20th century that revolutionized scientific data analysis twofold: Tedious pencil and paper work could be successively transferred to the emerging software applications so sweat and tears...

Bringing together information from...

Students love Schaum's Outlines because they produce results. Each year, hundreds of thousands of students improve their test scores and final grades with these...

It is known that quantum computers have great power for searching unsorted databases....

Modern consumers carry many electronic devices, like a mobile phone, digital camera, GPS, PDA and an MP3 player. The functionality of each of these devices has gone through an important evolution over recent years, with a steep increase in both the number of features as in the quality of the services that they provide. However, providing the...

The standard second course in computer science has traditionally covered the fun- damental data structures and algorithms, but more recently these topics have been included in the broader topic of abstract data types. This book is no exception, with the main focus on the design, use, and implementation of abstract data types. The...