Logica simbolica
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.
-
Autore:
-
Editore:
-
Collana:
-
Anno edizione:2023
-
In commercio dal:11 luglio 2023
Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.
Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it