Serve aiuto per la tesi? Contattaci subito!
Domanda di Luca: Software per scrivere formule ed enunciati con operatori logici?
Salve a tutti, sto cercando disperatamente un sw che mi permetta di scrivere parte della tesi che riguarda la logica-matematica modale. Quindi avrei bisogno dell’operatore di negazione, implicazione, quantificatori, operatori modali, simbolo di deduzione e di verificazione….insomma tutto!!!
Qualcuno ha qualche idea?
GRAZIE MILLE!
Luca
Migliore risposta:
Answer by Giusenzo Muscaranta
LaTex potrebbe fare al caso tuo! Può essere un ostico nella fase iniziale di apprendimento ma poi non potrai più farne a meno! Acquista un buon manuale online.
Saluti,
Giusenzo
Aggiungi la tua risposta nei commenti!
