Stai navigando la collana Magika
dell'editore Magika
Questa collana contiene 3 libri.
1954-2014. Sessanta anni della Galleria e delle sue collezioni a Palazzo Abatellis
di G. BarberaSono trascorsi sessanta anni da quando le ricche raccolte di arte medievale e moderna, fino ad allora conservate nel Museo Nazionale di Palermo nella ex Casa dei Padri Filippini all'Olivella, sono...
Al momento non disponibile, ordinabile in 3 settimane circa Aggiungi a lista dei desideri
Prezzo: € 38,00
Editore: Magika
ISBN: 9788889525364
Collana: Magika
Anno Edizione: 2015
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
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