Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: jdcc en 11 Junio, 2011, 03:29 am

Título: Lógica Proposicional ; Lógica de orden 0
Publicado por: jdcc en 11 Junio, 2011, 03:29 am
Hola, pues llevo la clase de Lógica Matemática , me dejaron bastantes ejercicios pero no logro encontrar algún libro con los temas que hemos visto, como por ejemplo funciones recursivas, función de profundidad,función de Ackermann, cerraduras inductivas, conjuntos PROP y EXPR, cadenas, alfabetos,valuaciones, función sim, aritmética modular, etc.

He buscado en muchos libros de Lógica y Matemáticas Discretas pero solo encuentro los temas de Relaciones , Funciones y Lógica de primer orden, pero en ninguno he encontrado algo de lo que me piden, lo que más me urge entender es que son los conjuntos PROP y EXPR, además de entender que es una Cerradura Inductiva, Cadenas y Alfabetos,y las Valuaciones, si alguien me puede aconsejar algún libro , página  o tutorial o manual le estaría muy agradecido : ).