Title Thumbnail

Use of abstraction and logic in mathematics

9781774697009
421 pages
Arcler Education Inc
Overview
“The Use of Abstraction and Logic in Mathematics” is an edited book consisting of 16 contemporaneous open-access articles that are essentially devoted to mathematical logic research, from classical to non-classical logical systems, from algebraic logic to fuzzy logic. The book addresses the following mathematical logic topics: first-order and higher-order logic; as well as infinitary, description, modal; fixed-point, algebraic and fuzzy logic. This book also includes examples of practical applications of logical systems in link prediction and image processing tasks, as well as in the training of neural networks and artificial intelligence. The intended audience of this book is undergraduate and graduate students, as well as junior researchers. Familiarity with first-order and higher-order logics, as well as set theory, and algebra is essential to grasp the concepts and methods described in this book.
Author Bio
Olga Moreira is a Ph.D. and M.Sc. in Astrophysics and B.Sc. in Physics/Applied Mathematics (Astronomy). She is an experienced technical writer and data analyst. As a graduate student, she held two research grants to carry out her work in Astrophysics at two of the most renowned European institutions in the fields of Astrophysics and Space Science (the European Space Agency, and the European Southern Observatory). She is currently an independent scientist, peer-reviewer and editor. Her research interest is solar physics, machine learning and artificial neural networks.