This book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental to computer science. It is an excellent introduction for graduate students and advanced undergraduates interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for professional logicians.
Pris: kr 720.00 fra Norli
Butikk | Pris | |
---|---|---|
kr 720.00 | Besøk butikk |
This highly readable, popular textbook for upper undergraduates and graduates comprehensively covers the fundamentals of crystallography and symmetry, applying these concepts to a large range of materials. New to this edition are more streamlined coverage...
kr 720.00
Mer informasjon
A consolidated treatment of continuum mechanics and thermodynamics that stresses the universal status of the basic balances and the entropy imbalance. The Mechanics and Thermodynamics of Continua is written for engineers, physicists and mathematicians.
kr 828.00
Mer informasjon
A rigorous, yet accessible, textbook for computer science students learning probability. It covers topics of interest to computer scientists, including randomized algorithms, simulation, statistical inference, and stochastic systems modeling. Replete...
kr 649.00
Mer informasjon
Networks surround us, from social networks to protein ¿ protein interaction networks within the cells of our bodies. The theory of random graphs provides a necessary framework for understanding their structure and development. This text provides an accessible...
kr 919.00
Mer informasjon