This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be...

Fabricated tells the story of 3D printers, humble manufacturing machines that are bursting out of the factory and into homes, businesses, schools, kitchens, hospitals, even the fashion catwalk. The magic happens when you plug a 3D printer into today's mind-boggling digital technologies. Add to that the Internet, tiny, low cost...

This book features challenging problems of classical analysis that invite the reader to explore a host of strategies and tools used for solving problems of modern topics in real analysis. This volume offers an unusual collection of problems — many of them original — specializing in three topics of mathematical analysis: limits,...

The OMAP-L138 eXperimenter is the latest inexpensive DSP development system to be adopted by the Texas Instruments University Program. The OMAP-L138 processor contains both ARM and DSP cores and is aimed at portable and mobile multimedia applications. This book...

Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based...

​Among the symmetrical distributions with an infinite domain, the most popular alternative to the normal variant is the logistic distribution as well as the Laplace or the double exponential distribution, which was first introduced in 1774. Occasionally, the Cauchy distribution is also used. Surprisingly, the hyperbolic secant...

Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary source of ideas and examples in higher recursion theory. It is also a crossroad for several areas of mathematical logic: in set theory it is an initial segment of Godel's L; in model theory, the least admissible set after ; in descriptive set...

Excel is a powerful program with more than 300 built-in functions that can be used to perform an almost infinite number of calculations. This friendly book shows you how to use the 150 most valuable ones in real-world situations: to compare the cost of buying vs....

Flashes of lightning, resounding thunder, gloomy fog, brilliant sunshine…these are the life manifestations of the skies.  The concrete visceral experiences that living under those skies stir within us are the ground for individual impulses, emotions, sentiments that in their interaction generate their own ever-changing...

This first volume, a three-part introduction to the subject, is intended for students with a beginning knowledge of mathematical analysis who are motivated to discover the ideas that shape Fourier analysis. It begins with the simple conviction that Fourier arrived at in the early nineteenth century when studying problems in the physical...

• Create maps and mods using the tools provided with Source SDK
• Learn how to use Hammer to create your own game worlds
• Create goal-driven A.I. sequences and scripts
• Master Source SDK tools with ease...

To allow flexibility of topic...