Logica de predicados como modelo de datos
From Ibbddunq
(Difference between revisions)
| (One intermediate revision not shown) | |||
| Line 6: | Line 6: | ||
|Qxyzw||el alumno x rindió el examen integrador de la materia y correspondiente al 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 |
|} | |} | ||
| + | |||
| + | |||
| + | {| border="1" cellpadding="8" cellspacing="0" | ||
| + | |+'''Constantes''' | ||
| + | |- | ||
| + | |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) | ||
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)
