OFA - LOGICA

Ingegneria Gestionale OFA - LOGICA

OFA0612604
DIPARTIMENTO DI INGEGNERIA INDUSTRIALE
CORSO DI LAUREA
INGEGNERIA GESTIONALE
2021/2022

ANNO CORSO
ANNO ORDINAMENTO 2018
PRIMO SEMESTRE
CFUOREATTIVITÀ
060LEZIONE
Obiettivi
L'INSEGNAMENTO OFFRE UN'INTRODUZIONE ALLA LOGICA, UNA CONOSCENZA CRITICA DEI CONNETTIVI LOGICI, DEI QUANTIFICATORI E DELLE NORME CHE LI REGOLANO. OBIETTIVO DEL CORSO È ACQUISIRE LA CONSAPEVOLEZZA TEORICA E PRATICA CHE LO STUDIO DELLE DEDUZIONI MEDIANTE GLI STRUMENTI DELLA LOGICA ABITUA ALL'IMPIEGO APPROPRIATO E CONSAPEVOLE DEL LINGUAGGIO NATURALE, ESERCITA LA PRECISIONE E IL RIGORE NELLE ARGOMENTAZIONI, E AIUTA A ORGANIZZARE CON COERENZA I DISCORSI E LA NOSTRA ATTIVITÀ DI RAGIONAMENTO.
Prerequisiti
CONOSCENZE DI BASE DI TEORIA DEGLI INSIEMI
Contenuti
INSIEMISTICA: NOTAZIONI. RAPPRESENTAZIONI DI UN INSIEME. ALGEBRA DEGLI INSIEMI. OPERAZIONE TRA INSIEMI.
LINGUAGGIO. TRASFORMAZIONI DAL LINGUAGGIO QUOTIDIANO AL LINGUAGGIO DELLA LOGICA. AMBIGUITÀ E CONNETTIVI NEL LINGUAGGIO NATURALE.
LOGICA PROPOSIZIONALE. SINTASSI E SEMANTICA. PROPOSIZIONI E VERITÀ. I CONNETTIVI E LORO PROPRIETÀ. TAUTOLOGIE E CONTRADDIZIONI. IMPLICAZIONE ED EQUIVALENZA LOGICA. INSIEMI DI VERITÀ. RELAZIONE TRA CONNETTIVI E INSIEMI.
LOGICA DEI PREDICATI. I QUANTIFICATORI ESISTENZIALE E UNIVERSALE. LE QUATTRO REGOLE LOGICHE FONDAMENTALI PER I QUANTIFICATORI. ALCUNE REGOLE RELATIVE AI RAPPORTI FRA QUANTIFICATORI E CONNETTIVI.
DEDUZIONE. LE REGOLE DI DEDUZIONE. ASSIOMI, TEOREMI, FRASI IPOTETICHE. SILLOGISMI.
Metodi Didattici
LE METODOLOGIE DIDATTICHE MESSE IN CAMPO PER L’EROGAZIONE DELLE LEZIONI HANNO RIGUARDATO PRINCIPALMENTE ATTIVITÀ PEER TO PEER, BRAINSTORMING E PROBLEM SOLVING.
Verifica dell'apprendimento
LA PROVA DI ESAME È FINALIZZATA A VALUTARE: LA CONOSCENZA E LA COMPRENSIONE DEI CONCETTI PRESENTATI AL CORSO.
LA PROVA DI ESAME SARA' UN QUIZ CON DOMANDE A SCELTA MULTIPLA
Testi
DIAPOSITIVE E MATERIALE DEL CORSO
  BETA VERSION Fonte dati ESSE3 [Ultima Sincronizzazione: 2022-11-21]