-
Programación Lógica Filosofia del paradigma La mayoría de los Lenguajes de Programación se basan en la Teoría Lógica de Pri...
-
Particularizacion Universal Generalizacion Universal Particularizacion Existencial -
Son reglas que justifican los pasos de una demostracion: Estas reglas se derivan de tautologıas basicas de la forma ´ “A ⇒ B” Esto es porqu...
No hay comentarios:
Publicar un comentario