Structures in Logic and Computer Science - Arto Salomaa, Grzegorz Rozenberg, Jan Mycielski - książka wyd. 1997

Opis

The book “Structures in Logic and Computer Science” explores the fundamental concepts of logic as they apply to computer science, including formal systems, proof techniques, set theory, and discrete structures. It provides a bridge between mathematical logic and practical computing, offering tools for reasoning about algorithms, data structures, and programming languages. The text is intended for students and professionals seeking a rigorous foundation in theoretical computer science.