Autor Tema: Lógica Proposicional ; Lógica de orden 0

0 Usuarios y 1 Visitante están viendo este tema.

11 Junio, 2011, 03:29 am
Leído 634 veces

jdcc

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 12
  • Karma: +0/-0
  • Sexo: Masculino
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 : ).