Professor Anita Wasilewska, from the Department of Computer Science (CS) at Stony Brook University, has released her second book published by Springer, Logics for Computer Science: Classical and Non-Classical, which provides an in-depth introduction to fundamental classical and non-classical logics. While there are many published books on logic, most of them are written for logicians by other logicians; instead Wasilewska’s new book is specifically written for computer scientists.
Logics, which is the study of formal reasoning, plays a very important role in computer science. Logics for Computer Science explains many basic theorems as well as techniques for proofs in classical and non-classical logics. Wasilewska gives in-depth presentations of automated theorem proving Gentzen type formal systems, Hilbert formalizations, first order theories, the Hilbert Program, Godel’s first and second incompleteness theorems and their proofs, intuitionistic and modal logics. She also introduces the reader to algebraic models for classical, intuitionistic and modal S4 and S5 logics.
Publisher Springer describes Wasilewska’s book as “[offering] a comprehensive, intuitive understanding of different logics and discusses some of their applications to computer science, and also makes readers understand the need of, and existence of Symbolic Logic as a scientific field.”
“[This book is the] brand new sole-author book on logic that Anita has been working on over the past several years,” said CS Chair Professor Samir Das.“This is a major accomplishment that directly impacts computer scientists and education.”
Her other book, Data Mining: Foundations and Practice, co-authored with Tsau Young Lin, Ying Xie, Churn-Jung Liau (Eds), has reached almost 29,000 downloads on the publisher’s site and is now available in paperback.
Wasilewska’s other Springer publications include two 30-page entries in Encyclopedia of Complexity and Systems Science (First and Second Edition) about her research in foundations of data mining: 1) A Granular Model for Data Mining and 2) Algebraic Models and Granular Computing. All entries were by publisher invitation only.
About the Author
Anita Wasilewska came to Stony Brook University by way of Warsaw University in Poland. She earned her MS in Computer Science and PhD in Mathematics from Warsaw University in Poland, where she also became a faculty member in the mathematics department. She joined Stony Brook University in 1986 after being a visiting assistant professor of mathematics at Wesleyan and Yale Universities (1980/81) and part of the faculty in the mathematics department at Lafayette College. Wasilewska was a Fulbright Scholar to Poland in 1993/94. She shares her love of logic, data mining, bioinformatics, and machine learning and mobile computation in many of the CSE courses that she teaches including CSE 371 Logic, CSE 352 Artificial Intelligence, CSE 303 Introduction to the Theory of Computation, CSE 634 Data Mining Concepts & Technique, CSE541 Logic in Computer Science, CSE 547 Discrete Mathematics, CSE 537 Artificial Intelligence, and CSE 651 Advanced Topics Course on Mobile Computing for Informal Economies.
— Arianna Chen (CS Honors Student)