Mathematics and Logic

The book shows a very original organization addressing in a non traditional way, but with a systematic approach, to who has an interest in using mathematics in the social sciences. The book is divided in four parts: (a) a historical part, written by Vittorio Capecchi which helps us understand the changes in the relationship between mathematics and sociology by analyzing the mathematical models of Paul F. Lazarsfeld, the model of simulation and artificial societies, models of artificial neural network and considering all the changes in scientific paradigms considered; (b) a part coordinated by Pier Luigi Contucci on mathematical models that consider the relationship between the mathematical models that come from physics and linguistics to arrive at th...

Computer algebra systems have revolutionized the use of computers within mathematics research, and are currently extending that revolution to the undergraduate mathematics curriculum. But the power of such systems goes beyond simple algebraic or numerical manipulation. In this practical resource Roman Maeder shows how computer-aided mathematics has reached a level where it can support effectively many of the computations in science and engineering. Besides treating traditional computer science topics, he demonstrates how scientists and engineers can use these computer-based tools to do scientific computations. A valuable text for computer science courses for scientists and engineers, this book will also prove useful to Mathematica users at all levels...

Computer algebra systems have revolutionized the use of computers within mathematics research, and are currently extending that revolution to the undergraduate mathematics curriculum. But the power of such systems goes beyond simple algebraic or numerical manipulation. This book shows how computer-aided mathematics has reached a level where it can support effectively many of the computations in science and engineering. In addition to treating traditional computer science topics, an introductory course should show scientists and engineers how these computer-based tools can be used to do scientific computations. A valuable text for computer science courses for scientists and engineers, this book should also prove useful to Mathematica users at all leve...