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.
Logica simbolica
| Titolo | Logica simbolica |
| Autore | Andrea Masini |
| Collana | Informatica |
| Editore | McGraw-Hill Education |
| Formato |
Libro: Libro in brossura |
| Pagine | 470 |
| Pubblicazione | 07/2023 |
| ISBN | 9788838611360 |
Libri dello stesso autore
La medicina della mente. Storia e metodo della psicoterapia di gruppo
Daniela Colamedici, Andrea Masini, Gioia Roccioletti
L'Asino d'Oro
La stampa periodica milanese della prima metà dell'Ottocento: testi e concordanze
Stefania De Stefanis Ciccone, Ilaria Bonomi, Andrea Masini
Giardini