Eserciziario di informatica/Condizioni logiche e struttura di selezione
Aspetto
Un insieme di attributi parziale del concetto di insetto potrebbe essere:
- numeroZampe
- numeroAli
- lunghezzaVitaMedia
- pesoMedio
- numeroAntenne
- capaceDiVolare
- prolificità (numero medio di figli per insetto)
- esoscheletroPresente
- nomeComune
- nomeScientifico
- climaPreferito
Seguono alcune proposizioni logiche atomiche che riguardano esempi del concetto di insetto.
( 6 < numeroZampe) (numeroZampe <= numeroAli) (capaceDiVolare = True) (numeroAli < 6) (False = esoscheletroPresente ) (capaceDiVolare <> esoscheletroPresente) (climaPreferito <> ‘polare’) (climaPreferito = ‘continentale’) (nomeComune = ‘grillo’) (lunghezzaVitaMedia <13) (prolificità <= 1.02) (nomeComune = nomeScientifico) (numeroAntenne <= 4) (numeroAli < lunghezzaVitaMedia) (lunghezzaVitaMedia >= 10) (12 <= pesoMedio) (numeroAntenne >= 2) (pesoMedio > 1.3)
- Di quale tipo è l’informazione generata dal tracing di ciascuna proposizione?
- Raggruppare le precedenti proposizioni logiche atomiche. In base a quale criterio avete raggruppato?
- Proporre un altro criterio di raggruppamento delle stesse proposizioni.
- Cosa abbiamo cercato di apprendere con l’esercizio 1?
- Associare un tipo di informazione a ciascuno degli elementi dell’intensione.
- Scegliere due esempi di insetto e, dopo avere inventato "di sana pianta" i valori delle caratteristiche non conosciute, determinare il valore di verità delle proposizioni logiche elencate sopra.
Utilizzare tabelle con la seguente intestazione: [idcar1] [idcar2] [proposizione logica]
- Quante righe avrà ciascuna tabella?
- Quante tabelle dovrete utilizzare?