Tavole semantiche e problemi di decidibilità
| Contribuinte(s) |
Plazzi, Piero |
|---|---|
| Data(s) |
13/12/2013
|
| Resumo |
Trattazione del metodo delle tavole semantiche come modello per la ricerca della validità logica o insoddisfacibilità di un enunciato sia proposizionale che predicativo. |
| Formato |
application/pdf |
| Identificador |
http://amslaurea.unibo.it/6328/1/Guerra_Federica_tesi.pdf Guerra, Federica (2013) Tavole semantiche e problemi di decidibilità. [Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270] <http://amslaurea.unibo.it/view/cds/CDS8010/> |
| Relação |
http://amslaurea.unibo.it/6328/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Palavras-Chave | #logica matematica tavole semantiche #scuola :: 843899 :: Scienze #cds :: 8010 :: Matematica [L-DM270] #sessione :: seconda |
| Tipo |
PeerReviewed |
