Kategoria BISAC: Mathematics >> Logic

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*

The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.

*Conference was held as a hybrid event due to the COVID-19 pandemic.

The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach...

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems.

The 17 systems included in this volume are among the most relevant ones for the formalization of mathematics. The systems are showcased by presentation of the formalized proof and a description in the form of answers to a standard questionnaire. The 17 systems presented are HOL, Mizar,...

This updated printing of the first edition of Colorado Mathematical Olympiad: the First Twenty Years and Further Explorations gives the interesting history of the competition as well as an outline of all the problems and solutions that have been created for the contest over the years. Many of the essay problems were inspired by Russian mathematical folklore and written to suit the young audience; for example, the 1989 Sugar problem was written in a pleasant Lewis Carroll-like story. Some other entertaining problems involve olde Victorian map colourings, King Authur and the knights...

Building bridges between classical results and contemporary nonstandard problems, Mathematical Bridges embraces important topics in analysis and algebra from a problem-solving perspective. Blending old and new techniques, tactics and strategies used in solving challenging mathematical problems, readers will discover numerous genuine mathematical gems throughout that will heighten their appreciation of the inherent beauty of mathematics.

Most of the problems are original to the authors and are intertwined in a well-motivated exposition driven by representative...

Now in its third decade, the Colorado Mathematical Olympiad (CMO), founded by the author, has become an annual state-wide competition, hosting many hundreds of middle and high school contestants each year. This book presents a year-by-year history of the CMO from 2004-2013 with all the problems from the competitions and their solutions. Additionally, the book includes 10 further explorations, bridges from solved Olympiad problems to 'real' mathematics, bringing young readers to the forefront of various fields of mathematics. This book contains more than just problems,...