METODI MATEMATICI PER L'INFORMATICA

Informatica METODI MATEMATICI PER L'INFORMATICA

0512100041
DIPARTIMENTO DI INFORMATICA
CORSO DI LAUREA
INFORMATICA
2017/2018

OBBLIGATORIO
ANNO CORSO 1
ANNO ORDINAMENTO 2017
SECONDO SEMESTRE
CFUOREATTIVITÀ
432LEZIONE
216ESERCITAZIONE


Obiettivi
CONOSCENZA E CAPACITÀ DI COMPRENSIONE
LO STUDENTE DOVRÀ AVERE CONOSCENZA:
•DI SEMPLICI STRUMENTI LOGICI, IN PARTICOLARE DELLA LOGICA DELLE PROPOSIZIONI E DELLA LOGICA DEI PREDICATI E DEL RAGIONAMENTO LOGICO CHE È ALLA BASE DELLE TECNICHE DI DIMOSTRAZIONE.
•DEI CONCETTI DI INDUZIONE, RICORSIONE E INDUZIONE STRUTTURALE

CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE
LO STUDENTE DOVRÀ ESSERE CAPACE DI:
•FORMALIZZARE IN MANIERA RIGOROSA, UTILIZZANDO CONCETTI E TECNICHE DEL RAGIONAMENTO MATEMATICO E LOGICO, SEMPLICI PROBLEMI FORMULATI IN LINGUAGGIO NATURALE E RELATIVI A INSIEMI, STRINGHE, NUMERI, ALBERI O GRAFI; DIMOSTRARE SEMPLICI ENUNCIATI SU INSIEMI O NUMERI.
•UTILIZZARE INDUZIONE, RICORSIONE E INDUZIONE STRUTTURALE.
Prerequisiti
LO STUDENTE DOVREBBE AVERE BUONA PREPARAZIONE LINGUISTICA E CONOSCENZE MATEMATICHE DELLA SCUOLA SUPERIORE.
Contenuti
•ELEMENTI DI LOGICA: LOGICA PROPOSIZIONALE E SUE APPLICAZIONI, EQUIVALENZE PROPOSIZIONALI, PREDICATI E QUANTIFICATORI, METODI E STRATEGIE DI DIMOSTRAZIONE DIRETTE E INDIRETTE. CENNI SU INSIEMI, OPERAZIONI SU INSIEMI, FUNZIONI, CARDINALITÀ.
•INDUZIONE E RICORSIONE: INDUZIONE, DEFINIZIONI RICORSIVE, INDUZIONE STRUTTURALE, ALGORITMI RICORSIVI.
Metodi Didattici
LEZIONI FRONTALI COMPRENSIVE DI ESERCITAZIONI. VERRANNO UTILIZZATI ESEMPI PER ILLUSTRARE I CONCETTI, RELAZIONARE ARGOMENTI DIFFERENTI E INTRODURRE APPLICAZIONI.
Verifica dell'apprendimento
LA VERIFICA DELL’APPRENDIMENTO DEI CONCETTI DI BASE PREVISTI DALL’INSEGNAMENTO ED ELENCATI NELLA SEZIONE “CONTENUTI DEL CORSO” E DELLA CAPACITÀ DI APPLICARE TALI CONCETTI COME DESCRITTO NELLA SEZIONE “OBIETTIVI”, AVVERRÀ ATTRAVERSO DUE PROVE IN ITINERE OPPURE UNA PROVA COMPLETA, CONSISTENTE IN UNA PROVA SCRITTA E UN ESAME ORALE.

Testi
KENNETH D. ROSEN, DISCRETE MATHEMATICS AND ITS APPLICATIONS, SEVENTH EDITION, MCGRAW-HILL, 2012

TESTO DI CONSULTAZIONE E APPROFONDIMENTO:
KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012

Altre Informazioni
SITO DELLA PIATTAFORMA DI E-LEARNING:
HTTP://ELEARNING.INFORMATICA.UNISA.IT/EL-PLATFORM/

CONTATTI DEL DOCENTE:
DEFELICE@DIA.UNISA.IT
HTTP://DOCENTI.UNISA.IT/001119/HOME
  BETA VERSION Fonte dati ESSE3 [Ultima Sincronizzazione: 2019-05-14]