Dopo aver considerato come spesso viene presentata la logica, si cercano la ragioni per studiare un linguaggio in matematica, e di introdurre un linguaggio formale adatto a descrivere strutture. Descritto il linguaggio formale, si presentano dei controlli formali sulla soddisfacibilità di insiemi di formule.
Logica: un problema didattico
FERRO, Ruggero
1994-01-01
Abstract
Dopo aver considerato come spesso viene presentata la logica, si cercano la ragioni per studiare un linguaggio in matematica, e di introdurre un linguaggio formale adatto a descrivere strutture. Descritto il linguaggio formale, si presentano dei controlli formali sulla soddisfacibilità di insiemi di formule.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
