Logica simbolica di Masini Andrea - Bookdealer | I tuoi librai a domicilio
Menu principale

Con ogni acquisto su Bookdealer sostieni una libreria indipendente del territorio.

Logica simbolica
Masini Andrea

Logica simbolica

Editore: McGraw-Hill Education

Reparto: Matematica

ISBN: 9788838611360

Data di pubblicazione: 11/07/2023

Numero pagine: 470

Collana: Informatica


37,00€
Si fa attendere

Sinossi

Il manuale è rivolto agli studenti universitari dei corsi di laurea triennali e magistrali in Informatica e Matematica, nonché a chiunque desideri intraprendere uno studio approfondito della logica simbolica con un'attenzione prevalente agli aspetti matematici rispetto a quelli filosofico-linguistici. Il testo nasce dall'esperienza dell'autore nell'insegnamento della logica simbolica, nonché dalla sua pluriennale attività di ricerca nel campo della logica matematica. Gli argomenti trattati sono stati scelti tra quelli considerati rilevanti a livello sia nazionale sia internazionale - compresi quelli di natura istituzionale - e spaziano dalle nozioni di base della logica simbolica alle tematiche più avanzate come la teoria della dimostrazione e la teoria assiomatica degli insiemi.

Altro

Prodotti Correlati


Mostra altri

Recensioni dei lettori


5% di sconto sul tuo primo ordine

Registrati gratuitamente e ottieni subito un codice sconto per il tuo primo acquisto.