Uni.TettyDom1 History
Hide minor edits - Show changes to output
Changed line 2 from:
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 1 -> TettyCap1]] to:
[[Torna alla pagina di Tetty -> Olimpo.Tetty]] | [[Vai al Capitolo 1 -> Uni.TettyCap1]] Changed lines 168-170 from:
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 1 -> TettyCap1]]
----
[[!UniCrema]] to:
[[Torna alla pagina di Tetty -> Olimpo.Tetty]] | [[Vai al Capitolo 1 -> Uni.TettyCap1]]
Changed lines 4-6 from:
!!! Domande Tetty - Capitolo 1
to:
%titolo%''':: Domande Capitolo 1 ::'''
Changed lines 167-169 from:
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 1 -> TettyCap1]] to:
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 1 -> TettyCap1]]
----
[[!UniCrema]]
Changed lines 1-2 from:
(:title Domande Tetty - Capitolo I:)
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo I -> TettyCap1]] to:
(:title Domande Tetty - Capitolo 1:)
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 1 -> TettyCap1]] Changed lines 4-6 from:
!!! Domande Tetty - Capitolo I to:
!!! Domande Tetty - Capitolo 1 Added line 165:
Changed line 167 from:
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo I -> TettyCap1]] to:
[[Torna alla pagina di Tetty -> Tetty]] | [[Vai al Capitolo 1 -> TettyCap1]]
Changed lines 158-159 from:
*''L'algoritmo B e l'algoritmo A sono equivalenti quanto a complessità computazionale'' to:
**''L'algoritmo B e l'algoritmo A sono equivalenti quanto a complessità computazionale''
Added lines 1-165:
(: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]]
|
