libreria specializzata in arte e architettura
english

email/login

password

ricordami su questo computer

invia


Hai dimenticato la tua password?
inserisci il tuo email/login qui sotto e riceverai la password all'indirizzo indicato.

invia

chiudi

ricerca avanzata

chiudi

OFFERTA DEL GIORNO

Felice Palma. Massa 1583-1625. Collezione / Collection.

Testi di Andrei Cristina, Ciarlo Nicola, Federici Fabrizio, Claudio Casini e Sara Ragni.
Testo Italiano e Inglese.
Pontedera, 2024; ril. in cofanetto, pp. 289, ill. b/n e col., tavv. b/n e col., cm 24,5x34.
(L'Oro Bianco. Straordinari Dimenticati. The White Gold Forgotten Masters).

prezzo di copertina: € 160.00

Felice Palma. Massa 1583-1625. Collezione / Collection.

Costo totale: € 160.00 € 314.49 aggiungi al carrello carrello

Libri compresi nell'offerta:

Felice Palma. Massa 1583-1625. Collezione / Collection.

Testi di Andrei Cristina, Ciarlo Nicola, Federici Fabrizio, Claudio Casini e Sara Ragni.
Testo Italiano e Inglese.
Pontedera, 2024; ril. in cofanetto, pp. 289, ill. b/n e col., tavv. b/n e col., cm 24,5x34.
(L'Oro Bianco. Straordinari Dimenticati. The White Gold Forgotten Masters).

OMAGGIO (prezzo di copertina: € 160.00)

Felice Palma. Massa 1583-1625. Collezione / Collection.

Le botteghe del marmo

Testo Italiano e Inglese.
Ospedaletto, 1992; ril., pp. 153, 10 ill. b/n, 60 ill. col., cm 24x29.
(Immagine).

OMAGGIO (prezzo di copertina: € 34.49)

Le botteghe del marmo

Museo Stefano Bardini. I Bronzetti e gli Oggetti d'Uso in Bronzo

A cura di Nesi A.
Firenze, 2009; br., pp. 191, 102 ill. b/n, 7 ill. col., cm 17x24,5.
(Museo Stefano Bardini).

OMAGGIO (prezzo di copertina: € 30.00)

Museo Stefano Bardini. I Bronzetti e gli Oggetti d'Uso in Bronzo

Bronzetti e Rilievi dal XV al XVIII Secolo

Bologna, 2015; 2 voll., ril. in cofanetto, pp. 729, ill., tavv. col., cm 21,5x30,5.

OMAGGIO (prezzo di copertina: € 90.00)

Bronzetti e Rilievi dal XV al XVIII Secolo

chiudi

Modelli canonici di Herbrand e modelli numerabili

Edizioni Magika

Messina, 2010; br., pp. 24, cm 21x29,5.

ISBN: 88-89525-15-0 - EAN13: 9788889525159

Testo in: testo in  italiano  

Peso: 0.14 kg


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 soddisfacibilità di una formula, è di solito infinito,ossia con supporto (insieme universo) di cardinalità infinita, se nella formula considerata compare almeno una funzione di Skolem. Ciò non diminuisce tuttavia la sua importanza, poichè è possibile trovare basi di Herbrand per la soddisfacibilità. Infatti esempi di formule non valide si trovano di solito prendendo in esame insiemi di supporto di piccola cardinalità (2 elementi). Nel Capitolo 1 di questo lavoro si studia il modello di Herbrandt e la proprietà del modello numerabile, in connessione col modello di Herbrandt. Il Capitolo 2 è dedicato allo studio dei tableaux infiniti della logica dei predicati ed alla loro modellizzazione matematica con grafi infiniti.Il risultato cruciale è che la logica fornisce una nuova classe di grafi il cui studio è molto interessante dal punto di vista matematico.

COMPRA ANCHE



OFFERTE E PROMOZIONI
€ 9.50
€ 10.00 -5%

spedito in 24h


design e realizzazione: Vincent Wolterbeek / analisi e programmazione: Rocco Barisci

Interessato ai nostri libri?

Allora iscriviti alla nostra newsletter!
Sarai informato delle nostre novità, potrai comunque cancellarti quando desideri.

modulo di iscrizione