¿Qué son un buen recurso para el aprendizaje de lógica / cálculo de predicado?

Question

Estoy tratando de aprender lógica.

Y estoy en busca de algunos buenos recursos en él:

¿He visto que aprendo mejor cuando puedo programar por lo que me preguntaba si había un lenguaje de programación de la 'lógica'?

¿Tal vez un tutorial interactivo?

¿Tal vez muchos ejemplos, algo así como: lógica por ejemplo?

¿O al menos algunos libros bastante básicos?

TIA

Answer 1

Introducción a la Lógica: la Lógica de Predicado por Pospesel es el texto probablemente más frecuentemente asociados con el tema introductorio de los estudiantes desde una perspectiva puramente académico.

Si usted realmente desea el código en los lenguajes que se basan en la lógica de predicado (lógica de programación es el más formal término), hay un par de opciones:

• Prolog es fácilmente el más conocido y sin duda el mejor documentado de la lógica del lenguaje de programación
• Oz es un menos conocido alternativa que incorpora una serie de más moderno lenguaje de programación características como la simultaneidad y la orientación a objetos (moderno Prólogo de implementaciones suelen añadir algunos de estos a la lengua, pero nunca parece un ajuste natural para el lenguaje)
• Castor es una forma bastante común de la biblioteca de C++ que se construye un modelo de lógica dentro de la sintaxis de C++

Answer 2

Hay un montón de buenos libros sobre lógica simbólica, lógica de comprensión simbólica siendo uno.

Sin embargo, no muchos de ellos con un enfoque de "programación", Camino de Haskell y lógica, matemáticas, programación que tal una joya.