Gabbay, D. M.
Elementary Logic with Applications: A Procedural Perspective for Computer Scientists
(No reviews yet)
Write a Review
- ISBN 13:
- 9781848902251
- author:
- Gabbay, D. M.
- format:
- Paperback
- publisher:
- College Publications
- language:
- English
- Publication Year:
- 2016
- Pages:
- 364
- Dimensions:
- 23.39 x 15.6 x 1.91 centimetres
- Genre:
- Science, Mathematics, Logic,
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
Elementary Logic with Applications: A Procedural Perspective for Computer Scientists
This textbook introduces classical logic in a way that allows for easy exploration of non-classical logics. It defines various types of logics and their differences, starting with the basic notions of common logic.
The authors, D M Gabbay and O T Rodrigues, have expertise in teaching logic and computer science, and this course is currently taught at King's College London.
Related Products
Related Products
Computability and Logic
Boolos, George S.
£40.04
Computability and Logic offers an accessible introduction to the subject for students without a mathematical background. This comprehensive textbook covers not only the standard topics of...
The Cultural Logic of Computation
Golumbia, D
£32.60
The Cultural Logic of Computation by David Golumbia A critical examination of the transformative power of computers, challenging the notion that they hold the key to resolving social problems and...
The Musings of a BiPolar Computer Scientist
Shepherd, Rebecca
£12.55
The Musings of a BiPolar Computer Scientist is a poignant collection of poetry written by Rebecca Shepherd. This personal and introspective work explores themes of mental health, identity, and the...
Basic Category Theory for Computer Scientists (Foundations of Computing)
Pierce, Benjamin C.
£37.46
Category theory provides a fundamental framework for understanding complex systems in computer science. This book offers a clear introduction to its basic concepts and applications.It covers key...
An Introduction to Lambda Calculi for Computer Scientists
Hankin, Chris
£14.91
Lambda Calculi for Computer Scientists The lambda-calculus is a fundamental concept in computer science, with significant influence on programming language design and implementation. This book...