Offerta Didattica

 

INFORMATICA

LOGICA PER INFORMATICA

Classe di corso: L-31 - Scienze e tecnologie informatiche
AA: 2021/2022
Sedi: MESSINA
SSDTAFtipologiafrequenzamoduli
MAT/02Affine/IntegrativaLiberaLiberaNo
CFUCFU LEZCFU LABCFU ESEOREORE LEZORE LABORE ESE
64024824024
Legenda
CFU: n. crediti dell’insegnamento
CFU LEZ: n. cfu di lezione in aula
CFU LAB: n. cfu di laboratorio
CFU ESE: n. cfu di esercitazione
FREQUENZA:Libera/Obbligatoria
MODULI:SI - L'insegnamento prevede la suddivisione in moduli, NO - non sono previsti moduli
ORE: n. ore programmate
ORE LEZ: n. ore programmate di lezione in aula
ORE LAB: n. ore programmate di laboratorio
ORE ESE: n. ore programmate di esercitazione
SSD:sigla del settore scientifico disciplinare dell’insegnamento
TAF:sigla della tipologia di attività formativa
TIPOLOGIA:LEZ - lezioni frontali, ESE - esercitazioni, LAB - laboratorio

Obiettivi Formativi

Il corso si propone di fornire un'introduzione agli argomenti di base della logica matematica.

Metodi didattici

Lezioni frontali ed esercitazioni. Le attività potranno anche essere eventualmente erogate in modalità blended e-learning. Il corso, al fine di raggiungere gli obiettivi formativi previsti, si svolge sia attraverso lezioni frontali che esercitazioni con lo scopo di stimolare l’approccio ai problemi con autonomia e senso critico. Supporti alla didattica: Dispense complete del corso e tracce d'esame fornite dal docente.

Prerequisiti

Le nozioni di base del Corso di Matematica Discreta.

Verifiche dell'apprendimento

Prova scritta finale per verificare il grado di preparazione raggiunto e la capacità di applicare le conoscenze acquisite per risolvere esercizi inerenti gli argomenti svolti a lezione.  La valutazione è in trentesimi.​​​​​​​

Programma del Corso

Teoria degli insiemi: ​​​​​​​ Relazioni d'ordine. Insieme ordinato. Estremo superiore. Estremo inferiore. Massimo. Minimo. Reticolo. Reticolo limitato, complementato. Algebra di Boole. ​​​​​​​ Il calcolo proposizionale: Operatori Booleiani. Formule proposizionali. Interpretazioni booleiane. Equivalenza logica. Soddisfacibilità, validità e conseguenza logica. Tableaux semantici. Dimostrazioni deduttive. Sistemi formali. Sistemi di Gentzen. Sistemi di Hilbert. Correttezza e completezza dei diversi sistemi. Il calcolo predicativo: Variabili e costanti individuali. Predicati,costante predicativa. Funzione, costante funzionale. I quantificatori. Formule predicative. Interpretazioni. Soddisfacibilità e validità. Equivalenza logica. Tableaux semantici.

Testi di riferimento: M. Ben-Ari, Logica Matematica per l'informatica, UTET (1998) A. Facchini, Algebra e matematica discreta, Decibel G. Lolli, Introduzione alla logica formale, II Mulino (1991)

Elenco delle unità didattiche costituenti l'insegnamento

Docente: MARILENA CRUPI

Orario di Ricevimento - MARILENA CRUPI

GiornoOra inizioOra fineLuogo
Martedì 11:00 13:00"Polifunzionale" (Studio del docente) o IN MODALITA' TELEMATICA, sulla piattaforma TEAMS, anche in orario e giorno diverso, previo appuntamento tramite e-mail.
Note:
  • Segui Unime su:
  • istagram32x32.jpg
  • facebook
  • youtube
  • twitter
  • UnimeMobile
  • tutti