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
*missdreamer*12
Come potrei fare per dimostrare che l'insieme dei numeri primi è ricorsivo? Da qui mi nasce anche un'altra domanda... io conosco definizioni di ricorsività per funzioni e predicati, da queste dovrei ricavarmi la definizione di ricorsività di un insieme? Oppure per dimostrare che l'insieme dei numeri primi è ricorsivo dovrei considerare un predicato o una funziona che lo caratterizzi e quindi dimostrare la sua ricorsività? Grazie
5
11 gen 2007, 10:19

*missdreamer*12
mi si presenta questo problema che non riesco a risolvere... uffi.. sono una frana... mi aiutate? dovrei dimostrare che: Dati φ e ψ1 , ψ2 , . . . . Sia Σ = {ψi : i numero naturale}. φ e Σ hanno esattamente gli stessi modelli. Allora esiste un sottoinsieme finito Σ0 ⊆ Σ, tale che Σ0
3
11 gen 2007, 15:58

xlucyx
Ho deciso di postarvi gli ultimi 2 esercizi dell'esame perche io davvero non so come fare.... -------------------------------------------- Stabilire che uno tra i seguenti sottoinsiemi di $ZZ_10$ è un sottogruppo $H1 = {0,1,2,3} <br /> H2 = {0,2,4,6,8}<br /> H3 = {0,3,5,7,8}$ Di tale sottogruppo determinarne i generatori ------------------------------------------- Altro ex: ------------------------------------------- Determinare un elemento primitivo del campo ($ZZ_5,-,*$) e determinare se esiste un ...
10
4 gen 2007, 14:01

Sk_Anonymous
Se ho: $(N(x))/(ax^2+bx+c),b^2-4ac<0$ è giusta la seguente decomposizione? $(N(x))/(ax^2+bx+c)=(Ax+B)/(ax^2+bx+c)$ Come determino le costanti $A,B$?con il principio di identità dei polinomi ottengo delle contraddizioni! E se,in generale,ho $(N(x))/(ax^2+bx+c)^n,b^2-4ac
28
8 gen 2007, 12:17

*missdreamer*12
Ho un linguaggio elementare L, con un simbolo di relazione R(x,y) e simboli di costanti c1 , c2 , . . . Attraverso insieme di formule devo formulare le seguenti affermazioni..... alcune sono riuscita a farle.. e le scriverò.. ma altre non riesco: R(x,y) definisce una relazione di equivalenza: {∀xR(x,x), ∀x∀y(R(x,y)→R(y,x)), ∀x∀y∀z((R(x,y)∧R(y,z))→R(x,z))} giusto vero? Questa relazione ha infinite classi: {∀x∃y¬R(x,y)} Ogni classe ha infiniti elementi... questa come si ...
3
6 gen 2007, 10:23

xlucyx
Io riesco a capire la matematica solo con gli esercizi, e il mio prof. fa pochi esercizi, e le sue dispense sono incapibili e senza uno straccio di esercizio, così per capire sto prendendo traccie da esoneri passati... Quindi se sono una schiappa in Discreta nn è solo colpa mia purtroppo...spero nn vi dia fastidio che posto con questa frequenza ---------------------------------- Determinare l'MCD monico tra i polinomi: $p=x^4+5x^2+4x+5$ e $g=2x^3+5x^2+x+5$ in ...
18
4 gen 2007, 13:44

*missdreamer*12
Sono in crisi per una dimostrazione!!!!!! L è un linguaggio elementare, devo dimostrare che non esiste una L-formula γ tale che: ( M ⊨ γ ) ↔ (∣M∣ finita ) Grazie!!!
3
5 gen 2007, 11:41

_prime_number
Facendo gli esercizi di Algebra II mi sono resa conto di avere diversi dubbi. Qualcuno potrebbe mostrarmi il procedimento per fare questi esercizi? 1. Sia A=R[x] x R[x] (prodotto cartesiano), J l'ideale generato da $(2, x^2 +2)$. Esiste un isomorfismo di anelli tra A/J e C? 2. Sia $A=Z_13 ^*$ il gruppo degli elementi invertibili di $Z_13$ e $Z_4$ il gruppo additivo delle classi di resto modulo 4. Determinare tutti i morfismi da $Z_4$ a A. ...
12
29 dic 2006, 16:02

nochipfritz
il simbolismo $a \equiv b (\mod c,d)$ sta ad indicare 1) $a \equiv b ( \mod c)$ AND $a \equiv b (\mod d)$ 2) $a \equiv b (\mod c)$ OR $a \equiv b (\mod d)$ 3) $a \equiv b (\mod c)$ OR ESCLUSIVO $a \equiv b(\mod d)$
3
29 dic 2006, 18:07

xlucyx
Scusate la miriade di post ma sto preparando l'esame di matematica discreta... Non ho avuto alcun problema con Analisi I e neanke con la Statistica, ma questa discreta mi sta facendo impazzire, e siete gli unici ke potete aiutarmi....visto che gli altri colleghi nn hanno intenzione di sostenere l'esame per la sua difficoltà... allora l'esercizio chiede di scoprire se: Nella struttura algebrica ($ZZ$,*): $AA$ m,n $in ZZ$ m*n = -2mn verificare se è un ...
5
4 gen 2007, 12:16

xlucyx
Salve ragazzi... ho bisogno di voi.... ho il seguente sistema: {3x = 2 mod 8 {2x = 9 mod 15 Per il teorema cinese del resto questa ha soluzione ok! ma come procedo? so ke devo trovare una soluzione della prima e sostituirla alla seconda...ma non so come fare!! Ho pensato di trovare la diofantea di 3x+8y=2 ma ottengo 1=3s + (-1)t Come posso fare a risolvere quel sistema? Vi ringrazio anticipatamente un bacio PS il mio prof ha risolto la prima come ...
6
3 gen 2007, 12:16

xlucyx
Vi propongo il seguente esercizio: Dati gli insiemi A={1,2,3,4,5} e B={a,b,c} determinare tutte le applicazioni surgettive f:A->B tali che f(2)=f(3)-a f(x)a per ogni x non appartenente a {2,3} Vi ringrazio anticipatamente un bacio Lucy
6
3 gen 2007, 13:47

sastra81
Sia G un gruppo e H un suo sottogruppo se indico con A un sottogruppo normale abeliano massimale di H perche il centralizzante di A in H è uguale ad A? Ricordo che il centralizzante di A in H è l insieme di tutti gli elementi ''a'' che appartengono ad A tali che a*h=h*a * equivale al simbolo di moltiplicazione lo specifico perche qualcuno in precedenza me lo ha chiesto!! Ricordo che dire A massimae in H significa che A è un elemento massimale dell insieme dei sottogruppi propri di ...
6
28 dic 2006, 16:44

tdi160cv
come posso dimostrare che considerati 2 insiemi X = {{a},{a,b},{a,b,c}} e Y = {{x},{x,y},{x,y,z}} X = Y se e solo se a = x , b = y c = z Ora ... chiedo scusa per la domanda stupida ma sto approcciando la materia e sono davvero rinco ... grazie
3
26 dic 2006, 23:08

Sk_Anonymous
Se ho $(3!)^2$,è possibile esprimere il risultato come fattoriale?
5
25 dic 2006, 18:17

FastDaMasta
Qualcuno che ci capisce bene di algebra... Potrebbe aiutarmi a spiegare che il seguente esercizio "Siano a,b£P. Si dimostri che x^(a,b) -1=(x^a -1, x^b -1)" (P è l'insieme dei numeri positivi, cioè maggiori di zero) si dimostra semplicemente facendo: $Dato che x-1|x^a -1, x^b -1$ $Sia k£P$ $Se k|a, b => x^k -1|x^a -1, x^b -1$ $(Dimostrazione banale)$ $Quindi => se k=(a,b) => x^k -1=(x^a -1, x^b -1) => x^(a,b) -1=(x^a -1, x^b -1) => (x^a -1, x^b -1)=x^(a,b) -1$ Io sono convinto che questo basta... se qualcuno la pensa come me mi può dire come lo posso spiegare... e non mi dite che così facendo sai solo ...
2
20 dic 2006, 00:21

Sam86M
come posso DIMOSTRARE CHE PER a,b E P ( (x^a) - 1 , (x^b) -1 ) = ( x^ (a,b) ) - 1 cioè il massimo comun divisore tra x elevato alla a, meno uno e x elevato alla b, meno 1 è uguale a x elevato al massimo comun divisore tra a e b, meno uno. grazie!!
2
16 dic 2006, 11:06

*missdreamer*12
Grazie... σ(L) = {⋅, 1} e ∑ = {∀xyz (xy)z = x(yz), ∀x 1x=x, ∀x x1=x, ∀x∃y xy=1} dimostrare che: 1. ∑ ⊢ ∀xy (xy=1 → yx=1) 2. ∑ ⊢ ∀x∃y (yx=1)
8
14 dic 2006, 17:24

miuemia
ciao a tutti ho un bel quesito da porvi determinare un modello non isomorfo ad $NN$ che soddisfa i seguenti assiomi: 1- $AA x \quad (x^{\prime} !=0)$ con $x^{\prime}$ intendo il successore di $x$ 2- $AA xAAy\quad(x^{\prime} =y^{\prime} ->x=y)$ 3- ogni numero diverso da $0$ è il successore di un numero e poi tutti gli assiomi del tipo $x!=x^{\prime}$, $x!=x^{\prime}'$,$x!=x^{\prime}''$,eccetera.
20
15 dic 2006, 20:48

SOFFICINOSA
ciao a tutti ho bisogno che qualcuno mi dia una mano con questi esercizi sui polinomi che proprio non sopporto: 1) Siano a,b € P. Decidere se (x elevato alla a - 1, x elevato alla b - 1) = x elevato alla (a,b) -1 2)Per a € Q si definisca un polinomio ha(x) € Q[x] ponendo: ha(x) = x alla 4 + ax alla 3 + 5x alla 2 + (a +2)x + 2 Trovare gli a € Q tali che - 1 risulta essere radice di ha(x). 3) Decidere se esistono (e, in caso affermativo, trovare) tre polinomi a(x), b(x), c(x) € Q[x] ...
13
4 dic 2006, 22:06