Applied Logic for Computer Scientists by Flvio Moura
A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.-
Modelling Computing Systems
-
Sets, Logic and Maths for Computing
-
Principles of Digital Image Processing
-
Introduction to Artificial Intelligence
-
A First Introduction to Quantum Computing and Information
-
Introduction to Data Science
-
A Practical Approach to Compiler Construction
-
A Concise Introduction to Languages and Machines
-
Fundamentals of Discrete Math for Computer Science
-
Data Structures and Algorithms with Python
-
Mathematics for Computer Graphics
-
A Beginners Guide to Python 3 Programming
-
Philosophical and Cultural Aspects of Computing
-
Principles of Data Mining
-
Pattern Recognition
-
Introduction to Deep Learning
-
Financial Software Engineering
-
Guide to Competitive Programming
-
Advanced Guide to Python 3 Programming
-
Introduction to Medical Image Analysis
-
Introduction to Video and Image Processing
-
Introduction to Software Quality
-
Multicore Programming Using the ParC Language
-
Introduction to HPC with MPI for Data Science
-
Computability and Complexity
-
Object-Oriented Programming Languages: Interpretation
-
Introduction to Parallel Computing
-
Concise Guide to Databases
-
Human-Centred Scientific Data Visualisation
-
Guide to Using Generative AI in Programming
-
Programming in HTML and PHP
-
Introduction to Cryptographic Definitions
-
Proofs and Algorithms
-
Introduction to Software Process Improvement
-
Rigorous Software Development
-
Sensing and Systems in Pervasive Computing
-
Autonomic Computing
-
OCaml Scientific Computing
-
Basic Graph Theory
Mauricio Ayala-Rincón is a Professor in Theory of Computing at the Universidade de Brasília. He received his doctorate in Informatics from the Universität Kaiserslautern. His primarily research interests are in logic and semantics of computation. His publications are related with rewriting, lambda calculus and with the applications of these frameworks in theorem proving and automated reasoning.
Flávio L. C. de Moura is an Adjunct Professor in Computer Science at the Universidade de Brasília where he received his Ph.D in Mathematics (Theory of Computing). He has done long term research programs at Heriot-Watt University and Université Paris Diderot. His research is focused on lambda calculus and explicit substitutions, and in the application of proof assistants for the formalization of computation and mathematics.
| SKU | Unavailable |
| ISBN 13 | 9783319516516 |
| ISBN 10 | 3319516515 |
| Title | Applied Logic for Computer Scientists |
| Author | Flvio Moura |
| Series | Undergraduate Topics In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer International Publishing AG |
| Year published | 2017-02-13 |
| Number of pages | 150 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |