Algebra booleana
Brevi annotazioni con esercizi da svolgere sull'algebra booleana (8 pagine formato doc)
L'Algebra
Booleana è un sistema che permette di trattare in forma
matematica una parte del pensiero umano; ci interessa perché
se il pernsiero umano può essere codificato in forma numerica,
vuol dire che potrà essere tradotto in modo che risulti
comprensibile al computer e questo ci permetterà di fa
"pensare " questa macchina come noi.
Solamente in parte però,
poiché questo tipo di algebra tratta solo un aspetto del modo
di ragionare: la logica proposizionale o logica aristotelica.
Questa parte del pensiero umano è stata isolata e studiata dal filosofo greco Aristotele ed è stata di nuovo analizzata, nella metà dell'ottocento, dal matematico inglese George Bool. Utilizzando la logica aristotelica, egli ha costruito un sistema matematico detto appunto ALGEBRA BOOLEANA. Questa si occupa di formalizzare in un sistema matematico quelle che sono le proposizioni logiche, ovvero le frasi alle quali possiamo rispondere con un "vero" o "falso". Es. "Oggi piove"; è una proposizione che può solo essere vera o falsa.
Questa parte del pensiero umano è stata isolata e studiata dal filosofo greco Aristotele ed è stata di nuovo analizzata, nella metà dell'ottocento, dal matematico inglese George Bool. Utilizzando la logica aristotelica, egli ha costruito un sistema matematico detto appunto ALGEBRA BOOLEANA. Questa si occupa di formalizzare in un sistema matematico quelle che sono le proposizioni logiche, ovvero le frasi alle quali possiamo rispondere con un "vero" o "falso". Es. "Oggi piove"; è una proposizione che può solo essere vera o falsa.