LIBROS DEL AUTOR: melvin fitting

3 resultados para LIBROS DEL AUTOR: melvin fitting

melvin fitting Eliminar filtro Quitar filtros
  • Numbers
    Greer Fitting / Melvin Fitting
    The various number systems are usually taken for granted by most people, and rightly so.  But at least once in the career of every person seriously interested in mathematics, they should be looked at with a critical eye.  Why were they created, and why are their properties what they are?  Numbers is intended to be a readable but rigorous book that addresses these points.  Edmun...
    Disponible

    20,27 €

  • First-Order Logic and Automated Theorem Proving
    Melvin Fitting
    There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien­ tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within ...
    Disponible

    121,36 €

  • Incompletetude Na Terra DOS Conjuntos
    Melvin Fitting / Jaime Ramos
    Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da lógica matemática no contexto da teoria de conjuntos. Os resultados correspondentes para a aritmética conseguemse obter facilmente a partir destes e são também apresentados. Evita-se, em geral, o recurso à enumeração de Gödel, exceto quando se estabelece uma relação explícita entre a teoria de conjunt...
    Disponible

    21,70 €