KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012
Libro adottato a Salerno, a.a. 2026/2027 · 4 canali
«KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012» è adottato per Metodi Matematici per L'Informatica dal prof. Clelia De Felice (Informatica – sede di Fisciano – Salerno); per Metodi Matematici per L'Informatica dal prof. Rocco Zaccagnino (Informatica – sede di Fisciano – Salerno); per Metodi Matematici per L'Informatica dal prof. Adele Anna Rescigno (Informatica – sede di Fisciano – Salerno); per Metodi Matematici per L'Informatica dal prof. Alessia Auriemma Citarella (Informatica – sede di Fisciano – Salerno).
KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012Cerca su Amazon ›
Come lo indica il docente: KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012
KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012questo libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
SLIDES DELLE LEZIONI DISPONIBILI SUL SITO DEL CORSO OSPITATO DA HTTPS://ELEARNING.INFORMATICA.UNISA.IT/
Argomenti del programma: • ELEMENTI DI LOGICA (10 ORE): LOGICA PROPOSIZIONALE E SUE APPLICAZIONI, EQUIVALENZE PROPOSIZIONALI. • ELEMENTI DI LOGICA (12 ORE): PREDICATI E QUANTIFICATORI. •METODI E STRATEGIE DI DIMOSTRAZIONE (6 ORE). • CENNI SU INSIEMI, OPERAZIONI SU INSIEMI, FUNZIONI, CARDINALITÀ (4 ORE). • INDUZIONE E RICORSIONE (16 ORE): INDUZIONE, DEFINIZIONI RICORSIVE, INDUZIONE STRUTTURALE, ALGORITMI RICORSIVI.
KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012questo libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
Argomenti del programma: • ELEMENTI DI LOGICA (10 ORE): LOGICA PROPOSIZIONALE E SUE APPLICAZIONI, EQUIVALENZE PROPOSIZIONALI. • ELEMENTI DI LOGICA (12 ORE): PREDICATI E QUANTIFICATORI. •METODI E STRATEGIE DI DIMOSTRAZIONE (6 ORE). • CENNI SU INSIEMI, OPERAZIONI SU INSIEMI, FUNZIONI, CARDINALITÀ (4 ORE). •INDUZIONE E RICORSIONE (16 ORE): INDUZIONE, DEFINIZIONI RICORSIVE, INDUZIONE STRUTTURALE, ALGORITMI RICORSIVI.
KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012questo libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
Argomenti del programma: • ELEMENTI DI LOGICA (10 ORE): LOGICA PROPOSIZIONALE E SUE APPLICAZIONI, EQUIVALENZE PROPOSIZIONALI. • ELEMENTI DI LOGICA (12 ORE): PREDICATI E QUANTIFICATORI. •METODI E STRATEGIE DI DIMOSTRAZIONE (6 ORE). • CENNI SU INSIEMI, OPERAZIONI SU INSIEMI, FUNZIONI, CARDINALITÀ (4 ORE). •INDUZIONE E RICORSIONE (16 ORE): INDUZIONE, DEFINIZIONI RICORSIVE, INDUZIONE STRUTTURALE, ALGORITMI RICORSIVI.
KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012questo libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
Argomenti del programma: • ELEMENTI DI LOGICA (10 ORE): LOGICA PROPOSIZIONALE E SUE APPLICAZIONI, EQUIVALENZE PROPOSIZIONALI. • ELEMENTI DI LOGICA (12 ORE): PREDICATI E QUANTIFICATORI. •METODI E STRATEGIE DI DIMOSTRAZIONE (6 ORE). • CENNI SU INSIEMI, OPERAZIONI SU INSIEMI, FUNZIONI, CARDINALITÀ (4 ORE). •INDUZIONE E RICORSIONE (16 ORE): INDUZIONE, DEFINIZIONI RICORSIVE, INDUZIONE STRUTTURALE, ALGORITMI RICORSIVI.
Libri Universitari