u n i g e . i t - Informatica a Genova

Corsi di Laurea in Informatica - Computer Science Degrees

DIBRIS - Valle Puggia

  • Full Screen
  • Wide Screen
  • Narrow Screen
  • Increase font size
  • Default font size
  • Decrease font size

73026 - Elementi di matematica e logica (A.A. 2017/2018) Stampa

Elementi di matematica e logica vale 12 crediti ed è formato dai seguenti moduli:

Obiettivi formativi

Il corso intende introdurre al metodo razionale, addestrando all'uso del linguaggio scientifico, analizzando le tecniche specifiche del ragionamento logico-deduttivo con applicazioni alla programmazione. Si forniscono gli elementi di base di matematica discreta e di algebra lineare, utilizzando il formalismo e l'astrazione per abituare ad un metodo di ragionamento rigoroso.
Si introducono i concetti fondamentali (insiemi, prodotti cartesiani, funzioni, numeri naturali e induzione, equivalenze, cardinalità), strutture algebriche (monoidi, liste, grafi, cammini, anelli di matrici, spazi vettoriali), strutture logiche (calcolo dei predicati e teorie formali, interpretazioni, modelli) e si presentano risultati importanti di matematica discreta e loro applicazioni:
- Algoritmo euclideo
- Aritmetica modulare
- Risoluzione di sistemi lineari
- Correttezza e completezza per la logica del prim'ordine
- Teoremi di Gödel, di Turing, di Church"



Elementi di Matematica e Logica (Mod. 1, Mat. discreta)

Informazioni generali

Elementi di Matematica e Logica (Mod. 1, Mat. discreta) (codice 73027) vale 6 crediti e si svolge nel primo semestre. Le lezioni si tengono in lingua italiana.
Per gli studenti iscritti, il materiale didattico è disponibile su AulaWeb.

Programma dell'insegnamento

Vai alla scheda completa del corso sul sito di Ateneo

Docente responsabile

Anna Maria Bigatti

Ettore Giovanni Carletti

Altri docenti coinvolti

Anna Maria Bigatti

Orario delle lezioni

Mercoledì: 9:00 - 11:00, aula 506
Venerdì: 11:00 - 13:00, aula 506

Modalità di iscrizione agli esami

Tramite i servizi online di Ateneo: https://servizionline.unige.it/studenti/esami/prenotazione


Elementi di Matematica e Logica (Mod. 2, Logica)

Informazioni generali

Elementi di Matematica e Logica (Mod. 2, Logica) (codice 73029) vale 6 crediti e si svolge nel primo semestre. Le lezioni si tengono in lingua italiana.
Per gli studenti iscritti, il materiale didattico è disponibile su AulaWeb.

Programma dell'insegnamento

Vai alla scheda completa del corso sul sito di Ateneo

Docente responsabile

Ettore Giovanni Carletti

Orario delle lezioni

Martedì: 9:00 - 11:00, aula 506
Giovedì: 11:00 - 13:00, aula 506

Modalità di iscrizione agli esami

Tramite i servizi online di Ateneo: https://servizionline.unige.it/studenti/esami/prenotazione