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
cozzataddeo
Ciao a tutti! In questi giorni uggiosi di pioggia autunnale sto cercando di preparare l'esame di Logica Matematica, tuttavia tra i vari problemi su cui sto sbattendo la mia testa dura, ci sono gli esercizi di deduzione naturale in cui compaiono i quantificatori. Le dispense del prof. sono criptiche e stringate al riguardo e riportano un unico esempio semplicissimo mentre nei compiti in classe vengono richieste derivazioni che necissitano di qualche decina di passaggi... . Ho provato a fare ...
4
6 giu 2008, 09:15

Sophie32
Ciao a tutti, sono una nuova iscritta un po' troppo arrugginita in materia.. Ho delle semplici sommatorie da risolvere ma mi stanno venendo mille dubbi. Ve le scrivo sperando che qualcuno possa aiutarmi a capire come funzionano. La prima è : sommatoria da m=0 a 110 di 1. La seconda è : somamtoria da m=0 a 100 di x. La prima, ad istinto, direi che fa 111. La seconda invece non la capisco. Mi aiutate? Grazie
11
6 giu 2008, 18:21

BoG3
mi trovo con una matrice(4x5) portata a scala ma nella quale l'ultima riga in basso non è tutta zero. da questa matrice si puo dedurre la base? [size=75](prendendo i vettori della matrice di partenza(non a scala) corispondenti ai vettori della matrice a scala dove sono presenti i pivot?)[/size] se non riccordo male credo di aver sentito che non è una matrice a scala se l'ultima riga non è zero. danke
1
4 giu 2008, 19:38

Gianmaster08
Dimostrare che ogni insieme numerabile è bene ordinabile, cioè che, dato un qualsiasi insieme A numerabile, possiamo definire un buon ordinamento su A. Potete farmi vedere i passaggi per la dimostrazione, please
4
3 giu 2008, 19:55

bertuz1
Ciao ragazzi! Mercoledì ho l'esame di discreta e m'è passato tra le mani questo score che (a detta del docente) da cui dovrei ricavare un "disegno" di albero d=(1,1,1,1,1,1,1,1,4,4,4) beh.. le varie ostruzioni che mi vengono in mente perchè questo non sia score di grafo non mi dicono nulla. Anzi, con il teorema dello score si raggiunge poi la creazione del grafo. Inoltre valutando se è un albero con eulero, ossia |E| = |V|-1 --> 10=11-1 ricavo che la condizione è vera (ammesso che sia ...
10
1 giu 2008, 23:29

eleonora-89
ho qualche problema con questo sistema: {11*x-=6(mod 48),15*x-=10(mod 20),-5*x-=14(mod 28) dunque la secoda congruenza la ho trasformata in x-=4(mod 10) ma per le altre ho difficoltà a trovare le inverse(che per altro è il mio grande problema) aiutatemi please! ciao ciao
27
1 giu 2008, 18:21

fctk
ciao, vorrei gentilmente che qualcuno mi consigliasse un buon libro per studiare matematica discreta, possibilmente un libro nel quale vi sia un'introduzione rigorosa dei principali concetti di logica e teoria degli insiemi. attualmente studio su "introduzione alla matematica discreta" - bianchi, gillio - mcgraw-hill, ma è tutt'altro che un buon libro, soprattutto per la parte a cui accennavo prima. grazie.
1
1 giu 2008, 18:33

stefanosteve
Sia A := {n appartiene a Z| 1
7
29 mag 2008, 15:05

Dorian1
Siano $A$ e $B$ due insiemi numerabili (sappiamo quindi dell'esistenza di una biiezione tra i due): sia inoltre $theta$ un'applicazione insiemistica da $A$ in $B$ iniettiva... posso affermare che $theta$ è biiettiva???
5
28 mag 2008, 19:18

monetaria
ho bisogno della definizione di "insieme denso" e magari qualche esempio .. grazie!
2
28 mag 2008, 18:22

Gianmaster08
Dato l’ordinale α, l’insieme α+ = α U {α}, che è un ordinale, può essere visto come il risultato di ‘aggiungere’ un nuovo elemento ad α; tale nuovo elemento è α stesso. Così possiamo intuitivamente scrivere (tenendo presente che ω = {0, 1, 2,..., n,...,}, l’insieme di tutti i naturali) ω+ = {0, 1, 2,..., n,..., ω} Descrivere l’insieme ((ω+)+)+ e dimostrare che è numerabile. N.B. I "+" naturalmente sono a esponente! Qualche soluzione? Gracias.
1
28 mag 2008, 09:41

Gianmaster08
Dimostrare che ogni insieme numerabile è bene ordinabile, cioè che, dato un qualsiasi insieme A numerabile, possiamo definire un buon ordinamento su A. Help, please?
3
27 mag 2008, 23:05

gugo82
Come da titolo, ho da proporre un quesito forse di facile soluzione... però la prendo un po' alla lontana! Mi è capitato, come a tutti coloro che studiano un po' di Analisi Superiore, di imbattermi nel seguenta problema agli autovalori per il laplaciano: "Siano $2le n in NN$ e $Q=(0,pi)^n$. Determinare tutti i numeri reali $lambda$ per i quali il problema: (*) $quad \{(-Delta u=lambda u, " in " Q),(u=0, " su " \partial Q):}$ abbia soluzioni non nulle $u in C^2(Q)cap C(bar(Q))$." Qui $Delta=\sum_(k=1)^n(\partial^2)/(\partial x_k^2)$ è l'operatore di ...
4
24 mag 2008, 21:21

miuemia
sia G un gruppo finito. dimostrare allora che l'unico omomorfismo tra G e $(ZZ,+)$ è quello banale cioè quello che manda tutto in zero
2
27 mag 2008, 20:42

stefanosteve
Come da oggetto del topic chiedo aiuto per risolvere queste due congruenze. Ci ho provato, ma usando il teorema di Fermat - Capelli per risolverle il risultato è sbagliato. 1) x^9≡5 mod23 il risultato che mi esce è 9mod23 2) x^5≡16 mod27 il risultato che mi esce è 23mod27 Qualcuno gentilmente mi potrebbe dare una mano?..grazie mille..
7
26 mag 2008, 20:02

miuemia
sia un polinomio a coefficienti interi positivi di grado fissato allora potendo chiedere il valore che assume su alcuni interi, qual è il numero minimo di domande da fare per poter determinare il polinomio? mi si dice che se i coefficienti sono tutti minori di 10 allora basta una sola domanda. mi potete illuminare? [size=75]PS: ho precisato il titolo. Fioravante Patrone[/size]
9
26 mag 2008, 18:03

rubik2
Qualcuno sa aiutarmi con questo esercizio? Sia G un gruppo privo di sottogruppi di indice 2. Mostrare che ogni sottogruppo di G di indice 3 è normale.
28
22 mag 2008, 15:00

stefanosteve
Salve a tutti...ho un piccolo problema nel risolvere alcune congruenze e sistemi...devo risolvere questo sistema di congruenze: 2x ≡ 7 mod 9 9x ≡ 6 mod 12 innanzi tutto l'ho semplificato in questo sistema: x ≡ 8 mod 9 x ≡ 2 mod 12 dopo di che ho verificato che MCD(12,9) dividesse 8-2 cosi so che il sistema ammette soluzioni per il teorema cinese del resto ho applicato euclide a MCD(12,9) ed ho trovato che MCD(12,9) = 12 + (-1)*9 e visto che 8-2 = 2*MCD(12,9) 8-2 = ...
5
24 mag 2008, 12:29

SperaFranco
Salve, non capisco bene la spiegazione che mi da il libro di Spivak sul perchè il numero radice (2) sia irrazionale. quella dove comincia affermando que se esistesse un numero razionale tale che (p/q)^2 = 2 , e fa una serie di passi che non riesco a capire dove sta la contraddizione, grazie per l'attenzione , ciao
4
23 mag 2008, 22:32

Gianmaster08
Vorrei fare la seguente premessa: con l’Assioma di Rimpiazzamento riusciamo a dimostrare che, per ogni insieme X, la totalità di ‘singoletti’ {x} con x appartenente a X è un insieme. Basta infatti usare quell’assioma con la formula φ(x, y) def = (y = {x}). Da φ(x, y) e φ(x, y') (cioè (y = {x}) e (y' = {x})) segue infatti y = y', e quindi l’antecedente dell’assioma è verificato. In altri termini, la formula φ(x, y) stabilisce una corrispondenza che ha la proprietà delle funzioni. Dal ...
1
21 mag 2008, 10:53