Muestra las diferencias entre dos versiones de la página.
|
introalg:cursado12 [2012/05/24 19:55] pedro digesto de cálculo de predicados |
introalg:cursado12 [2012/05/24 19:55] (actual) pedro |
||
|---|---|---|---|
| Línea 44: | Línea 44: | ||
| * {{:introalg:digesto-final.pdf|}} | * {{:introalg:digesto-final.pdf|}} | ||
| * {{:introalg:practico7.pdf|}} | * {{:introalg:practico7.pdf|}} | ||
| - | * {{:introalg:digesto_Predicados.pdf|}} | + | * Axiomas y Teoremas Básicos del Cálculo de Predicados {{:introalg:digesto_Predicados.pdf|}} |
| ===== Bibliografía ===== | ===== Bibliografía ===== | ||