Matematica Discreta Lezione del giorno 21 ottobre 2009
Testo completo
Documenti correlati
- nei cammini di lunghezza minima fra coppie di vertici coinvolti in tale accoppiamento, si costruiscono archi “gemelli” di quelli originali e si
complessità di un algoritmo A è la funzione f(n) della dimensione n dell’input che coincide con il numero di operazioni elementari eseguite da A quando l’input ha dimensione n, nel
Si definisce predicato logico (o brevemente predicato) una frase di senso compiuto che contiene delle variabili (spesso indicate con lettere come x,y,z….) e che diventa una
Spesso però i valori delle variabili che rendono vero P sono in numero infinito, e in tal caso non è possibile, come nell’esempio precedente, verificare singolarmente che ciascuno
Vi è però anche una diversa tecnica dimostrativa, detta per assurdo: per dimostrare vera l’implicazione PQ si suppone (per assurdo) che sia dato un valore delle variabili che
allora AB è descritto in modo implicito dal predicato disgiunzione logica PvQ: infatti gli elementi di AB (valori che rendono vero la disgiunzione PvQ) saranno gli elementi
Se a,b sono 2 elementi (di natura arbitraria, nello stesso insieme o in insiemi diversi ed anche possibilmente coincidenti fra loro) la coppia ordinata (a,b) con primo
Per verificare formalmente se una funzione f: A B é surgettiva, fissato un generico elemento bB, si cerca almeno un elemento aA tale che si abbia f(a)=b: se un tale