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

FB twitter googleplus
ricerca avanzata

chiudi

OFFERTA DEL GIORNO

Chiacchierino il Natale. Palline e Cristalli di Neve

Roma, 2015; br., pp. 64, ill. col., tavv. col., cm 21x29,5.
(Manuali. 37).

prezzo di copertina: € 10.90

Chiacchierino il Natale. Palline e Cristalli di Neve

Costo totale: € 10.90 € 56.50 aggiungi al carrello carrello

Libri compresi nell'offerta:

La Forcella. Lavori Veloci Da Realizzare e Belli Da Indossare

A cura di Manni F.
Roma, 2012; br., pp. 40, ill. b/n e col., tavv. col., cm 21x30.
(Manuali. 27).

OMAGGIO (prezzo di copertina: € 10.90)

La Forcella. Lavori Veloci Da Realizzare e Belli Da Indossare

Centrini con le Perline. 18 Lavori Inediti di Tissage Danese. 19 Hobbistica

Roma, 2013; br., pp. 48, ill. b/n e col., tavv. col., cm 21x29,5.
(Manuali. 19).

OMAGGIO (prezzo di copertina: € 10.90)

Centrini con le Perline. 18 Lavori Inediti di Tissage Danese. 19 Hobbistica

I Centrini e i Bordi. Chiacchierino. Spiegazioni. Schemi. Scuola

Roma, 2015; br., pp. 42, ill. col., cm 21x29,5.
(Manuali. 34).

OMAGGIO (prezzo di copertina: € 10.90)

I Centrini e i Bordi. Chiacchierino. Spiegazioni. Schemi. Scuola

I Gioielli di Stefy. 11 Lavori Inediti

Roma, 2016; br., pp. 56, ill. col., cm 21x30.
(Manuali).

OMAGGIO (prezzo di copertina: € 12.90)

I Gioielli di Stefy. 11 Lavori Inediti

chiudi

Logica. Metodo breve

Springer Italia

Milano, 2011; br., pp. XI-126, cm 15,5x23,5.
(Unitext).

collana: Unitext

ISBN: 88-470-1883-8 - EAN13: 9788847018839

Testo in: testo in  italiano  

Peso: 0.3 kg


In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione, la procedura di Davis-Putnam, la semantica di Tarski, l'equivalenza e la conseguenza logica, i modelli di Herbrand, gli assiomi dell'eguaglianza, le forme normali di Skolem, le refutazioni come oggetti grafici, e la costruzione di alcuni modelli non-standard. I prerequisiti matematici sono minimi: il testo è accessibile a chiunque abbia già visto qualche dimostrazione per induzione. Il manuale può essere usato come sussidiario per un primo corso di Logica Matematica per matematici e per informatici. Parti del testo possono essere di appoggio in un corso di Logica per filosofi e linguisti, soprattutto per i numerosi esercizi, mai troppo difficili, di collegamento tra logica e linguaggio naturale.

COMPRA ANCHE



OFFERTE E PROMOZIONI

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