الصفحة 92
الصفحة 92
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
18 Unconventional Essays on the Nature of Mathematics
This essays edited by Reuben Hersh contains frank facts and opinions from leading mathematicians, philosophers, sociologists, cognitive scientists, and even an anthropologist. Each essay provides a challenging and thought-provoking look at recent advances in the philosophy of mathematics, demonstrating the possibilities of thinking fresh, sticking close to actual practice, and fearlessly letting go of standard shibboleths.
104 Number Theory Problems : From the Training of the USA IMO Team
This challenging problem book by renowned US Olympiad coaches, mathematics teachers, and researchers develops a multitude of problem-solving skills needed to excel in mathematical contests and research in number theory. Offering inspiration and intellectual delight, the problems throughout the book encourage students to express their ideas, conjectures, and conclusions in writing. Applying specific techniques and strategies, readers will acquire a solid understanding of the fundamental concepts and ideas of number theory.
103 Trigonometry Problems : From the Training of the USA IMO Team
103 Trigonometry Problems contains highly-selected problems and solutions used in the training and testing of the USA International Mathematical Olympiad (IMO) team. Though many problems may initially appear impenetrable to the novice, most can be solved using only elementary high school mathematics techniques.
