Mathematical Logic: Foundations for Information Science
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also pre a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems.
Starting with the concept that mathematical logic is not a collection of vaguely related results, but a method of attacking some of the most interesting problems which face the mathematician, the author sets the tone for this classic introduction. The basic concepts are presented in an unusually clear and accessible fashion, keeping in mind the original purpose of mathematical logic to build the foundations of this vast edifice of knowledge in a way that helps and intrigues the working mathematician as much as the philosophically minded student of logic.
The Mathematical Mechanic: Using Physical Reasoning to Solve Problems
The Mathematical Mechanic reverses the usual interaction of mathematics and physics. . . . Careful study of Levi's book may train readers to think of physical companions to mathematical problems. . . . Mathematicians will find The Mathematical Mechanic provides exercise in new ways of thinking. Instructors will find it contains material to supplement mathematics courses, helping physically-minded students approach mathematics and helping mathematically-minded students appreciate physics.
Topics in Mathematic Modelling of Composite Materials
Contains English translation of certain fundamental papers by the French and Russian schools, on the macroscopic behavior of microscopically heterogeneous materials. DLC: Composite materials - Mathematical models.
