Informatica Libri
Libri pubblicati nella collana Informatica Logica matematica
Prossime uscite della collana Informatica
Libri previsti in uscita su Unilibro.it:
- 9788848181617 Autodesk Revit 2027 per l'architettura
- 9788848137980 Autodesk 3DS Max 2019. Guida per architetti, progettisti e designer
Strutture, logica, linguaggi. Ediz. Mylab. Con Contenuto digitale per download e accesso online Carlucci Aiello Luigia Pirri Fiora - Pearson, 2018 - Informatica
Il libro nasce dall'esperienza pluriennale di insegnamento da parte delle autrici nei corsi di Linguaggi e sistemi formali. Quasi tutti i capitoli sono stati testati durante lo svolgimento di vari corsi e raccolgono il feedback degli studenti. Molti degli esercizi proposti sono stati assegnati come esercizi d'esame. Il libro è di impianto teorico, non legato a tecnologie specifiche, destinate a diventare obsolete. Affronta tre argomenti principali: matematica discreta, logica, linguaggi formali e modelli di calcolo. In più contiene un'appendice con una veloce trattazione della calcolabilità e della complessità computazionale. Nell'edizione è compresa nel prezzo la piattaforma online MyLab, contenente la versione digitale del volume.
Logica simbolica Masini Andrea - Mcgraw-Hill Education, 2023 - Informatica
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 Fuzzy. Fondamenti teorici e applicazioni pratiche Veronesi Massimiliano Visioli Antonio - Franco Angeli, 2003 - Informatica
Logica Fuzzy. Fondamenti teorici e applicazioni pratiche - Franco Angeli