Offerta Didattica

INFORMATICA

LOGICA PER INFORMATICA

Classe di corso: L-31 - Scienze e tecnologie informatiche

AA: 2015/2016

Sedi: MESSINA

SSD	TAF	tipologia	frequenza	moduli
MAT/02	Affine/Integrativa	Libera	Libera	No

CFU	CFU LEZ	CFU LAB	CFU ESE	ORE	ORE LEZ	ORE LAB	ORE ESE
6	6	0	0	48	48	0	0

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
Learning Goals

Obiettivi Formativi

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

Metodi didattici

Lezioni frontali

Teaching Methods

Prerequisiti
Prerequisites

Prerequisiti

Le nozioni di base del Corso di Matematica Discreta.

Prerequisites

Verifiche dell'apprendimento
Assessment

Verifiche dell'apprendimento

Prova scritta

Assessment

Programma del Corso
Course Syllabus

Programma del Corso

Algebra di Boole: 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.

Course Syllabus

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

Esami: Elenco degli appelli

Elenco delle unità didattiche costituenti l'insegnamento

LOGICA PER INFORMATICA

Docente: MARILENA CRUPI

Orario di Ricevimento - MARILENA CRUPI

Giorno	Ora inizio	Ora fine	Luogo
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: