Logica de predicados como modelo de datos
From Ibbddunq
(Difference between revisions)
| Line 41: | Line 41: | ||
Qagm5 | Qagm5 | ||
| - | La condición de aprobación la puedo | + | La condición de aprobación la puedo definir con esta fórmula |
| - | &# | + | ∀xyz ((∃w Pxyzw ∧ w ≥ 7) ∨ (∃w Qxyzw ∧ w ≥ 4)) ↔ Rxyz) |
Current revision as of 21:15, 2 January 2008
| Pxyzw | el alumno x cursó la materia y en el cuatrimestre z, obteniendo la nota w |
| Qxyzw | el alumno x rindió el examen integrador de la materia y correspondiente al cuatrimestre z, obteniendo la nota w |
| Rxyz | el alumno x aprobó la materia y en el cuatrimestre z |
| a | Juan López, legajo 143/2 |
| b | Roque Granata, legajo 201/9 |
| c | Agustín Bal, legajo 322/8 |
| d | José de Zer, legajo 128/1 |
| e | Lucas E. Rito, legajo 131/4 |
| f | Introducción a la Programación |
| g | Organización y Arquitectura I |
| m | 1er cuatrimestre de 2008 |
| n | 2do cuatrimestre de 2008 |
Los hechos pueden describirse mediante estas fórmulas
Pagm6 (Juan López cursó Orga 1 en el 1ro de 2008 y se sacó 6) Pbgm8 Pcgm2 Pdfm9 Pefm5 Qagm5
La condición de aprobación la puedo definir con esta fórmula
∀xyz ((∃w Pxyzw ∧ w ≥ 7) ∨ (∃w Qxyzw ∧ w ≥ 4)) ↔ Rxyz)
