Sign-In
Cart
Logics for Computer Science: Classical and Non-Classical
Hardcover
FictionGeneral ComputersProgramming
Please select the version of book you would like to purchase.
ISBN10: 3319925903
ISBN13: 9783319925905
Publisher: Springer Nature
Published: Nov 13 2018
Pages: 535
Weight: 2.56
Height: 1.19 Width: 7.00 Depth: 10.00
Language: English
ISBN13: 9783319925905
Publisher: Springer Nature
Published: Nov 13 2018
Pages: 535
Weight: 2.56
Height: 1.19 Width: 7.00 Depth: 10.00
Language: English
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework.
While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language. Logics for Computer Science discusses Gentzen as well as Hilbert formalizations, first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs. It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics.The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. In addition to Computer Science, this book may also find an audience in mathematics and philosophy courses, and some of the chapters are also useful for a course in Artificial Intelligence.
Also in
Programming
The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Collector's Edition
Piggyback
Hardcover
$42.74
Cracking the Coding Interview: 189 Programming Questions and Solutions
McDowell, Gayle Laakmann
Paperback
From $24.99
The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Standard Edition
Piggyback
Paperback
$28.49
The Pragmatic Programmer: Your Journey to Mastery, 20th Anniversary Edition
Thomas, David
Hunt, Andrew
Hardcover
$54.99
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Matthes, Eric
Paperback
$47.49
Accelerate: The Science of Lean Software and DevOps: Building and Scaling High Performing Technology Organizations
Kim, Gene
Forsgren Phd, Nicole
Humble, Jez
Paperback
$20.89
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
Zhu, Yifeng
Paperback
$69.50
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Hardcover
$34.99
Learning Php, MySQL & JavaScript: A Step-By-Step Guide to Creating Dynamic Websites
Nixon, Robin
Paperback
$56.99
The Manager's Path: A Guide for Tech Leaders Navigating Growth and Change
Fournier, Camille
Paperback
$37.99
Automate the Boring Stuff with Python, 2nd Edition: Practical Programming for Total Beginners
Sweigart, Al
Paperback
$37.99
The Staff Engineer's Path: A Guide for Individual Contributors Navigating Growth and Change
Reilly, Tanya
Paperback
$43.69
The Official Raspberry Pi Handbook 2025: Projects, Tutorials, Interviews, and Reviews from the Magpi Magazine
Makers of the Magpi Magazine, The
Paperback
$21.84
Head First JavaScript Programming: A Learner's Guide to Modern JavaScript
Freeman, Eric
Robson, Elisabeth
Paperback
$66.49
This Is Service Design Doing: Applying Service Design Thinking in the Real World
Hormess, Markus Edgar
Stickdorn, Marc
Lawrence, Adam
Paperback
$47.49
The DevOps Handbook: How to Create World-Class Agility, Reliability, & Security in Technology Organizations
Humble, Jez
Debois, Patrick
Kim, Gene
Paperback
$36.10
Learning Web Design: A Beginner's Guide to Html, Css, Javascript, and Web Graphics
Robbins, Jennifer
Paperback
$65.99
Head First Design Patterns: Building Extensible and Maintainable Object-Oriented Software
Freeman, Eric
Robson, Elisabeth
Paperback
$75.99
Spies, Lies, and Algorithms: The History and Future of American Intelligence
Zegart, Amy B.
Paperback
$20.85
Pro C# 10 with .Net 6: Foundational Principles and Practices in Programming
Troelsen, Andrew
Japikse, Phil
Paperback
$56.99
Design Patterns: Elements of Reusable Object-Oriented Software
Johnson, Ralph
Gamma, Erich
Helm, Richard
Hardcover
$65.99
Head First C#: A Learner's Guide to Real-World Programming with C# and .Net
Stellman, Andrew
Greene, Jennifer
Paperback
$75.99
Embedded Systems with Arm Cortex-M Microcontrollers in Assembly Language and C: Third Edition
Zhu, Yifeng
Paperback
$69.50
Gestión práctica de proyectos con Scrum: Desarrollo de software ágil para el Scrum Master
Martel, Antonio
Paperback
$14.99
Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures
Ford, Neal
Richards, Mark
Sadalage, Pramod
Paperback
$75.99
Electronic Music and Sound Design - Theory and Practice with Max 8 - Volume 1 (Fourth Edition)
Cipriani, Alessandro
Giri, Maurizio
Paperback
$45.00
Serious Cryptography, 2nd Edition: A Practical Introduction to Modern Encryption
Aumasson, Jean-Philippe
Paperback
$56.99
Make: Electronics: Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast
Platt, Charles
Paperback
$33.24
Learn OpenGL: Learn modern OpenGL graphics programming in a step-by-step fashion.
de Vries, Joey
Paperback
$59.99
Leading Quality: How Great Leaders Deliver High Quality Software and Accelerate Growth
Peer, Owais
Cummings -. John, Ronald
Paperback
$19.99
Concrete Mathematics: A Foundation for Computer Science
Knuth, Donald
Graham, Ronald
Patashnik, Oren
Hardcover
$89.99
Data Visualization with Microsoft Power Bi: How to Design Savvy Dashboards
Kolokolov, Alex
Zelensky, Maxim
Paperback
$56.99
Living a Jewish Life, Revised and Updated: Jewish Traditions, Customs, and Values for Today's Families
Diamant, Anita
Cooper, Howard
Paperback
$21.84
Dark Souls: Beyond the Grave Volume 1: Demon's Souls -- Dark Souls -- Dark Souls II
Mecheri, Damien
Romieu, Sylvain
Hardcover
$28.41
Aprenda Visual Basic (Vba) Y Macros Para Excel: Más de 100 ejercicios resueltos, macros y juegos, para desarrollar tus habilidades de programación
Vidal Bosch, Josep Ramon
Paperback
$19.00
Building AI-Powered Products: The Essential Guide to AI and Genai Product Management
Nika, Marily
Paperback
$42.74
Video Game of the Year: A Year-By-Year Guide to the Best, Boldest, and Most Bizarre Games from Every Year Since 1977
Minor, Jordan
Paperback
From $17.99
Electronic Music and Sound Design - Theory and Practice with Max 8 - volume 3
Giri, Maurizio
Cipriani, Alessandro
Paperback
$59.00
Computer Science Distilled: Learn the Art of Solving Computational Problems
Ferreira Filho, Wladston
Paperback
$24.95
The Digital Photography Book: The Step-By-Step Secrets for How to Make Your Photos Look Like the Pros'!
Kelby, Scott
Paperback
$28.45
Modern Software Engineering: Doing What Works to Build Better Software Faster
Farley, David
Paperback
$39.99
Linux Basics for Hackers: Getting Started with Networking, Scripting, and Security in Kali
Occupytheweb
Paperback
$37.99
Javascript: The Definitive Guide: Master the World's Most-Used Programming Language
Flanagan, David
Paperback
$75.99
Electronic Music and Sound Design - Theory and Practice with Max 8 - Volume 2 (Third Edition)
Cipriani, Alessandro
Giri, Maurizio
Paperback
$47.00
Software Wasteland: How the Application-Centric Mindset is Hobbling our Enterprises
McComb, Dave
Paperback
$23.70
Workday Gold: A Collection of Keith Bitikofer's #WorkdayTips Focused on Software Functionality 2021-2023
Bitikofer, Keith
Paperback
$7.97
JavaScript Crash Course: A Hands-On, Project-Based Introduction to Programming
Morgan, Nick
Paperback
$47.49
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Paperback
$26.59
Python Basics: A Practical Introduction to Python 3
Heisler, Fletcher
Bader, Dan
Jablonski, Joanna
Paperback
$39.99
Dark Souls: Beyond the Grave Volume 2: Bloodborne €" Dark Souls III
Romieu, Sylvain
Mecheri, Damien
Hardcover
$33.20
Designing Distributed Systems: Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes
Burns, Brendan
Paperback
$56.99
Python Machine Learning By Example - Fourth Edition: Unlock machine learning best practices with real-world use cases
Liu, Yuxi (Hayden)
Paperback
$45.99
The Practice of Enterprise Architecture: A Modern Approach to Business and IT Alignment
Kotusev, Svyatoslav
Hardcover
$69.90
Simple SysML for Beginners: Using CATIA No Magic Products
Casse, Olivier
Braun, Frank
Hetherington, David
Paperback
$57.95
Algorithms Illuminated (Part 3): Greedy Algorithms and Dynamic Programming
Roughgarden, Tim
Paperback
$18.99
Blueprints Visual Scripting for Unreal Engine 5: Unleash the true power of Blueprints to create impressive games and applications in UE5
Romero, Marcos
Sewell, Brenden
Paperback
$76.99
Prompt Engineering for Llms: The Art and Science of Building Large Language Model-Based Applications
Berryman, John
Ziegler, Albert
Paperback
$75.99