MATHEMATICAL METHODS FOR COMPUTER SCIENCE

Computer science MATHEMATICAL METHODS FOR COMPUTER SCIENCE

0512100041
COMPUTER SCIENCE
EQF6
COMPUTER SCIENCE
2022/2023

OBBLIGATORIO
YEAR OF COURSE 1
YEAR OF DIDACTIC SYSTEM 2017
SPRING SEMESTER
CFUHOURSACTIVITY
432LESSONS
216EXERCISES


Objectives
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.
Prerequisites
LO STUDENTE DOVREBBE AVERE BUONA PREPARAZIONE LINGUISTICA E CONOSCENZE MATEMATICHE DELLA SCUOLA SUPERIORE.
Contents
CONTENUTI/PROGRAMMA
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À (24 ORE)
INDUZIONE E RICORSIONE: INDUZIONE, DEFINIZIONI RICORSIVE, INDUZIONE STRUTTURALE, ALGORITMI RICORSIVI (24 ORE)
Teaching Methods
LEZIONI FRONTALI COMPRENSIVE DI ESERCITAZIONI. VERRANNO UTILIZZATI ESEMPI PER ILLUSTRARE I CONCETTI, RELAZIONARE ARGOMENTI DIFFERENTI E INTRODURRE APPLICAZIONI.
Verification of learning
LA VERIFICA DELLAPPRENDIMENTO DEI CONCETTI DI BASE PREVISTI DALLINSEGNAMENTO 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.

LE PROVE DESAME SONO TESE A VALUTARE IL LIVELLO DELLE CONOSCENZE TEORICHE E DELLA CAPACITÀ DI APPLICARE TALI CONOSCENZE, NONCHÉ LE CAPACITÀ ESPOSITIVE DELLALLIEVO. LA VALUTAZIONE DELLE PROVE TIENE CONTO DELLA COMPLETEZZA ED ESATTEZZA DELLE RISPOSTE, NONCHÉ DELLA CHIAREZZA NELLA PRESENTAZIONE. AL TERMINE DELLE PROVE DESAME, IL LIVELLO DI VALUTAZIONE MINIMO (18) È ATTRIBUITO QUANDO LO STUDENTE HA UNA CONOSCENZA LIMITATA DEGLI STRUMENTI LOGICI STUDIATI E DEI CONCETTI DI INDUZIONE E RICORSIONE E DIMOSTRA INCERTEZZE NELLAPPLICAZIONE DI TALI CONOSCENZE.

IL LIVELLO MASSIMO (30) È ATTRIBUITO QUANDO LO STUDENTE DIMOSTRA UNA CONOSCENZA COMPLETA ED APPROFONDITA DEI CONCETTI E DEI METODI STUDIATI, È IN GRADO DI RISOLVERE I PROBLEMI PROPOSTI PERVENENDO IN MODO EFFICIENTE ED ACCURATO ALLA SOLUZIONE E MOSTRA CAPACITÀ DI COLLEGARE TRA LORO CONCETTI DIVERSI.

LA LODE VIENE ATTRIBUITA QUANDO IL CANDIDATO DIMOSTRA SIGNIFICATIVA PADRONANZA DEI CONTENUTI TEORICI E MOSTRA DI SAPER PRESENTARE GLI ARGOMENTI CON NOTEVOLE PROPRIETÀ DI LINGUAGGIO E CAPACITÀ DI ELABORAZIONE AUTONOMA.
Texts
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
More Information
PER IL PROGRAMMA DETTAGLIATO E ULTERIORI INFORMAZIONI SI FACCIA RIFERIMENTO ALLA PIATTAFORMA DI ELEARNING (HTTP://ELEARNING.INFORMATICA.UNISA.IT)
  BETA VERSION Data source ESSE3 [Ultima Sincronizzazione: 2022-10-03]