Risultati della ricerca
Abbiamo trovato 2 libri cercando Mariafortuna Paratore.
Introduzione alle teoria dei linguaggi
di Gaetana Restuccia, Mariafortuna ParatoreNel calcolo dei predicati del primo ordine l'argomento centrale è il problema della soddisfacibilità di una formula o di un insieme di formule. Il principale scopo è dare criteri di...
Momentaneamente non ordinabile Aggiungi a lista dei desideri
Prezzo: € 10,00
Editore: Magika
ISBN: 9788889525142
Collana: Magika
Anno Edizione: 2010
Modelli canonici di Herbrand e modelli numerabili
di Gaetana Restuccia, Mariafortuna ParatoreIl modello di Herbrandt è un modello standard che permette di dimostrare teoremi importanti in Logica dei Predicati, quando non si possa disporre di un esempio concreto di modello per la...
Momentaneamente non ordinabile Aggiungi a lista dei desideri
Prezzo: € 10,00
Editore: Magika
ISBN: 9788889525159
Collana: Magika
Anno Edizione: 2010
