Fondamenti di Informatica 1. Prof. B.Buttarazzi A.A. 2010/2011

Transcript

1 Fondamenti di Informatica 1 Prof. B.Buttarazzi /2011

2 Sommario Conversione di tipo:casting Tipo enumerativo lgebra Booleana Esercizi

3 Conversione di tipo:casting Il casting o conversione di tipo avviene quando trasformiamo un valore di un tipo primitivo in un altro Esempio: quando assegniamo ad una variabile double o float un valore intero (il valore intero viene convertito in double o float automaticamente... double a = 4; // 4 è una costante intera System.out.println(a); // Stampa è la rappresentazione di una costante a virgola mobile (c è il punto decimale) Il compilatore esegue alcune conversioni di tipo implicitamente 3

4 Conversione di tipo:casting La conversione di un dato da un tipo origine a uno appartenente ad un insieme più ampio non necessita di alcuna trasformazione in quanto questa avviene automaticamente senza errori. Non ci sono problemi se, ad esempio, si assegna un dato int ad un long o ad un double. La tabella precedente mostra alcune operazioni di type cast possibili 4

5 Casting esplicito Se vogliamo memorizzare il valore di una variabile float su una di tipo int dobbiamo forzare con il cast esplicito ( explicit cast ), quindi dobbiamo scrivere: In questo caso il programmatore forza la conversione che potrebbe risultare pericolosa in termini di perdita di dati. float k = 4.3; int b = (int)k;

6 Casting Il casting è possibile anche tra due oggetti a patto che appartengano a classi in relazione di ereditarietà. In particolare si può effettuare il casting plicito di un oggetto di una sottoclasse in modo da ottenere un nuovo oggetto della superclasse. Da notare che non si possono effettuare conversioni da oggetti a tipi primitivi e viceversa.

7 Tipo enumerativo: enum Java permette di definire nuovi tipi semplicemente elencando tutti i valori del dominio corrispondente Questi tipi detti tipi enumerativi, possono essere dichiarati con la parola chiave enum e poi usati per dichiarare variabili di quel tipo. Una variabile di tipo enumerativo potrà assumere soltanto quei valori elencati nel definire il tipo enumerativo.

8 Esempi di dichiarazioni di nuovi tipi enum enum Seme { CUORI, QUDRI, FIORI, PICCHE }; enum Giorno { LUNEDI, MRTEDI, MERCOLEDI, GIOVEDI, VENERDI, SBTO, DOMENIC }; enum Mese { GENNIO, FEBBRIO, MRZO, PRILE, MGGIO, GIUGNO, LUGLIO, GOSTO, SETTEMBRE, OTTOBRE, NOVEMBRE, DICEMBRE };

9 package provabb; Esempio di uso del tipo enum enum Seme { CUORI, QUDRI, FIORI, PICCHE } public class provabb1 { public static void main(string[] args) { Seme miacarta,tuacarta,suacarta; miacarta=seme.cuori; tuacarta=seme.fiori; suacarta=seme.cuori; System.out.println(miaCarta==tuaCarta); // false System.out.println(miaCarta.equals(tuaCarta)); // false System.out.println(miaCarta==suaCarta); // true System.out.println(miaCarta.equals(suaCarta)); // true System.out.println(miaCarta==Seme.CUORI); // true System.out.println(miaCarta.equals(Seme.CUORI)); // true } }

10 altre soluzioni per enum package provabb; public class provabb1 { public static void main(string[] args) { final String[] semi={"cuori","quadri","fiori","picche"}; private final char[] valori={, 2, 3, 4, 5, 6, 7, 8, 9, 10, J, Q, K };.. } }

11 lgebra di Boole É un algebra basata su tre operazioni logiche OR (somma) ND (moltiplicazione) NOT (negazione) ed operandi che possono avere due soli valori: Vero (1) (true) Falso(0) (false). Tramite questa algebra di possono comporre espressioni logiche che possono essere vere o false. d esempio: (X ND Y)OR Z oppure (NOT )OR B 11

12 Le operazioni booleane Negazione simboli che rappresentano la negazione logica (NOT) (sopralineatura) In Java la negazione logica è rappresentata dall operatore! Tavola di verità Variabile Risultato! Tavola di verità Variabile Risultato

13 Proprietà della Negazione eliminazione della doppia negazione:!! 13

14 Prodotto (Congiunzione) logico simboli che rappresentano il prodotto logico (ND) (.) In Java il prodotto logico è rappresentato dall operatore & Variabile B Tavola di verità Variabile C Risultato B &C 14

15 Proprietà del Prodotto logico (ND) (.)(&) idempotenza = commutativa B = B associativa (B C) = ( B) C elemento neutro 1 = elemento assorbente 0 = 0 1 = true 0= false 15

16 Somma Logica (Disgiunzione) (OR) simboli che rappresentano la somma logica (OR) (+) In Java la somma logica è rappresentata dall operatore Variabile B Tavola di verità Variabile C Risultato B C 16

17 Proprietà della Somma logica (OR) (+) ( ) idempotenza + = commutativa + B = B + associativa + (B + C) = ( + B) + C elemento neutro 0 + = elemento assorbente 1 + = 1 17

18 Le altre proprietà distributività di ND rispetto a OR: distributività di OR rispetto a ND: B B (B + C)= ( B) + ( C) +(B C)= (+B) (+C) B ND di complementi: 0 OR di complementi: 1 La Legge di De Morgan per trasformare ND in OR: B B La Legge di De Morgan per trasformare OR in ND: B B 18

19 Espressioni logiche Sono espressioni contenenti solo: variabili booleane le costanti logiche (0 e 1 oppure false e true) gli operatori logici ND OR NOT oppure &! Esercizio Semplificare la seguente espressione logica: 19

20 Per semplificare le espressioni si usano le proprietà e i teoremi dell algebra Booleana: D!(! B &! ) E D!(! B &! ) E D!( true B &! ) E D!( true ) E D false E D E Per verificare il risultato si può analizzare la tabella di verità 20

21 D!(! B &! ) E 21

22 Esercizio Verificare il codice del seguente metodo di classe (statico) evidenziando eventuali errori e generare la versione corretta static float fatt(double[] x) { int i,z=0; for(i=1; i<=x.length; i=i+1) { int y=x[i]; z=z+y; } return z; }

23 Verificare il codice del seguente metodo statico evidenziando eventuali errori static float fatt(double[] x) { int i,z=0; for(i=1; i<=x.length; i=i+1) { int y= x[i]; z=z+y; } return z; }

24 Verificare il codice del seguente metodo statico evidenziando eventuali errori static float fatt(double[] x) { int i,z=0; for(i=0; i<x.length; i=i+1) { int y=(int)x[i]; z=z+y; } return z; }

25 Esercizio

26 Esercizio Individuare quali numeri vengono stampati.

27 Esercizi da svolgere