1
Talleres de matemáticas discretas. Texto, lógica y conjuntos.

Talleres de matemáticas discretas. Texto, lógica y conjuntos.

Manuel Sierra Aristizábal
سال:
2010
زبان:
spanish
فائل:
PDF, 2.13 MB
0 / 5.0
spanish, 2010
2
Inferencia visual para la lógica básica paraconsistente y paracompleta.

Inferencia visual para la lógica básica paraconsistente y paracompleta.

Manuel Sierra Aristizabal
سال:
2003
زبان:
spanish
فائل:
PDF, 1.69 MB
0 / 5.0
spanish, 2003
3
Árboles de forzamiento semántico para la Lógica Básica con afirmación y negación alternas.

Árboles de forzamiento semántico para la Lógica Básica con afirmación y negación alternas.

Sierra Aristizabal, Manuel
سال:
2004
زبان:
spanish
فائل:
PDF, 680 KB
0 / 5.0
spanish, 2004
4
Inferencia Visual para la Lógica Básica. Paraconsistente y paracompleta.

Inferencia Visual para la Lógica Básica. Paraconsistente y paracompleta.

Sierra Aristizábal, Manuel
سال:
2003
زبان:
spanish
فائل:
PDF, 1.69 MB
0 / 5.0
spanish, 2003
5
Árboles de forzamiento semántico para la lógica básica con afirmación y negación alternas.

Árboles de forzamiento semántico para la lógica básica con afirmación y negación alternas.

Manuel Sierra Aristizabal
سال:
2004
زبان:
spanish
فائل:
PDF, 680 KB
0 / 5.0
spanish, 2004