Matemática => Lógica => Mensaje iniciado por: jdcc en 10/06/2011, 22:29:37



Título: Lógica Proposicional ; Lógica de orden 0
Publicado por: jdcc en 10/06/2011, 22:29:37
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 : ).