LIBROS DEL AUTOR: am lcar sernadas

1 resultados para LIBROS DEL AUTOR: am lcar sernadas

am lcar sernadas Eliminar filtro Quitar filtros
  • Fundamentos de L Gica E Teoria Da Computa O
    Am Lcar Sernadas / Cristina Sernadas
    O livro faculta uma introdução autossuficiente à lógica matemática e à teoria da computabilidade para alunos de matemática ou de ciência da computação. Está organizado em três partes à volta dos sucessos e fracassos do programa de Hilbert de formalização da Matemática. A Parte I aborda a questão da formalização e a computabilidade. A Parte II apresenta a lógica de primeira orde...
    Disponible

    26,61 €