Imagen de Coce

Handbook of logic and proof techniques for computer science [Material Impreso] / Steven G. Krantz

Por: Krantz, Steven GDatos de publicación: Boston: Birkhäuser, (c)2002Descripción: 245 p. il. 17 x 25 cm IMPRESOISBN: 978-0-8176-4220-4Tema(s): LOGICA COMPUTACIONAL | MATEMATICASResumen: Contenido: 1. Notation and first-order logic - 2. Semantics and syntax - 3. Axiomatics and formalism in mathematics - 4. The axioms of set theory - 5. Elementary set theory - 6. Recursive functions - 7. The number systems - 8. Methods of mathematical proof - 9. The axion of choice - 10. Proof theory - 11. Category theory - 12. Complexity theory - 13. Boolean algebra - 14. The word problem.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca de origen Signatura topográfica Estado Fecha de vencimiento Código de barras
Libro Sala Libro Sala Centro 511.3 KRA Disponible C039563

Incluye Indice analítico.

Incluye Bibliografía.

Contenido: 1. Notation and first-order logic - 2. Semantics and syntax - 3. Axiomatics and formalism in mathematics - 4. The axioms of set theory - 5. Elementary set theory - 6. Recursive functions - 7. The number systems - 8. Methods of mathematical proof - 9. The axion of choice - 10. Proof theory - 11. Category theory - 12. Complexity theory - 13. Boolean algebra - 14. The word problem.

Inglés.

No hay comentarios en este titulo.

para colocar un comentario.