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
Buongiorno a tutti,
ogni tanto, soprattutto nell'ultimo periodo, mi diverto a risolvere quesiti di logica matematica che trovo in rete o che mi vengono proposti da qualcuno, nella speranza di poter migliorare sotto questo punto di vista.
Vorrei perciò proporvi il seguente quesito (di cui ho già individuato la risposta corretta, ma avrei piacere di confrontarmi con qualcuno riguardo alla validità del mio ragionamento; oppure semplicemente sentire se qualcuno ha una strategia più ...
Ciao, vorrei sapere se quest'operazione su insiemi è associativa:
A ° B = { (a[size=60]1[/size],...a[size=60]n[/size],b[size=60]1[/size],...b[size=60]m[/size]) / (a[size=60]1[/size],...a[size=60]n[/size]) \(\displaystyle \in \) A AND (b[size=60]1[/size],...,b[size=60]m[/size]) \(\displaystyle \in \) B AND \(\displaystyle \exists \) a[size=60]i[/size] = b[size=60]i[/size] )
Questa è in realtà la definizione della funzione JOIN in SQL (spero di averla scritta correttamente).
Sostanzialmente mi ...
Ciao a tutti,
sto studiando logica formale del Mendelson.
Nel capitolo del calcolo predicativo mi sono imbattuto nella seguente regola di inferenza:
A > (x)A(x)
Non riesco proprio a comprenderne il senso.
A può essere una generica formula ben formata con predicati, esempio (Mario è bello, Giancalo è bello, ..., etc.).
Troverei più sensato invertire la relazione e scrivere che
(x)A(x) > A, in quanto stavolta qualunque nome inerisse nell'universo dei termini del discorso verificherebbe A(x) ...
Ciao. Se \( K \) è un campo archimedeo non necessariamente completo, è vero che per ogni \( x,y\in K \), con \( y>1 \), esiste un \( n \) naturale tale che \( y^n>x \)? Altrimenti, qual è un controesempio?
Voglio dimostrare che le trasformazioni naturali \( F\Rightarrow G \) tra due funtori \( \mathit C\to\mathit D \) sono in corrispondenza biunivoca con i funtori \( \mathit C\times\mathit 2\to\mathit D \), dove \( \mathit 2 \) è l'ordinale \( 2 \), che fanno commutare il seguente
[tex]\xymatrix{{\mathit C}\ar[dr]_F\ar[r]^{i_0} & {\mathit C\times\mathit 2}\ar[d] & \ar[l]_{i_1}{\mathit C}\ar[dl]^G\\
& {\mathit D}}[/tex]
dove \( i_0 \) e \( i_1 \) sono i funtori di inclusione ovvi.
Data una ...
Salve,
volevo proporvi un esercizio di calcolo combinatorio.
Quanti sono i numeri naturali di sette cifre aventi le prime due cifre in forma decrescente e le ultime tre cifre pari? (Ad esempio 7590842, 6218004).
Io so solo che per le due cifre centrali posso utilizzare le disposizioni con ripetizione perchè l'ordine conta e se due cifre sono uguali non ci fa niente.
Poi so che la prima cifra tra le due decrescenti non può mai essere zero.
Per il resto potete darmi una mano?
Ciao a tutti, il seguente lemma è preso dal testo Algebra, un approccio algoritmico di Giulia Maria Piacentini Cattaneo, pag. 367. Sono fermo su questo risultato prima di provare il Teorema fondamentale dell'Algebra perché ancora non trovo una spiegazione per le parti evidenziate.
Grazie a chiunque avrà tempo e voglia di leggere e rispondere.
Lemma Sia $F$ un campo di caratteristica zero tale che ogni estensione finita $K$ di $F$, ...
Buongiorno, consideriamo l'equazione 3x+5y+7z+11t=100.
Ho alcune domande.
Argomento equazioni diofantee viene affrontato in qualche liceo o in qualche corso univeristario ?
Vedo su internet post sulla risoluzione con due variabili o anche con 3.
Una equazione di questo tipo come si potrebbe risolvere ?
Come considerate il livello di difficoltà ?
Grazie
OH
Salve, ho un problema con questo esercizio e spero che qualcuno possa aiutarmi:
Sia f una funzione così definita:
$ f: P(NN) - \{ emptyset \} -> N $, $f(X) = min X$.
Ora, indicato con $R$ il nucleo di equivalenza di $f$, si descrivano in modo esplicito $ [{0,5}]_R $ ed $ [\{ 2^n | n in NN^**\} ]_R nn P(\{1, 2, 3\}) $
dove con $NN^**$ intendo l'insieme $NN$ privato dello zero.
Non so come procedere, pensavo di considerare tutti gli insiemi il cui minimo è $0$ per ...
Salve, dovrei svolgere questo esercizio ma non riesco a trovare nessuna definizione/spiegazione per un elemento che 'commuta' con un altro. Spero qualcuno mi possa aiutare..
Determinare l'insieme H di tutte le permutazioni di S6 che commutano con la trasposizione t = (12) e la sua cardinalità. H è un sottogruppo di S6? Motivare la risposta.
Al secondo punto saprei rispondere se avessi la risposta al primo.
Buongiorno a tutti,
ho inserito informazioni sbagliate. Il mio quesito era il presente:
Dire se Q[i$sqrt6$] è un dominio fattoriale, principale o euclideo. Non riesco a capire come iniziare.
Come approccio ho pensato di negare che sia fattoriale, quindi ho preso un numero in Q[i$sqrt6$] ed ho cercato di far vedere che non esiste una fattorizzazione unica per scriverlo il numero in questione è
10 = (2+i$sqrt6$) (2-i$sqrt6$) = 2 $*$ 5
Sono ...
\( \newcommand{\cat}[1]{\mathit{#1}} \)Siano \( \cat C \), \( \cat D \) ed \( E \) tre categorie [1], e si considerino due funtori \( F\colon\cat D\to\cat C \), \( G\colon\cat E\to\cat C \).
Definisco \( F\downarrow G \) come la categoria che ha per oggetti le triple \( (d,e,f) \), dove \( d \) ed \( e \) sono rispettivamente un oggetto di \( \cat D \) e un oggetto di \( \cat E \), ed \( f \) è un morfismo \( f\colon Fd\to Ge \) della categoria \( \cat C \); e per morfismi \( ...
Se \( V \) è uno spazio vettoriale sul campo \( K \), c'è un funtore (controvariante) ovvio \( \mathit{Vect}_K^{\mathrm{op}}\to\mathit{Vect}_K \) che mappa uno spazio sul suo duale, e un'applicazione lineare \( \phi \) col la pre-composizione \( {-}\circ\phi \). Questo ragazzo sarebbe il funtore (controvariante) rappresentato dallo spazio \( K \), se non che il funtore rappresentato ha codominio in \( \mathit{Set} \).
La domanda è, quindi: "gli homset della categoria \( \mathit C \) hanno ...
Buonasera,
potreste per favore darmi una delucidazione sul prodotto diretto di due domini?
Da fonti bibliografiche e dagli appunti delle lezioni ho appreso che pur avendo due domini A e B, non succederà mai che A x B sia un dominio.
Ma se considerassi che uno è un dominio e l'altro è {0}, riesco a dimostrare che AxB è un dominio?
Ho supposto A dominio e B={0}, se considero (a,0), (a',0) $in$ Ax{0}
(a,0)(a',0)=(0,0) $\Leftrightarrow$ (a,0)=(0,0) $vv$ (a',0)=(0,0)
se ...
come faccio a scrivere secondo la definizione n! per n>n* ad esempio per n*=5
grazie!
Questa notte pensando un po', mi sono chiesto se fosse vero o falso quanto segue, ma non riesco ne a dimostrarlo ne a darne un controesempio.
Siano \(p,q \) due numeri primi distinti e siano \(x,y \in \mathbb{N} \), abbiamo che
\[ \frac{\log(p)}{\log(q)} = \frac{\log(x)}{\log(y)} \]
se e solo se \( x = p^n \) e \( y= q^n \) per qualche \( n \in \mathbb{N}^* \).
Una direzione è immediata, l'altra ad intuito direi che è vera, ma non riesco proprio a capire come poterla dimostrare.
4
Studente Anonimo
2 mag 2020, 21:07
Partendo dal fatto che \(\mathbb N\) è un oggetto iniziale di \(\sf Dyn\) mostrate il "principio di induzione": se \(P : \mathbb N \to \{0,1\}\) è una proposizione che soddisfa le seguenti due proprietà
i1. \(P0\) è vera
i2. se \(Pn\) è vera, allora \(P(n+1)\) è vera.
Allora \(Pn\) è vera per ogni \(n : \mathbb N\).
Ho provato ad ottenere l'identità $(delta)^2$ $=(x_1-x_2)^2 (x_2-x_3)^2 (x_3-x_1)^2 $ $=(q/2)^2 +(p/3)^3$, con $p=(x_1+x_2+x_3)$ ed $q=x_1x_2x_3$, pur avendo eseguito correttamente i calcoli, l' uguaglianza risulta impossibile, dove commetto l'errore?
Raga, ho il seguente quesito:
Se e solo se Guido rientra entro le 20 incontrerà il fratello. Guido non ha incontrato il fratello. Individuare tra le seguenti l'affermazione falsa.
Con le possibili risposte:
a. Guido è rientrato sicuramente alle 21 in punto
b. Guido è rientrato dopo le 20
c. Guido è rientrato dopo le 20 ma non è possibile sapere l'ora con precisione
d. Guido non rientrato prima delle 20
La risposta corretta mi segna la a.
Mi aiutate a capire che regola logica è stata ...
Buongiorno, ho il seguente esercizio:
Provare che l'insieme $S$ delle matrici quadrata dalla forma \(\displaystyle\begin{vmatrix} x & 0 \\ z & v \end{vmatrix} \) su $ZZ_4$ è stabile rispetto all'operazione $cdot$ in $M_2(ZZ_4)$ e che la struttura algebrica $S(cdot)$ è un semigruppo unitario. Determinare gli elementi invertibili di $S(cdot)$.
Mi sono risposto così:
1) Per verificare la stabilità occorre provare $acdotb$ per ...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo