Logic in Computer Science
Logic in Computer Science examines the role of formal logic within computing. Written by Jian Zhang and Hantao Zhang, this academic title offers a focused resource for students and readers interested in the mathematical foundations and conceptual frameworks that connect logic with computer science.
About This Book
Logic in Computer Science explores the relationship between formal logic and computer science.
Written by Jian Zhang and Hantao Zhang, the book presents its subject for readers seeking an academic foundation in this area.
Its focus makes it relevant to students, educators, and readers interested in the mathematical principles underlying computing.
Reviews
No reviews yet. Be the first to review this book!