FONDAMENTI DI INFORMATICA M - Z
|
|
- Giovanni Ferrari
- 4 anni fa
- Visualizzazioni
Transcript
1 DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Informatica Anno accademico 2017/ anno FONDAMENTI DI INFORMATICA M - Z INF/01-9 CFU - 1 semestre Docente titolare dell'insegnamento MARIA SERAFINA MADONIA madonia@dmi.unict.it Edificio / Indirizzo: Dipartimento di Matematica e Informatica, Viale Andrea Doria 6, Catania Telefono: Orario ricevimento: OBIETTIVI FORMATIVI Conoscenza e capacità di comprensione (knowledge and understanding): L'obiettivo del corso e' quello di far entrare in contatto lo studente con le principali teorie formali che costituiscono i fondamenti dell'informatica. Lo studente imparera' a comprendere come tutti gli aspetti dell'informatica applicata siano stati realizzati o influenzati da conoscenze sviluppate a livello teorico. Capacità di applicare conoscenza e comprensione (applying knowledge and understanding):: Per ogni teoria fondamentale affrontata, allo studente verranno mostrati esempi di suo concreto utilizzo, come l'uso di espressioni regolari in tool di editing e ricerca; l'uso delle grammatiche per lo sviluppo di compilatori; l'uso degli automi per la descrizione del comportamento di circuiti sequenziali; l'uso della logica matematica per la descrizione di specifiche di programmi e l'uso di sistemi formali per la descrizione della semantica dei linguaggi e per le dimostrazioni di correttezza dei programmi. Inoltre, utilizzando elementi di lambda-calcolo e di logica proposizionale, verra' indirizzato alla comprensione della perfetta sovrapposizione esistente tra processi computazionali e processi logico-deduttivi. Questo allo scopo anche di stimolarlo allo studio di materie come analisi e matematica discreta, che potrebbero apparire ad uno studente del primo anno troppo distanti dall'informatica e dalla programmazione. Autonomia di giudizio (making judgements): Lo studente verra' stimolato a cercare autonomamente quali aspetti dell'informatica teorica vengono utilizzati negli argomenti trattati in corsi piu' apllicativi da lui seguiti nello stesso anno, come Programmazione e Architettura degli elaboratori. Verra' inoltre stimolato a comprendere come gli argomenti di corsi come Elementi di analisi matematica e Matematica discreta potrebbero venire formalizzati nella logica matematica. Abilità comunicative (communication skills): lo studente acquisira' la capacita' di esprimere in maniera formale e non ambigua argomentazioni di tipo scientifico. Capacità di apprendimento (learning skills): Lo studente sara' messo in condizione di poter affrontare autonomamente lo studio di argomenti teorici descritti formalmente.
2 PREREQUISITI RICHIESTI Nessuno FREQUENZA LEZIONI La frequenza non è obbligatoria ma consigliata. CONTENUTI DEL CORSO Elementi di Teoria dei linguaggi formali: Alfabeto, stringa, linguaggio. Operazioni tra linguaggi. Espressioni regolari. Cardinalita' dei linguaggi. Grammatiche di Chomsky. Grammatiche ti tipo 0, 1, 2 e 3. Gerarchia di Chomsky. Forma normale di Bakus. Cosa vuol dire computare Accettazione e riconoscimento di linguaggi. Automi. Automi a stati finiti deterministici e non deterministici. Nota sugli Automi a Stati Finiti Pumping Lemma per Automi a stati finiti. Cenni di linguaggi non contestuali. Modelli computazionali e teoria della calcolabilita': Macchine di Turing. Maccchina di Turing Universale. Introduzione alla programmazione funzionale ed al Lambda-calcolo variabili libere e legate,alfa-equivalenza, sostituzione, beta-riduzione. Definizione di sistema formale. Numerali di Church, funzioni lambda-definibili. Lambda-definibilita' di funzioni ricorsive. Il teorema di Church-Rosser; unicita' della forma normale, consistenza della teoria della beta-equivalenza. Il formalismo delle funzioni primitive ricorsive e parziali ricorsive Introduzione informale alla teoria della ricorsivita' e ad alcuni risultati fondamentali. Un modello computazionale basato sulla logica: un cenno alla programmazione logica. Codici e rappresentazione informazione numerica: Codici e rappresentazione in complemento a due. Strings vs Numbers Macchine astratte Macchine astratte Realizzazione di macchine astratte; organizzazione a livelli dei sistemi di calcolo.
3 Logica: Sistemi formali. Regole derivabili ed amissibili. Alcune proprieta' dei sistemi formali. Consistenza. La Logica Proposizionale. Principali definizioni e proprieta'. Teorema di deduzione. Semantica della Logica Proposizionale. Correttezza e completezza. La Deduzione Naturale per la logica proposizionale. La corrispondenza dimostrazioni-programmi La logica dei predicati: linguaggio e semantica. La logica dei predicati: sostituzioni, deduzione naturale, sistema assiomatico. Enunciati di alcuni teoremi fondamentali. Formalizzazione dell'aritmetica e della teoria dei gruppi. Enunciati di alcuni teoremi fondamentali della teoria dei modelli. Introduzione formale ai risultati limitativi della logica: Goedel, Tarski, Church. Induzione, induzione completa, induzione ben fondata e suo utilizzo nelle dimostrazioni di correttezza Corrispondenza tra Induzione e Ricorsione: un cenno Un frammento decidibile della logica del primo ordine: clausole di Horn e cenni di Prolog Semantica dei linguaggi di programmazione: Semantica Operazionale Strutturata TESTI DI RIFERIMENTO ALTRO MATERIALE DIDATTICO PROGRAMMAZIONE DEL CORSO Argomenti 1 Introduzione alla teoria dei linguaggi formali. Definizioni di alfabeto, stringa, linguaggio. Espressioni regolari Riferimenti testi
4 2 Enumerazione di Sigma*. Non numerabilita' dei linguaggi su un alfabeto Sigma. Numerabilita' dei programmi di riconoscimento dei linguaggi. Introduzione alle Grammatiche di Chomsky: Definizione, Classi di grammatiche. 3 BNF. Cosa significa computare. Automi. Automi a stati finiti e corrispondenza con linguaggi regolari. 4 Linguaggio decidibili e semidecidibili. Introduzione al Pumping Lemma 5 Automi a stati finiti non deterministici. Punping Lemma: enunciato e dimostrazione. Induzione e suo utilizzo per dimostrare proprieta' di programmi. 6 Uso del Pumping Lemma. Alcune caratteristiche dei linguaggi contextfree. Alberi di derivazione sintattica. Esistenza di linguaggi non generabili da grammatiche: metodo di diagonalizzazione. 7 Introduzione alle macchine di Turing. Definizione formale di Macchina di Turing. Esempio di macchina di Turing.
5 8 Induzione completa ed esempio di uso per dimostrare proprieta' di programmi. Trasduttori. Esempi di trasduttori. Macchina di Turing Universale. 9 Codici. Rappresentazione informzione numerica. Rappresentazione posizionale e algoritmi di conversione di base. Codici a lunghezza fissa e variabile. Codici ad espansione. 10 Definizione di rappresentazione degli interi in complemento alla base. Proprieta' della rappresentazione in complemento a due e loro dimostrazioni. Introduzione alla programmazione funzionale. 11 Intro alla programmazione funzionale ed al lambda-calcolo Lambda-termini; beta-riduzione (informale); 12 Variabili libere e legate; Alfaconversione; Sostituzione; Forme normali e loro unicita'; strategie di riduzione; Introduzione alle funzioni lambdadefinibili;
6 13 Lambda-definibilita' di algoritmi che calcolano funzioni. Teorema del punto fisso (enunciato). Lambda-definibilita' di algoritmi ricorsivi. Introduzione ai sistemi formali. Esempio di sistema formale: alfaconversione. 14 Sistemi formali. Principali definizioni correlate ai sistemi formali. Esempio di sistema formale: Combinatory Logic 15 Logica Proposizionale alla Hilbert. Teorema di deduzione. Semantica della Logica Proposizionale. Teorema di correttezza e completezza (enunciato). 16 Logica Proposizionale in deduzione naturale. Corrispondenza deduzioni-programmi. 17 Logica del primo ordine: segnatura, fbf, strutture, semantica. 18 Regole ammissibili e derivabili. Deduzione naturale per logica primo ordine. Correttezza e completezza; Assiomi non logici dell'aritmetica (PA) e dei gruppi.
7 19 Formalismo delle funzioni primitive ricorsive e parziali ricorsive. Non esistenza di formalismi per tutte e sole le funzioni totali. 20 Alcuni risultati fondamentali di Teoria della Ricorsivita'. Problema della fermata. Isomorfismo di Cantor. Codifica di stringhe con numeri naturali. Definizione di macchina astratta. Corrispondenza Macchine astratte e linguaggi. 21 Realizzazione di Macchine Astratte. Gerarchie di Macchine Astratte. Primo teorema di Incompletezza di Goedel e schema di dimostrazione. Enunciato secondo teorema di Incompletezza di Goedel. 22 Teorema di Church. Semidecisione per relazione di derivabilita'; Clausole di Horn. Cenni di Prolog. Induzione ben-fondata. 23 Uso dell'induzione ben-fondata per dimostrare la correttezza di programmi. Introduzione alla semantica formale dei linguaggi di programmazione.
8 24 Semantica Operazionale Strutturata dei linguaggi imperativi: il linguaggio WHILE 25 Alcuni risultati di teoria dei modelli. VERIFICA DELL'APPRENDIMENTO MODALITÀ DI VERIFICA DELL'APPRENDIMENTO Scritto e orale PROVE IN ITINERE No PROVE DI FINE CORSO ESEMPI DI DOMANDE E/O ESERCIZI FREQUENTI
Informatica triennale (L31) sede di Bari Crediti formativi 9. No, ma la frequenza è fortemente consigliata Lingua di erogazione
Principali informazioni sull insegnamento Titolo insegnamento Linguaggi di Programmazione Corso di studio Informatica triennale (L31) sede di Bari Crediti formativi 9 Denominazione inglese Programming
DettagliInformatica e Comunicazione Digitale Crediti formativi 9. No, ma la frequenza è fortemente consigliata Lingua di erogazione
Principali informazioni sull insegnamento Titolo insegnamento Linguaggi di Programmazione Corso di studio Informatica e Comunicazione Digitale Crediti formativi 9 Denominazione inglese Programming Languages
DettagliECONOMIA E GESTIONE DELLE IMPRESE BANCARIE A - L
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea in Economia aziendale Anno accademico 2016/2017-3 anno ECONOMIA E GESTIONE DELLE IMPRESE BANCARIE A - L SECS-P/11-9 CFU - 2 semestre Docente titolare
DettagliECONOMIA E GESTIONE DELLE IMPRESE BANCARIE M - Z
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea in Economia aziendale Anno accademico 2016/2017-3 anno ECONOMIA E GESTIONE DELLE IMPRESE BANCARIE M - Z SECS-P/11-9 CFU - 2 semestre Docente titolare
DettagliCONTABILITÀ E BILANCIO
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea in Economia Anno accademico 2016/2017-1 anno CONTABILITÀ E BILANCIO 9 CFU - 1 semestre Docente titolare dell'insegnamento ELEONORA CARDILLO Email: cardillo@unict.it
DettagliDIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Matematica Anno accademico 2016/ anno
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Matematica Anno accademico 2016/2017-1 anno ANALISI MATEMATICA I 18 CFU - 1 e 2 semestre Docenti titolari dell'insegnamento ORNELLA NASELLI -
DettagliLinguaggi di Programmazione + Lab. A.A Docente: Marco de Gemmis. Presentazione dell insegnamento
Linguaggi di Programmazione + Lab. A.A. 2014-2015 Docente: Marco de Gemmis Presentazione dell insegnamento Informazioni generali Insegnamento: Docente: Marco de Gemmis - Ricercatore Lezioni: 2 marzo 2015-3
DettagliELEMENTI DI ANALISI MATEMATICA 1 A - L
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Informatica Anno accademico 2017/2018-1 anno ELEMENTI DI ANALISI MATEMATICA 1 A - L MAT/05-6 CFU - 2 semestre Docente titolare dell'insegnamento
DettagliALGORITMI E LABORATORIO
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Informatica Anno accademico 2016/2017-2 anno E 9 CFU - 1 semestre Docenti titolari dell'insegnamento DOMENICO CANTONE - Modulo - INF/01-6 CFU
DettagliT1: Logica, discorso e conoscenza. Logica classica
T1: Logica, discorso e conoscenza Primo modulo: Logica classica ovvero Deduzione formale vs verità: un introduzione ai teoremi limitativi Simone Martini Dipartimento di Scienze dell Informazione Alma mater
DettagliUniversità degli Studi di Enna Kore
Facoltà di Ingegneria ed Architettura Anno Accademico 2017 2018 A.A. Settore Scientifico Disciplinare CFU Insegnamento Ore di aula Mutuazione 2017/18 ING-INF/05 6 Algoritmi e Strutture Dati (a scelta)
DettagliPROGRAMMAZIONE E CONTROLLO
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea in Economia aziendale Anno accademico 2017/2018-2 anno PROGRAMMAZIONE E CONTROLLO SECS-P/07-9 CFU - 2 semestre Docente titolare dell'insegnamento DANIELA
DettagliFondamenti Logici dell Informatica
Fondamenti Logici dell Informatica Corso di Laurea Magistrale in Informatica Introduzione al Corso Ugo Dal Lago Anno Accademico 2017-2018 Sezione 1 Introduzione al Corso Questo Corso Questo è un corso
DettagliAlcune Tracce dei Precedenti Esami del Dottorato di Siena in Logica Matematica ed Informatica Teorica
Alcune Tracce dei Precedenti Esami del Dottorato di Siena in Logica Matematica ed Informatica Teorica Raccolti e curati da Luca Spada Indice 1 Temi 1 1.1 Logica Matematica.......................... 1 1.2
DettagliPrefazione all edizione italiana
Questo è l'indice del libro, in cui sono evidenziati i paragrafi corrispondenti agli argomenti trattati nel corso e che costituiscono il programma d'esame. Si noti che la presentazione di alcuni argomenti
DettagliUniversità degli Studi di Enna Kore Facoltà di Ingegneria ed Architettura
Facoltà di Ingegneria ed Architettura Anno Accademico 2018 2019 A.A. Settore Scientifico Disciplinare CFU Insegnamento Ore di aula Mutuazione 2018/19 ING-INF/05 e ING-INF/03 6 Sicurezza dei Sistemi Informatici
DettagliFISICA APPLICATA STATISTICA MEDICA E INFORMATICA
DIPARTIMENTO DI CHIRURGIA GENERALE E SPECIALITÀ MEDICO-CHIRURGICHE Corso di laurea in Tecniche di fisiopatologia cardiocircolatoria e perfusione cardiovascolare Anno accademico 2016/2017-1 anno STATISTICA
DettagliArchitettura. Nome Modulo Tipologia lezioni Ore Docente SSD Ruolo Interno Affidamento. Vincenzo Conti
Anno Accademico 2015 2016 A.A. Settore Scientifico Disciplinare CFU Insegnamento Ore di aula Mutuazione 2015/16 ING-INF/05 6 Algoritmi e Strutture Dati (a scelta) 48 No Classe Corso di studi Tipologia
DettagliFONDAMENTI DI INFORMATICA A - Co
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea in Ingegneria informatica Anno accademico 2018/2019-1 anno FONDAMENTI DI INFORMATICA A - Co ING-INF/05-9 CFU - Insegnamento
DettagliREGISTRO DELLE LEZIONI 2004/2005. Tipologia
Presentazione del programma del corso. Logica Matematica e sue connessioni con la Matematica e l'informatica. Cardinalità di un insieme. Paradosso di Galileo, albergo di Hilbert, altri esempi di insiemi
DettagliFondamenti d Informatica. Barbara Re, Phd
Fondamenti d Informatica Barbara Re, Phd Informazioni e Contatti Ricercatrice a tempo determinato INF/01 (Tipo B) Membro della Sezione d Informatica - SST Secondo Piano (Polo Lodovici) barbara.re@unicam.it
DettagliCOMPORTAMENTO ORGANIZZATIVO A - L
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea in Economia aziendale Anno accademico 2016/2017-3 anno COMPORTAMENTO ORGANIZZATIVO A - L SECS-P/10-9 CFU - 1 semestre Docente titolare dell'insegnamento
DettagliPROGRAMMAZIONE E CONTROLLO
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea in Economia aziendale Anno accademico 2016/2017-2 anno PROGRAMMAZIONE E CONTROLLO 9 CFU - 2 semestre Docente titolare dell'insegnamento ANTONIO LEOTTA
DettagliFONDAMENTI DI INFORMATICA - canale 2
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea in Ingegneria informatica Anno accademico 2017/2018-1 anno FONDAMENTI DI INFORMATICA - canale 2 ING-INF/05-9 CFU - Insegnamento
DettagliMETODI ANALITICI PER L'INGEGNERIA I
DIPARTIMENTO DI INGEGNERIA CIVILE E ARCHITETTURA (DICAR) Corso di laurea magistrale in Ingegneria edile-architettura Anno accademico 2017/2018-1 anno METODI ANALITICI PER L'INGEGNERIA I MAT/07-6 CFU -
DettagliMANAGEMENT DELLE RISORSE UMANE
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea in Economia aziendale Anno accademico 2017/2018-3 anno MANAGEMENT DELLE RISORSE UMANE SECS-P/08-9 CFU - 1 semestre Docente titolare dell'insegnamento
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2017/2018
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2017/2018 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini
DettagliISTITUZIONI DI ALGEBRA SUPERIORE
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea magistrale in Matematica Anno accademico 206/207 - anno ISTITUZIONI DI ALGEBRA SUPERIORE 2 CFU - e 2 semestre Docenti titolari dell'insegnamento
DettagliT1: Logica, discorso e conoscenza. Logica classica
T1: Logica, discorso e conoscenza Primo modulo: Logica classica ovvero Deduzione formale vs verità: un introduzione ai teoremi limitativi Simone Martini Dipartimento di Scienze dell Informazione Alma mater
DettagliDIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea magistrale in Direzione aziendale Anno accademico 2017/ anno
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea magistrale in Direzione aziendale Anno accademico 2017/2018-1 anno STORIA DELL'IMPRESA SECS-P/12-9 CFU - 2 semestre Docente titolare dell'insegnamento
DettagliECONOMIA APPLICATA ALL'INGEGNERIA - canale 2
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea in Ingegneria elettronica Anno accademico 2016/2017-1 anno ECONOMIA APPLICATA ALL'INGEGNERIA - canale 2 ING-IND/35-6 CFU -
DettagliFONDAMENTI DI INFORMATICA - canale 1
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea in Ingegneria informatica Anno accademico 2016/2017-1 anno FONDAMENTI DI INFORMATICA - canale 1 ING-INF/05-9 CFU - Insegnamento
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/2016
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2015/2016 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/2017 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea.corradini@unipi.it, francesca.levi@unipi.it A. Corradini
DettagliFONDAMENTI DI INFORMATICA Ps - Z
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea in Ingegneria informatica Anno accademico 2018/2019-1 anno FONDAMENTI DI INFORMATICA Ps - Z ING-INF/05-9 CFU - Insegnamento
DettagliMETODOLOGIA DELLA RICERCA ED EPIDEMIOLOGIA
DIPARTIMENTO DI SCIENZE BIOMEDICHE E BIOTECNOLOGICHE Corso di laurea in Fisioterapia Anno accademico 2016/2017-1 anno METODOLOGIA DELLA RICERCA ED EPIDEMIOLOGIA 6 CFU - 2 semestre Docenti titolari dell'insegnamento
DettagliFacoltà di Ingegneria e Architettura Nome Modulo Tipologia lezioni Ore Docente SSD Ruolo Interno Affidamento
A.A. Settore Scientifico Disciplinare CFU Insegnamento Ore di aula Mutuazione 2018/19 Matematica Applicata MAT/07 6 48 Primo Semestre Classe Corso di studi Tipologia di insegnamento Anno di corso e Periodo
DettagliFONDAMENTI DI INFORMATICA - canale 4
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea in Ingegneria informatica Anno accademico 2016/2017-1 anno FONDAMENTI DI INFORMATICA - canale 4 ING-INF/05-9 CFU - Insegnamento
DettagliMATEMATICA E STATISTICA
DIPARTIMENTO DI AGRICOLTURA, ALIMENTAZIONE E AMBIENTE (Di3A) Corso di laurea in Scienze e tecnologie alimentari Anno accademico 2017/2018-1 anno MATEMATICA E STATISTICA MAT/04-6 CFU - 1 semestre Docente
DettagliMETODOLOGIA DELLA RICERCA ED EPIDEMIOLOGIA
DIPARTIMENTO DI SCIENZE BIOMEDICHE E BIOTECNOLOGICHE Corso di laurea in Fisioterapia Anno accademico 2017/2018-1 anno METODOLOGIA DELLA RICERCA ED EPIDEMIOLOGIA 6 CFU - 2 semestre Docenti titolari dell'insegnamento
DettagliDIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Informatica Anno accademico 2018/ anno
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Informatica Anno accademico 2018/2019-2 anno BASI DI DATI M - Z INF/01-9 CFU - 1 semestre Docente titolare dell'insegnamento SALVATORE ALAIMO
DettagliECONOMIA APPLICATA ALL'INGEGNERIA J - Pr
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea in Ingegneria elettronica Anno accademico 2019/2020-1 anno ECONOMIA APPLICATA ALL'INGEGNERIA J - Pr ING-IND/35-6 CFU - 1 semestre
DettagliRegolamento didattico del Corso di Laurea in Informatica ALLEGATO 5
Regolamento didattico del Corso di Laurea in Informatica ALLEGATO 5 Modalita' di passaggio da Scienze dell'informazione al Nuovo Ordinamento Versione approvata per l A.A. 2003/04 nel CdF del Gli studenti
DettagliANALISI MATEMATICA II M - Z
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea in Ingegneria industriale Anno accademico 2017/2018-2 anno ANALISI MATEMATICA II M - Z MAT/05-9 CFU - 1 semestre Docente titolare
DettagliANALISI MATEMATICA II
DIPARTIMENTO DI FISICA ED ASTRONOMIA Corso di laurea in Fisica Anno accademico 2018/2019-2 anno ANALISI MATEMATICA II MAT/05-9 CFU - Insegnamento annuale Docente titolare dell'insegnamento GIUSEPPA RITA
DettagliModelli e complessità di calcolo
Modelli e complessità di calcolo Prof. Giorgio Ausiello Orario delle lezioni: Martedi, Mercoledi, Giovedi ore 8.30 10.00 Orario di ricevimento: Lunedi ore 17.00 19.00 Via Ariosto 25 II piano - Ufficio
DettagliMATEMATICA E STATISTICA
DIPARTIMENTO DI AGRICOLTURA, ALIMENTAZIONE E AMBIENTE (Di3A) Corso di laurea in Scienze e tecnologie alimentari Anno accademico 2018/2019-1 anno MATEMATICA E STATISTICA MAT/04-6 CFU - 1 semestre Docente
DettagliDIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Informatica Anno accademico 2016/ anno
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Informatica Anno accademico 2016/2017-2 anno BASI DI DATI INF/01-9 CFU - 1 semestre Docente titolare dell'insegnamento ALFREDO PULVIRENTI Email:
DettagliCORSO DI LAUREA IN INFORMATICA
B1.a Descrizione del percorso di formazione CORSO DI LAUREA IN Questo Corso di è organizzato dal Dipartimento di Matematica e afferisce alla Scuola di Scienze. Il percorso di studio è organizzato in un
DettagliIntelligenza Artificiale. Logica proposizionale: calcolo simbolico
Intelligenza Artificiale Logica proposizionale: calcolo simbolico Marco Piastra Logica formale (Parte 2) - 1 Parte 2 Calcolo logico Assiomi Derivazioni Derivazioni e conseguenza logica Completezza Logica
DettagliT1: Logica, discorso e conoscenza. Logica classica
T1: Logica, discorso e conoscenza Primo modulo: Logica classica ovvero Deduzione formale vs verità: un introduzione ai teoremi limitativi Simone Martini Dipartimento di Scienze dell Informazione Alma mater
DettagliDIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Matematica Anno accademico 2017/ anno
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Matematica Anno accademico 017/018-1 anno ALGEBRA MAT/0-15 CFU - Insegnamento annuale Docente titolare dell'insegnamento MARCO D'ANNA Email:
DettagliCorso di Fondamenti di Informatica II introduzione al corso (canale L-Z, prof. d Amore)
Corso di Fondamenti di Informatica II introduzione al corso 2012-13 (canale L-Z, prof. d Amore) il corso struttura e organizzazione corso contenente due parti (o anime ) A: algoritmi (50%) M: modelli (50%)
DettagliDIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea in Economia aziendale Anno accademico 2016/ anno
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea in Economia aziendale Anno accademico 2016/2017-3 anno MARKETING A - L SECS-P/08-9 CFU - 2 semestre Docente titolare dell'insegnamento MARCO GALVAGNO
DettagliCALCOLATORI ELETTRONICI
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea in Ingegneria elettronica Anno accademico 2017/2018-3 anno CALCOLATORI ELETTRONICI 9 CFU - 2 semestre Docente titolare dell'insegnamento
DettagliMODELLO SCHEDA INSEGNAMENTO
Corso di L/LM/LMCU Denominazione insegnamento: MODELLO SCHEDA INSEGNAMENTO Numero di Crediti: 9 Anno: Semestre: Docente Titolare: Scienze Geologiche Fondamenti di Informatica I II Salvatore Rampone Dottorandi/assegnisti
DettagliTEORIA DEI GIOCHI OBIETTIVI FORMATIVI
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Matematica Anno accademico 2016/2017-3 anno - Curriculum APPLICATIVO TEORIA DEI GIOCHI MAT/09-6 CFU - 1 semestre Docente titolare dell'insegnamento
DettagliTEORIA DEI GIOCHI OBIETTIVI FORMATIVI
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Matematica Anno accademico 2017/2018-3 anno - Curriculum APPLICATIVO TEORIA DEI GIOCHI MAT/09-6 CFU - 1 semestre Docente titolare dell'insegnamento
DettagliDIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Matematica Anno accademico 2016/ anno
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Matematica Anno accademico 016/017-1 anno ALGEBRA MAT/0-15 CFU - semestre Docente titolare dell'insegnamento MARCO D'ANNA Email: mdanna@dmi.unict.it
DettagliDIRITTO PUBBLICO 9 CFU - 1 semestre
DIRITTO PUBBLICO 9 CFU - 1 semestre Docente titolare dell'insegnamento ANTONIO BARONE Email: sarà comunicata successivamente Edificio / Indirizzo: Palazzo delle Scienze - Corso Italia 55, Catania IV piano
DettagliSCUOLA POLITECNICA. DISEGNO INDUSTRIALE DISEGNO E RAPPRESENTAZIONE INFORMATICA A Formazione di base nella rappresentazione
SCUOLA ANNO ACCADEMICO OFFERTA 2016/2017 ANNO ACCADEMICO EROGAZIONE 2016/2017 CORSO DILAUREA INSEGNAMENTO TIPO DI ATTIVITA' AMBITO CODICE INSEGNAMENTO 15331 SETTORI SCIENTIFICO-DISCIPLINARI SCUOLA POLITECNICA
DettagliECONOMIA SANITARIA OBIETTIVI FORMATIVI PREREQUISITI RICHIESTI
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea magistrale in Economia, politiche e management del territorio Anno accademico 2016/2017-2 anno ECONOMIA SANITARIA SECS-P/03-9 CFU - 1 semestre Docente
DettagliPROGRAMMAZIONE II A - L
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea in Informatica Anno accademico 2017/2018-1 anno PROGRAMMAZIONE II A - L INF/01-9 CFU - 2 semestre Docente titolare dell'insegnamento DARIO CATALANO
DettagliInformatica industriale L-31. Corso di Programmazione e Laboratorio di Programmazione
Informatica industriale L-31 Corso di Programmazione e Laboratorio di Programmazione Anno Accademico 2010/11 Rosario Culmone - p. 1/22 Orario Titolo Partizioni Lezioni Chi tiene il corso Dove Posta elettronica
DettagliINGEGNERIA DEL SOFTWARE
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea magistrale in Ingegneria informatica Anno accademico 2016/2017-1 anno INGEGNERIA DEL SOFTWARE 9 CFU - 1 semestre Docente titolare
DettagliSOCIOLOGIA DEI NUOVI MEDIA
DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI Corso di laurea magistrale in Sociologia Anno accademico 2016/2017-2 anno SOCIOLOGIA DEI NUOVI MEDIA 6 CFU - 2 semestre Docente titolare dell'insegnamento GUIDO
DettagliMATRICE TUNING competenze versus unità didattiche, Corso di Laurea in Informatica (classe L-31), Università degli Studi di Cagliari
A: CONOSCENZA E CAPACITA DI COMPRENSIONE Conoscere e saper comprendere i fondamenti della matematica discreta (insiemi, interi, relazioni e funzioni, calcolo combinatorio) Conoscere e saper comprendere
DettagliAnalisi Univariata e Multivariata dei Dati Economici Bruno Ricca (Dipartimento di studi su risorse, impresa, ambiente e metodologie quantitative)
Programma di studio AA 2008-2009 Analisi Univariata e Multivariata dei Dati Economici Bruno Ricca (Dipartimento di studi su risorse, impresa, ambiente e metodologie quantitative) Modulo unico 10 cfu corso
DettagliALGORITMI E COMPLESSITA'
DIPARTIMENTO DI MATEMATICA E INFORMATICA Corso di laurea magistrale in Informatica Anno accademico 2016/2017-1 anno ALGORITMI E COMPLESSITA' INF/01-9 CFU - 1 semestre Docente titolare dell'insegnamento
DettagliDIRITTO ECCLESIASTICO
DIPARTIMENTO DI GIURISPRUDENZA Corso di laurea magistrale in Giurisprudenza Anno accademico 2016/2017-4 anno DIRITTO ECCLESIASTICO IUS/11-8 CFU - 1 semestre Docente titolare dell'insegnamento ANDREA BETTETINI
DettagliUniversità di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali
Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea Specialistica in Informatica (classe 23/S: Informatica) Corso di Laurea Specialistica in Tecnologie Informatiche (classe 23/S: Informatica)
DettagliCALCOLATORI ELETTRONICI M - Z
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea in Ingegneria informatica Anno accademico 2018/2019-3 anno CALCOLATORI ELETTRONICI M - Z ING-INF/05-9 CFU - 1 semestre Docente
DettagliInformatica e Tecnologie per la Produzione del Software Crediti formativi 7+2
Principali informazioni sull insegnamento Titolo insegnamento Linguaggi di programmazione Corso di studio Informatica e Tecnologie per la Produzione del Software Crediti formativi 7+2 Denominazione inglese
DettagliMATEMATICA STATISTICA
DIPARTIMENTO DI SCIENZE BIOLOGICHE, GEOLOGICHE E AMBIENTALI Corso di laurea in Scienze geologiche Anno accademico 2017/2018-1 anno 9 CFU - 1 semestre Docente titolare dell'insegnamento FABIO RACITI Email:
DettagliTabelle di corrispondenza
CONSIGLIO DI AREA DIDATTICA IN INFORMATICA CAD in Informatica Tabelle di corrispondenza fra insegnamenti dei corsi di studio di area Informatica di ordinamenti ex D.M. 509 e insegnamenti del Corso di laurea
DettagliPRINCIPI E METODI STATISTICI
DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI Corso di laurea in Sociologia e servizio sociale Anno accademico 2016/2017-2 anno - Curriculum Curriculum unico / L-39 e Curriculum Curriculum unico / L-40 PRINCIPI
DettagliUna Breve Introduzione alla Logica
Una Breve Introduzione alla Logica LOGICA La LOGICA è la disciplina che studia le condizioni di correttezza del ragionamento Occorre dire, anzitutto, quale oggetto riguardi ed a quale disciplina spetti
DettagliInformatica industriale L-31. Corso di Programmazione e Laboratorio di Programmazione
Informatica industriale L-31 Corso di Programmazione e Laboratorio di Programmazione Anno Accademico 2009/10 Rosario Culmone - p. 1/22 Orario Titolo Partizioni Lezioni Chi tiene il corso Dove Posta elettronica
DettagliFondamenti di Informatica. Proff. B.Buttarazzi & A.D Ambrogio A.A. 2011/2012
Fondamenti di Informatica Proff. B.Buttarazzi & A.D Ambrogio A.A. 2011/2012 Sommario Contenuti del Corso Obiettivi Riferimenti Regole del Corso Materiale Didattico Scheduling Esami Introduzione al Corso
DettagliUniversità degli Studi di Enna Kore Facoltà di Ingegneria ed Architettura
Facoltà di Ingegneria ed Architettura Anno Accademico 2016 2017 A.A. Settore Scientifico Disciplinare CFU Insegnamento Ore di aula Mutuazione 2016/17 Codice settore con declaratoria 9 PROGRAMMAZIONE E
DettagliCORSO DI LAUREA IN INFORMATICA
B1.a escrizione del percorso di formazione ORSO I LAUREA IN Questo orso di Laurea è organizzato dal ipartimento di Matematica e afferisce alla Scuola di Scienze. Il percorso di studio è organizzato in
DettagliLogica e Informatica: cosa i calcolatori possono e non possono fare. Simone Martini
Logica e Informatica: cosa i calcolatori possono e non possono fare Simone Martini Dipartimento di Scienze dell Informazione Alma Mater Studiorum Università di Bologna 1 io Simone Martini Professore di
DettagliInterpreti, compilatori e semantica operazionale
Interpreti, compilatori e semantica operazionale 1 Linguaggi di programmazione Come si comprendono le caratteristiche di un linguaggio di programmazione? Molte risposte diverse manuali, documentazione
DettagliLogica Matematica: tipiche domande da esame
Logica Matematica: tipiche domande da esame A. Berarducci Versione del 7 Gen. 2018 1. Si dimostri che ogni formula proposizionale può essere messa in forma normale disgiuntiva e in forma normale disgiuntiva.
DettagliTeoria della computazione
Fondamenti di Informatica per la Sicurezza a.a. 2006/07 Teoria della computazione Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università
DettagliEconomia e amministrazione delle aziende Crediti formativi 8 Denominazione inglese Obbligo di frequenza Lingua di erogazione
Principali informazioni sull insegnamento Titolo insegnamento Matematica per l Economia Corso di studio Economia e amministrazione delle aziende Crediti formativi 8 Denominazione inglese Obbligo di frequenza
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
DettagliIncoraggiare gli studenti a esporre la loro opinione personale di fronte a un pubblico specializzato e non (Abilita comunicative).
DIPARTIMENTO DI ECONOMIA E IMPRESA Corso di laurea magistrale in Economia, politiche e management del territorio Anno accademico 2017/2018-1 anno POLITICHE REGIONALI SECS-P/03-9 CFU - 2 semestre Docente
DettagliProblemi decidibili, semidecidibili, indecidibili
Problemi decidibili, semidecidibili, indecidibili (Paragrafo 3.5 delle dispense) Il problema di determinare se una formula A della logica proposizionale sia valida o no può essere risolto mediante un procedimento
DettagliSTORIA DELL'EUROPA E DELLE ISTITUZIONI POLITICHE EUROPEE
DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI Corso di laurea in Storia, politica e relazioni internazionali Anno accademico 2016/2017-3 anno STORIA DELL'EUROPA E DELLE ISTITUZIONI POLITICHE EUROPEE 12 CFU
DettagliSistemi Deduttivi. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Sistemi Deduttivi[1]
Intelligenza Artificiale I Sistemi Deduttivi Marco Piastra Intelligenza Artificiale I - A.A. 2010- Sistemi Deduttivi[1] Calcolo simbolico? Una fbf è conseguenza logica di un insieme di fbf sse qualsiasi
DettagliECONOMIA POLITICA OBIETTIVI FORMATIVI PREREQUISITI RICHIESTI
DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI Corso di laurea magistrale in Programmazione e gestione delle politiche e dei servizi sociali Anno accademico 2015/2016-1 anno ECONOMIA POLITICA 6 CFU - 1 semestre
DettagliDISEGNO DELL'ARCHITETTURA I E LABORATORIO DISEGNO DELL'ARCHITETTURA I
DIPARTIMENTO DI INGEGNERIA CIVILE E ARCHITETTURA (DICAR) Corso di laurea magistrale in Ingegneria edile-architettura Anno accademico 2017/2018-1 anno E LABORATORIO 12 CFU - 2 semestre Docenti titolari
DettagliSOCIOLOGIA DEI NUOVI MEDIA
DIPARTIMENTO DI SCIENZE POLITICHE E SOCIALI Corso di laurea magistrale in Sociologia Anno accademico 2017/2018-2 anno SOCIOLOGIA DEI NUOVI MEDIA 6 CFU - 2 semestre Docente titolare dell'insegnamento GUIDO
Dettagli