|
|
|
|
|
|
What is Mathematical Logic?This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.
... | | Euler as PhysicistThe subject of the book is the development of physics in the 18th century centred upon the fundamental contributions of Leonhard Euler to physics and mathematics.Classical mechanics will be reconstructed in terms of the program initiated by Euler in 1736 and its completion over the following decades until 1760.
It is of particular interest to... | | The Pi-Calculus: A Theory of Mobile Processes
Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding... |
|
|
|
Result Page: 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 |