Compiti ed esercitazioni VERIFICATO
Linguaggi formali
16 visualizzazioni
7 download
Nessun voto ancora
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Nomi degli studenti del corso di diploma in informatica di Milano: { t | tS∈STUDENTE ( t [Nome] = tS[Nome] ∧ tS[Città] = "Milano" ∧ tS[C-Dip] = "Inf") }
- Nomi degli studenti che hanno almeno un 30: { t | tS∈STUDENTE, tE∈ESAME ( t [Nome] = tS[Nome] ∧ tS[Matr] = tE[Matr] ∧ tE[Voto] = 30 ) }
- Nomi degli studenti che hanno preso almeno un 30 e non hanno mai preso meno di 24: { t | tS∈STUDENTE, tE∈ESAME ( t [Nome] = tS[Nome] ∧ tS[Matr] = tE[Matr] ∧ tE[Voto] = 30 ) ∧ ¬( tE2∈ESAME ( tS[Matr] = tE2[Matr] ∧ tE2[Voto] < 24 )) }
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.