Tavole semantiche e problemi di decidibilità

Guerra, Federica (2013) Tavole semantiche e problemi di decidibilità. [Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270]
Documenti full-text disponibili:
[img]
Anteprima
 Documento PDF
Download (221kB) | Anteprima

Abstract

Trattazione del metodo delle tavole semantiche come modello per la ricerca della validità logica o insoddisfacibilità di un enunciato sia proposizionale che predicativo.

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Guerra, Federica
Relatore della tesi
Plazzi, Piero
Scuola
Scienze
Corso di studio
Matematica [L-DM270]
Ordinamento Cds
DM270
Parole chiave
logica matematica tavole semantiche
Data di discussione della Tesi
13 Dicembre 2013
URI
https://amslaurea.unibo.it/id/eprint/6328

Altri metadati

Statistica sui download

Vedi altre statistiche

Gestione del documento: Visualizza il documento

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^