Learning Logics

Prof. Wasilewska’s new book provides an in-depth introduction to logics and is geared toward computer scientists

Professor Anita Wasilewska in the Department of Computer Science 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.”

When sharing the news about the new book, Professor Samir Das, chair of the CS department, said, “[This book is the] brand new sole-author book on logic that Anita has been working on over the past several years. 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 pages 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. (Watch a video about Anita here.) She is an associate professor in the Department of Computer Science at Stony Brook University for 33 years. She earned her MS in Computer Science and PhD in Mathematics from Warsaw University in Poland, where she also became a faculty member of 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 faculty at mathematics department at Lafayette College, Eason, PA. Wasilewska was a Fulbright Scholar to Poland in 1993/94. She shares her love of logic, data mining, bioinformatics, and machine learning and mobile compution  in many of the CSE courses that she teaches including CSE 371 Logic, CSE 352 Artificial Intelligence,  CSE 303 Introduction to the Thepory of Computation,  CSE 634 Data Mining Concepts & Technique,  CSE541 Logic in Computer Sciece, CSE547 Discrete Mathematics,  CSE537 Artifficial Intelligence,  and CSE 651 the Advanced Topics Course on Mobile Computing for Informal Economies.

-Arianna Chen (CS Student, Honors College)

-Photo credit: Justice Williams (Business Management Student)