La ricerca ha trovato 2 risultati

da Davte
21/11/2020, 9:03
Forum: [LPP] Logica per la programmazione
Argomento: Aiuto dimostrazione
Risposte: 0
Visite : 2800

Aiuto dimostrazione

Nelle dispense si trova una tautologia che non riesco a dimostrare: (p implies q) and (not p implies r) equiv (p and q) or (not p and r) Provando a partire da sinistra (p implies q) and (not p implies r) equiv {Elim.-implies} (not p or q) and (p or r) equiv {Distributività} ((not p or q) and p) or (...
da Davte
16/11/2020, 14:05
Forum: [BD] Basi di dati
Argomento: Domande Orale Ghelli
Risposte: 11
Visite : 10626

Re: Domande Orale Ghelli

Appello del 04/06/2020 (su Microsoft Teams). In allegato le query chieste come pre-esame e il progetto finale (il cui codice sorgente LaTeX si trova qui ). Il professore ha fatto alcune domande sullo schema concettuale e logico relazionale del progetto consegnato, chiedendo di motivare alcune scelt...

Vai alla ricerca avanzata