Marco4

About

Username
Marco4
Joined
Visits
17
Last Active
Roles
Member
Posts
5

Comments

  • Nessuno che ha fatto l'orale e può dare una mano scrivendo le domande che ha fatto il professore?
  • Anche questa volta hanno fatto uno scritto con tre domande da fare in un ora e da discutere molto velocemente col professore: 1- Definire il concetto di albero di derivazione rispetto ad una grammatica. Dare un esempio di albero di derivazione su…
  • -Voto scritto 21- *Che cos'é una tautologia *Semantica della logica del primo ordine e interpretazione *Quando é soddisfatta una tripla *Come funzionano le ipotesi di terminazione e progresso *Dimostrare una tripla con il while *
  • -Voto scritto 21- *Che cos'é una tautologia *Semantica della logica del primo ordine e interpretazione *Quando é soddisfatta una tripla *Come funzionano le ipotesi di terminazione e progresso *Dimostrare una tripla con il while *Ambiguitá co…
  • -Voto scritto 30- *legge generale dell'intervallo e vari ragionamenti su quantificatore universale, esistenziale, sommatoria, etc *come si comportano quantificatore universale, esistenziale, massimo e minimo su un dominio vuoto *cos'è un proof …