Este libro intenta explicar con rigor y con claridad losconceptos básicos de la lógicamatemática, y su utilización para determinar qué funciones son computables.CONTENIDO DE LA OBRA:Preliminares. Lógica proposicional. Lógica de primer orden. Computabilidad.
Artículos relacionados
Vista previa: Lógica matemática y computabilidad
Esta web utiliza cookies propias y de terceros para mejorar nuestros servicios mediante el análisis de sus hábitos de navegación. Puede obtener más información aquí o cambiar la configuración.