Algebra, logica, teoria dei numeri e matematica discreta

Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Domande e risposte

Ordina per

In evidenza
In evidenza
Più recenti
Più popolari
Con risposta
Con miglior risposta
Senza risposta
TomSawyer1
In una dispensa, dopo aver introdotto l'assioma della coppia (l'esistenza dell'insieme $z={w|w=x \vee w=y}$, viene dato come esercizio ${x,y}={y,x}$. Ma questo non segue direttamente dal fatto che $w=x \vee w=y \equiv w=y \vee w=x$? Poi, il motivo per cui c'è bisogno dell'assioma dell'unione, è sostanzialmente perché una cosa del genere ${x \in A, x \in B |x \in A \vee x \in B}$ non è un insieme, per "colpa" delle due appartenenze a sinistra?
4
23 lug 2007, 23:55

miuemia
ciao ragazzi, nella teoria assiomatica ZF c'è l'assioma dell'unione che afferma che da to un insieme $a$ allora esistel'insieme formato i cui elementi sono tutti e soli gli elementi degli elementi di $a$... adesso la domanda sorge spontanea... $uu \emptyset$ a copsa è uguale???
5
20 lug 2007, 21:02

vl4dster
Dimostrare che per ogni $n\geq1$ si ha: $\sum_{i=1}^n (\sum_{k=0}^{n-i} ((-1)^k) /(k!) )/((i-1)!) = 1$
2
19 lug 2007, 23:02

miuemia
esistono insiemi che ammettono minimo senza essere totalmente ordinati????
9
18 lug 2007, 16:33

raff5184
ho una def di operatore che mi dice che: un'applicazione lineare dello spazio V in se stesso è detta OPERATORE $O:V -> V$ dove l'applicazione è qlc del tipo: $A: S -> S'$ Un'altra definizione più qualitativa mi dice che: un operatore è qualcosa (?) che ci permette di passare da uno spazio vettoriale ad un altro [domanda: ma non era da V in V?]
10
19 lug 2007, 19:29

Sk_Anonymous
Ragazzi qualcuno di voi ha chiesto tempo fa il significato preciso di ‘Matematica discreta’. La risposta sul momento mi è sembrata ‘banale’. Pensandoci però con maggior impegno sono giunto alla conclusione che essa non è affatto banale e pertanto mi son dato da fare per trovare una definizione ‘esatta’. Tra le varie definizioni da me prese in considerazione la seguente mi pare la più ‘verosimile’… Matematica discreta è quella branca della Matematica che opera sugli insiemi i cui elementi ...
13
10 lug 2007, 14:11

zedef2343242387490
un problema di logica tratto da un testo d'esame: controllare sintatticamente che se una relazione binaria indicata dal predicato binario P è riflessiva,simmetrica e transitiva allora nel dominio della relazione non possono esserci tre elementi tali che uno è nella relazione indicata con P con gli altri due ma questi non sono in relazione P tra loro in nessuno dei due possibili ordini. Io la formula la scriverei ...
18
14 lug 2007, 21:40

Sk_Anonymous
Se ho un segnale $y(t)=x(t)+2$ allora il grafico di $y$ è uguale a quello di $x(t)$ traslato a destra di due unità,giusto?
5
18 lug 2007, 11:22

marta_l-votailprof
Ringrazio anticipatamente tutti coloro che mi illumineranno sulla soluzione di questi due problemi da algebra 1, domani mattina ho l'esame scritto!! 1) siano $f(x)=x^3+x^2-2x-2$ e $g(x)=x^3+2x^2-2x-4$ due polinomi in $Q[x]$. (a) si consideri in Q[x] l'ideale $I=<f(x),g(x)>$ generato da $f(x)$ e $g(x)$. si provi che I è principale esibendone un generatore. (b) si provi che I è un ideale massimale in $Q[x]$ e se ne deduca che ...
3
17 lug 2007, 17:36

mercuzio1
ciao a tutti, per un esame devo portare un ricerchina sulla quadratura del cerchio, e quindi devo includere anche la dimostrazione della trascendenza di pi. La dimostrazione venne fatta da Lindemann nel 1882 ma essendo abbastanza complicata opto per una dimostrazione un po' piu' for dummies.... Cercando sul web ho trovato questo: https://www.matematicamente.it/tesine/qu ... demann.htm ma direi che non fa al caso mio visto che fino alla dimostrazione della trascendenza di e ci sono, ma la trascendenza di pi non mi dice ...
2
17 lug 2007, 16:26

digi88
Cercando gli n per cui $120|n^5 -n$ penso di aver capito di non aver capito qualcosa....Il procedimento (sbagliato forse completamente) che ho usato è il seguente: Se 120 divide $n^5 -n$ devono dividerlo contemporaneamente 3, 5 e 8... Quindi si avrà prima che: $n^5 - n \equiv 0 (3)$ il che mi pare sia vero visto che mod(m) le potenze di un numero n sono periodiche rispetto a $\phi(m)$..(credo)..ma $\phi(3)=2$ che tolto due volte a 5 mi da $n - n \equiv 0 (3)$, ...
5
16 lug 2007, 15:43

_luca.barletta
Prove that a binary cyclic code of length $N$, with minimum Hamming distance $d>=3$, cannot have words containing $0<n<N$ consecutive '1's and $N-n$ '0's.
2
14 lug 2007, 20:00

kaekko
Spero di essere nella sezione giusta: Ho un numero composto da infinite cifre decimali che inizia per 5,920542834. Se lo volessi approssimarlo potrei scrivere qualcosa del tipo: 33147728/5598765. C'è un procedimento/software che mi permette di trovare una funzione oppure una formula matematica che da vita a questo numero? Intendo formule del tipo 4(1/1 - 1/3 + 1/5 - 1/7 + 1/9.....) o 2 * 2/rad2 * 2/rad(2+rad2) * ...?
3
15 lug 2007, 22:15

duckypocket
Salve, sono un nuovo frequentatore. Mi sono imbattuto in questo forum cercando notizie sul filtraggio inverso. In pratica ho necessità di equalizzare un segnale che passa attraverso un filtro sconosciuto, tramite l'"inversione" di tale filtro. Ho supposto, per generalizzare, il filtro sconosciuto come un filtro IIR. Tramite il metodo LMS ho calcolato approssimativamente i coefficienti, per poi calcolare da questi il filtro inverso da porre in cascata al primo. Nel momento in cui inverto ...
8
4 lug 2007, 18:46

fabjim25
Se V è un K-spazio vettoriale diverso dall’insieme contenente il suo vettore nullo e se u è un vettore di V diverso dal vettore nullo di V allora come si dimostra che l’opposto di u è diverso da u ?
5
14 lug 2007, 10:16

fabjim25
Sia V un K-spazio vettoriale; si sa che k*v = 0 se e solo se k = 0 oppure v = 0 ; come faccio a dimostrare che : se k*v = 0 e v diverso da 0 allora k = 0 ?
1
14 lug 2007, 10:20

celeste4
Ciao1 come faccio a dimostrare che $D_8xZZ_2xZZ_2$ e $D_4xZZ_4xZZ_2$ non sono isomorfi? (Per $D_4$ intendo il gruppo diedrale di 8 elementi, per $D_8$ ovviamente quello di 16 elementi)
4
11 lug 2007, 17:40

miuemia
qual è la cardinalità delle rette del piano??? domanda facile...però carjavascript:emoticon(':-D') javascript:emoticon(':-D')ina...ovviamente mi dovete dire il perchè non solo il risultato...
14
12 lug 2007, 11:39

celeste4
Ciao! qualcuno mi spiega l'algoritmo euclideo per trovare il MCD di due polinomi?magari facendo un esempio pure..io l'avevo scarabocchiato a matita sul quaderno ma non capisco cosa c'è scritto..pensavo non fosse importante, e invece oggi serviva nel compito d'esame.. altra domanda, come faccio a costruire un campo con un determinata cardinalita, per esempio, 27?
8
9 lug 2007, 17:45

fabry1985mi
qualcuno sa dimostrare che la sigma algebra prodotto dei borelliani di $RR$ è uguale alla sigma algebra dei boreliani di $RR^2$
2
9 lug 2007, 12:20