LIBROS DEL AUTOR: luis m augusto

6 resultados para LIBROS DEL AUTOR: luis m augusto

luis m augusto Eliminar filtro Quitar filtros
  • Formal Logic
    Luis M Augusto
    Logic is—arguably—all about proving, but proofs can be “costly,” often impossibly so, and today most are delegated to (partly) automatic provers, namely by so-called SAT solvers, software based on the (Boolean) satisfiability problem, or SAT. This is the dual of the (Boolean) validity problem, or VAL, at the core of the conception of the digital computer via Hilbert’s Entscheid...
    Disponible

    23,39 €

  • Languages, Machines, and Classical Computation
    Luis M Augusto
    Languages, machines, and classical computation is a new undergraduate course book on the conjoined subjects of Formal Languages and Automata & Computability and Complexity. By new, we mean more than its recency: It is (more) clearly structured around the Chomsky hierarchy, which acts as its backbone; It has an overall algorithmic approach, with many central algorithms thorou...
    Disponible

    19,19 €

  • Computational Logic
    Luis M Augusto
    Although a number of recent technological applications require classical deductive computation with non-classical logics, many key technologies still do well-or exclusively, for that matter-with classical logic. In this first of a two-volume work, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a t...
    Disponible

    33,65 €

  • Many-Valued Logics
    Luis M Augusto
    Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally moti...
    Disponible

    25,33 €

  • Logical Consequences
    Luis M Augusto
    The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, a...
    Disponible

    21,85 €

  • Who’s Afraid of Idealism?
    Luis M Augusto / Luis M. Augusto / Luis MAugusto
    In Who’s Afraid of Idealism the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis Augusto explores epistemological idealism, which is at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the ve...
    Disponible

    65,74 €