Libro
Logica simbolica
- Autore
- Andrea Masini
- Editore
- McGraw-Hill Education
- Collana
- Informatica
- Data di pubblicazione
- 11 luglio 2023
- Lingua
- Italiano
- Pagine
- 470
- Formato
- Brossura
- ISBN
- 9788838611360
37,00 €
IVA inclusa
+1,85 € di ricompensa
Disponibile subito
Tempi di consegna: Spedizione avviata il giorno lavorativo successivo all'ordine.
Addebito solo all'avvio della consegna. Modalità di pagamento
E-book non acquistabile
37,00 €
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.
Altri libri di Andrea Masini
Altri libri della collana «Informatica»
Vedi tutti
Ricordati che otterrai la ricompensa del 5 per cento del prezzo di copertina quando acquisterai una copia di questo libro. La ricompensa potrà essere utilizzata per pagare i tuoi prossimi acquisti, oppure essere convertita in codici voucher o bonificata sul tuo conto bancario.