LIBROS DEL AUTOR: aaron r bradley

3 resultados para LIBROS DEL AUTOR: aaron r bradley

aaron r bradley Eliminar filtro Quitar filtros
  • Programming for Engineers
    Aaron R. Bradley
    To learn to program is to be initiated into an entirely new way of thinking about engineering, mathematics, and the world in general. Computation is integral to all modern engineering disciplines, so the better you are at programming, the better you will be in your chosen field.The author departs radically from the typical presentation by teaching concepts and techniques in a r...
    Disponible

    66,47 €

  • The Calculus of Computation
    Aaron R. Bradley / Zohar Manna
    Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.- Further Reading. ...
    Disponible

    72,00 €

  • The Calculus of Computation
    Aaron R. Bradley / Zohar Manna
    Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithm...
    Disponible

    47,40 €