Eserciziario di informatica/Condizioni logiche e struttura di selezione

Wikibooks, manuali e libri di testo liberi.
Jump to navigation Jump to search

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)
  1. Di quale tipo è l’informazione generata dal tracing di ciascuna proposizione?
  2. Raggruppare le precedenti proposizioni logiche atomiche. In base a quale criterio avete raggruppato?
  3. Proporre un altro criterio di raggruppamento delle stesse proposizioni.
  4. Cosa abbiamo cercato di apprendere con l’esercizio 1?
  5. Associare un tipo di informazione a ciascuno degli elementi dell’intensione.
  6. 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?