Agenda novembre 2016

Filtra per data

LMMGVSD
- 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 - - - -

Filtra per organizzatori

mercoledì 9
dalle 16:30 alle 18:30

Aspetti geometrici nella separazione di fase

martedì 15
dalle 15:30 alle 17:30

Eppur funziona: l'algebra della Logica di Boole

Guido Gherardi
Università di Bologna

Tutti credono di sapere cosa sia l'Algebra di Boole. In realtà quella che noi oggi chiamiamo Algebra di Boole è un prodotto derivato e semplificato del calcolo originario proposto da Boole, sicché possiamo ormai dire che il vero calcolo booleano, con le sue finalità e motivazioni, sia essenzialmente caduto nell'oblio.
Nel seminario mi propongo di presentare le basi dell'Algebra di Boole secondo le concezioni dello stesso autore, cercando di dare un assaggio della sua bellezza e potenza formale, e al contempo cercherò di mettere in luce le ragioni logico-matematiche del suo funzionamento rielaborando la materia esposta da Boole in un modo a tratti piuttosto oscuro e non sempre rivelatore delle sottili connessioni concettuali in gioco.

Joint work con Giovanna Corsi

Quando

  • 15/11/2016 dalle 15:30 alle 17:30

Organizzato da

Dipartimento di Scienze matematiche, informatiche e fisiche

Dove

Sala Riunioni, Dipartimento di Scienze Matematiche, Informatiche e Fisiche – Via delle Scienze 206, Udine

Condividi