LIBROS DEL AUTOR: tamas gergely

2 resultados para LIBROS DEL AUTOR: tamas gergely

tamas gergely Eliminar filtro Quitar filtros
  • First-Order Programming Theories
    Laszlo Ury / Tamas Gergely
    This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved in reasoning about computer programs and programming ...
    Disponible

    133,56 €

  • Cognitive Reasoning
    Oleg M. Anshakov / Tamás Gergely
    Conceptual Theory of Cognitive Reasoning.- Introductory Explanation.- Basic System of Concepts.- Constructing a Model of a Cognizing Agent.- Cognitive Reasoning Framework.- Logic Foundation.- Introductory Explanation.- Propositional Logic.- First-Order Logics.- Formal CR Framework.- Introductory Explanation.- Modification Calculi.- Derivability in Modification Calculi and L1.- ...
    Disponible

    242,63 €