[[Torna alla pagina di Tetty -> Olimpo.Tetty]] | [[Vai al Capitolo 1 -> Uni.TettyCap1]]

[[Torna alla pagina di Tetty -> Olimpo.Tetty]] | [[Vai al Capitolo 1 -> Uni.TettyCap1]]

%titolo%''':: Domande Capitolo 1 ::'''

[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 1 -> TettyCap1]]
----
[[!UniCrema]]

(:title Domande Tetty - Capitolo 1:)
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 1 -> TettyCap1]]

!!! Domande Tetty - Capitolo 1

[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 1 -> TettyCap1]]

**''L'algoritmo B e l'algoritmo A sono equivalenti quanto a complessità computazionale''

(:title Domande Tetty - Capitolo I:)
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo I -> TettyCap1]]
----
!!! Domande Tetty - Capitolo I

*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à:
**''Conterrà 2n righe''

*Una buona descrizione di che cosa sia un elaboratore elettronico è:
**''Una macchina per elaborare informazione''

*Perché gli elaboratori elettronici sono programmabili?
**''Per motivi economici''

*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:
**''Sul caso peggiore''

*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?
**''Dei test''

*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?
**''Dell'analisi top down''

*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) è:
**''Un termine''

*Quali sono i 2 approcci antitetici alla progettazione?:
**''Top down e bottom up''

*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 è:
**''2'^||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 -> Tetty]] | [[Vai al Capitolo I -> TettyCap1]]