Risultati della ricerca

Abbiamo trovato 3 libri cercando Gaetana Restuccia.

Introduzione alle teoria dei linguaggi

Introduzione alle teoria dei linguaggi

di Gaetana Restuccia, Mariafortuna Paratore
Nel 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

Modelli canonici di Herbrand e modelli numerabili

di Gaetana Restuccia, Mariafortuna Paratore
Il 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
Metodi omologici in algebra commutativa

Metodi omologici in algebra commutativa

di Gaetana Restuccia
Fondamentali invarianti numerici di un anello locale noetheriano R o di un R-modulo finitamente generato possono essere letti via proprietà di associati complessi di moduli, tra i quali spicca il...
Al momento non disponibile, ordinabile in 3 settimane circa Aggiungi a lista dei desideri

Prezzo: € 15,00
Editore: Magika
ISBN: 9788889525586
Collana:
Anno Edizione: 2014