Torna alla pagina di Tetty | Vai al Capitolo 1
:: Domande Capitolo 1 ::
- Un linguaggio è completamente definito:
- Dall’insieme delle parole che gli appartengono
- Che cosa si intende per documentazione esterna?
- I documenti di progetto che sono separati dal programma
- Nella logica dei predicati del prim'ordine, i quantificatori possono essere applicati:
- Solo alle variabili libere di una formula
- Che cosa distingue la logica dei predicati dalla logica preposizionale?
- La presenza di simboli individuali e funzioni
- Le 5 fasi della programmazione sono:
- Specifica, progettazione, modellazione, codifica e correzione
- Una proposizione atomica è:
- Una frase di senso compiuto che può essere vera o falsa rappresentata da un simbolo
- Se una fbf della logica preposizionale è una combinazione di n proposizioni atomiche, la sua tabella di verità:
- Una buona descrizione di che cosa sia un elaboratore elettronico è:
- Una macchina per elaborare informazione
- Perché gli elaboratori elettronici sono programmabili?
- Una specifica formale è:
- Una quadrupla <ingressi, uscite, precondizioni, postcondizioni>
- Un algoritmo per essere tale deve:
- Comportare lo svolgimento di un numero finito di operazioni elementari
- Che relazione c'è tra lo scrivere programmi e il dimostrare teoremi?:
- Scrivere programmi spesso richiede la dimostrazione di teoremi
- Che cosa si intende con l’espressione “analisi di un algoritmo?”:
- Lo studio della sua complessità computazionale
- Lo spazio di esecuzione di un algoritmo:
- È la quantità massima di informazione che deve essere mantenuta ad ogni istante durante l'esecuzione, compresi i dati di ingresso e i risultati
- Qual è il vantaggio degli interpreti?
- Portabilità dei programmi interpretati
- Che cosa significa che un programma è corretto:
- Che soddisfa le sue specifiche
- Che cos'è un'asserzione?
- Un costrutto condizionale che controlla il soddisfacimento di u a proprietà invariante
- Un linguaggio è completamente definito:
- Dall’insieme delle parole che gli appartengono
- A che cosa servono le asserzioni?
- A facilitare la produzione di codice parzialmente corretto
- L'analisi di algoritmi si concentra in generale:
- Quale delle seguenti è una buona ragione per concentrare l’analisi di n algoritmo sul caso peggiore?
- Per alcuni algoritmi il caso peggiore è molto probabile
- L'algoritmo A gira nel caso peggiore in un tempo pari a nlogn, mentre l'algoritmo B gira nel caso peggiore in un tempo pari a 100logn: quale delle seguenti affermazioni è corretta?
- L'algoritmo B è più efficiente dell'algoritmo A
- Che cosa significa che un algoritmo è intrattabile?
- Che si conoscono solo algoritmi che lo risolvono in un tempo esponenziale
- Nei diagrammi di flusso che cosa rappresentano i rombi?
- Che cos'è la correttezza parziale di un programma?
- La garanzia che il programma , se termina, produce un risultato che soddisfa la specifica
- Di quale approccio la programmazione strutturata rappresenta la naturale estensione?
- Un linguaggio è completamente definito:
- Dall'insieme delle parole che gli appartengono
- Una grammatica è :
- Un insieme di regole di produzione
- Se f è una funzione n-aria e t1,t2………tn sono termini , f(t1,t2…..tn) è:
- Quali sono i 2 approcci antitetici alla progettazione?:
- Il tempo di esecuzione nel caso peggiore di un algoritmo:
- È il + lungo tempo di esecuzione su tutti gli ingressi di dimensione n
- Il problema dell'arresto, che consiste nello stabilire se dato un programma, questo termina su un dato ingresso:
- Non può essere risolto in un tempo finito da alcun algoritmo
- La cardinalità dell'insieme di tutti i sottoinsiemi dell'insieme A è:
- Nei linguaggi formali una parola è:
- Una sequenza di simboli dell'alfabeto
- Una fbf della logica preposizionale è:
- Una proposizione atomica o una o + fbf composte mediante l'uso di un connettivo logico
- La complessità computazionale di un algoritmo è:
- La quantità di risorse necessarie per la sua esecuzione
- Cosa si intende per pseudocodice?
- Uno strumento di modellazione della programmazione
- Quali delle seguenti è una buona ragione per concentrare l'analisi di un algoritmo sul caso peggiore?
- Spesso il caso medio è tanto cattivo quanto il caso peggiore
- La cardinalità del prodotto dei 2 insiemi A e B è:
- Il prodotto delle cardinalità degli insiemi A e B
- Che cos'è la correttezza totale di un programma?
- La garanzia che il programma produce un risultato che soddisfa la specifica in un numero finiro di passi
- Che relazione c'è tra complessità computazionale di un algoritmo e la difficoltà del problema da esso risolto?
- La difficoltà del problema è misurata dalla complessità computazionale del + efficiente algoritmo che lo risolve
- Normalmente si considera un algoritmo + efficiente di un altro se:
- Le risorse da esso richieste nel caso peggiore hanno un ordine + basso
- Quali sono i possibili approcci alla programmazione?
- Top down, bottom up e ad oggetti
- Un linguaggio di programmazione:
- Deve essere assolutamente non ambiguo e preciso
- Una ricetta di cucina:
- È un esempio legittimo di algoritmo
- Una fbf della logica preposizionale è soddisfacibile se e solo se:
- Esiste almeno un'interpretazione per cui essa è vera
- Che cosa si intende per documentazione interna?
- I commenti, la formattazione e le asserzioni di un programma
- Che cosa significa che un problema è indecidibile?:
- Che non può essere risolto in un tempo finito da alcun algoritmo
- Ciò che determina la complessità di un algoritmo:
- Non è la quantità precisa di risorse ma il suo tasso di crescita al crescere delle dimensioni dell'ingresso
- Le leggi di De Morgan affermano che :
- Non(P e Q) = non P o non Q ; non (P o Q) = non P e non Q
- L'algoritmo A gira nel caso peggiore in un tempo pari a nlogn, mentre l'algoritmo B gira nel caso peggiore in un tempo pari a 6nlogn: quale delle seguenti affermazioni è corretta?
- L'algoritmo B e l'algoritmo A sono equivalenti quanto a complessità computazionale
- La definizione esatta di algoritmo è:
- Una procedura passo per passo grazie alla quale un operazione può essere svolta senza alcun esercizio di intelligenza, e quindi per esempio da una macchina
- Che cos'è un'interpretazione nella logica proposizionale?
- Un assegnamento di valori di verità ad ogni proposizione atomica
Torna alla pagina di Tetty | Vai al Capitolo 1
