l-cfm18a.txt da l-cfm18.htm (Ga briele Lucchini, 2012-02-29)

indice di 

Carlo Felide Manara
IL CERTO E IL PROBABILE
piccolo  manuale di logica e di calcolo delle probabilita`
Brescia,  La Scuola, 1989, 112 pp.


005   PREFAZIONE
009   1 - LA LOGICA CLASSICA
          1. Che cosa e` la logica? La deduzione
          2. I termini e le proposizioni
          3. Inferenze immediate
          4. Il sillogismo
          5. I teoremi
          6. Le definizioni
          7. Le dimostrazioni per assurdo e per induzione
          8. La risoluzione dei problemi. L'analisi e la sintesi
          9. Esercizi e complementi
030   2 - TEORIA INTUITIVA DEGLI INSIEMI ED ELEMENTI DI ALGEBRA DI BOOLE
          1. Sulla definizione del concetto di insieme
          2. Intersezione e sue proprietà formali
          3. Unione e complementazione rispetto ad un universo
          4. Formule ben formate e regole di trasformazione
          5. Espressioni delle proposizioni fondamentali della logica classica
          6. Gli schemi fondamentali di deduzione
          7. Altre operazioni dell'algebra di Boole e forme canoniche
          8. Cenno sui diagrammi di Lewis Carroll
          9. Esercizi e complementi
069   3 - CALCOLO DELLE PROPOSIZIONI E DEI PREDICATI
          1. Proposizioni non analizzate e valori di verita`
          2. Connettivi fondamentali e valori di verità
          3. Formule ben formate ed aritmetica modulo 2
          4. Assiomi e regole di deduzione
          5. Le tautologie
          6. I predicati
          7. Esercizi e complementi
087   4 - IL CALCOLO DELLE PROBABILITA`
          1. Le decisioni in condizioni di incertezza
          2. Il contratto aleatorio
          3. Il principio di coerenza
          4. La valutazione condizionata di probabilita`
          5. Informazioni e valutazioni di probabilita`
          6. La legge empirica dei grandi numeri
          7. Lo schema delle prove ripetute
          8. Il concetto di speranza matematica
          9. Esercizi e complementi
111    INDICE