Wyniki wyszukiwania:

This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.

This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.

The vibrations of atoms inside crystals - lattice dynamics - is basic to many fields of study in the solid-state and mineral sciences. Lattice dynamics is becoming increasingly important for work on mineral stability. This book provides a self-contained text that introduces the subject from a basic level and then takes the reader through real applications of the theory. The book is aimed at advanced undergraduates, graduate students and research workers in the earth and solid-state sciences who need to incorporate lattice dynamic treatments into their work. Applications include the use of...

The vibrations of atoms inside crystals - lattice dynamics - is basic to many fields of study in the solid-state and mineral sciences. Lattice dynamics is becoming increasingly important for work on mineral stability. This book provides a self-contained text that introduces the subject from a basic level and then takes the reader through real applications of the theory. The book is aimed at advanced undergraduates, graduate students and research workers in the earth and solid-state sciences who need to incorporate lattice dynamic treatments into their work. Applications include the use of...