Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Enrolled
Matematica superiore per l'informatica

Docente responsabile: Sandro Levi

PROGRAMMA

Obiettivi e contenuti: Il corso presenta un' introduzione alle algebre di Boole e alla
teoria dei reticoli.

Programma:
Reticoli, reticoli distributivi, algebre di Boole finite, elementi di topologia, algebre di Boole infinite, teorema di rappresentazione di Stone.

Risultati di apprendimento previsti:
Saper maneggiare reticoli e algebre di Boole, riconoscendone le applicazioni.

Prerequisiti:
I corsi dei primi due anni.

Aims and contents:
The course is an introduction to lattice theory and Boolean algebras.

Program details:
Lattices, distributive lattices, finite Boolean algebras, some results in topology,
infinite Boolean algebras, Stone representation theorem.

Learning outcomes:
To acquire a working knowledge of lattices and Boolean algebras and recognize the applications.

Prerequisites:
The courses of the first two years.

Tipo esame:

  • Orale X
  • Scritto
  • Scritto e orale

Tipo valutazione:

  • Voto finale X
  • Giudizio finale
  • Nessuno
Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 28/03/2011