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. Das Urheberrecht an bibliographischen und produktbeschreibenden Daten und an den bereitgestellten Bildern liegt bei Informazioni Editoriali, I.E. S.r.l., oder beim Herausgeber oder demjenigen, der die Genehmigung erteilt hat. Alle Rechte vorbehalten.

Product details

• Authors: Andrea Masini
• Publisher: McGraw-Hill Education
• Languages: Italian
• Product format: Paperback / Softback
• Released: 11.07.2023
• EAN: 9788838611360
• ISBN: 978-88-386-1136-0
• No. of pages: 470
• Dimensions: 170 mm x 240 mm x 27 mm
• Weight: 648 g
• Series: Informatica; McGraw-Hill Education
• Subject: Natural sciences, medicine, IT, technology > Mathematics > Basic principles