Mappa cognitiva

Le leggi di De Morgan sono una coppia di regole di trasformazione dell'algebra booleana, fondamentali per la progettazione di circuiti digitali. La prima legge afferma che la negazione di una congiunzione è la disgiunzione delle negazioni: [latex]\neg(P ´land Q) ´iff (´neg P) ´lor (´neg Q)[/latex]. La seconda afferma che la negazione di una disgiunzione è la congiunzione delle negazioni: [latex]\neg(P \lor Q) \iff (\neg P) \land (\neg Q)[/latex].

Un manifesto differenziabile è uno spazio topologico localmente simile allo spazio euclideo, che consente di applicare il calcolo. Ogni punto ha un vicinato che è omeomorfo a un sottoinsieme aperto di [latex]\mathbb{R}^n[/latex]. Questi sistemi di coordinate locali, detti grafici, sono correlati da funzioni di transizione lisce, che formano un atlante che definisce la struttura differenziabile del manifold.

L'elettronica digitale si basa sull'algebra booleana, un sistema logico matematico introdotto da George Boole. Utilizza due valori, tipicamente 0 e 1 (o falso e vero), e tre operazioni di base: AND (congiunzione), OR (disgiunzione) e NOT (negazione). Queste operazioni corrispondono direttamente alle porte logiche che costituiscono i componenti fondamentali di tutti i circuiti digitali.

Un omeomorfismo è una funzione continua tra due spazi topologici che ha una funzione inversa continua. Due spazi topologici sono detti omeomorfi se tale funzione esiste. Da un punto di vista topologico, gli spazi omeomorfi sono identici. Questo concetto racchiude l'idea che un oggetto può essere allungato, piegato o deformato in un altro senza strapparsi o incollarsi, come una tazza da caffè in una ciambella.

Il fenomeno di Gibbs descrive il comportamento di una serie di Fourier in corrispondenza di una discontinuità di salto. Le somme parziali della serie presentano un overshoot in prossimità del salto, che non scompare aggiungendo altri termini. Questo overshoot converge a un valore costante pari a circa il 9% dell'altezza del salto, indipendentemente dal numero di termini nella serie.

Questo teorema afferma che in un modello di regressione lineare in cui gli errori hanno media zero, non sono correlati e hanno varianza costante (omoschedasticità), lo stimatore dei minimi quadrati ordinari (OLS) è il miglior stimatore lineare imparziale (BLUE). "Migliore" significa che ha la varianza minima tra tutti gli stimatori lineari imparziali dei coefficienti di regressione, il che lo rende il più preciso.

Questo teorema afferma che per qualsiasi funzione continua [latex]f[/latex] che mappa un insieme convesso compatto su se stesso, esiste un punto [latex]x_0[/latex] tale che [latex]f(x_0) = x_0[/latex]. Questo punto è detto punto fisso. Informalmente, se si prende la mappa di un paese, la si accartoccia e la si posiziona all'interno dei confini del paese, ci sarà sempre almeno un punto sulla mappa direttamente sopra la corrispondente posizione nel mondo reale.

Il teorema di Gauss-Bonnet collega la geometria di una superficie bidimensionale compatta alla sua topologia. Esso afferma che l'integrale della curvatura gaussiana [latex]K[/latex] sull'intera superficie [latex]M[/latex] è uguale a [latex]2\pi[/latex] per la caratteristica di Eulero [latex]\chi(M)[/latex] della superficie. La formula è [latex]int_M K \, dA = 2\pi \chi(M)[/latex].

L'accuratezza si riferisce alla vicinanza di un valore misurato a uno standard o a un valore vero noto. La precisione si riferisce alla vicinanza di due o più misurazioni tra loro. Un sistema di misura può essere preciso ma non accurato, accurato ma non preciso, nessuno dei due, o entrambi. Questi due concetti sono indipendenti l'uno dall'altro nella teoria della misura.

La geometria riemanniana è la branca della geometria differenziale che studia le varietà riemanniane, ovvero varietà lisce dotate di una metrica riemanniana. Questa metrica è un insieme di prodotti scalari sugli spazi tangenti, che variano in modo uniforme da punto a punto. Permette la definizione di nozioni geometriche locali come angolo, lunghezza delle curve, area superficiale e volume, portando a una nozione generalizzata di curvatura.

Nell'algebra lineare, il teorema di rango-nullità afferma che per qualsiasi mappa lineare [latex]T: V \to W[/latex] tra spazi vettoriali di dimensione finita, la dimensione del suo dominio [latex]V[/latex] è la somma del suo rango (la dimensione della sua immagine) e della sua nullità (la dimensione del suo kernel). La formula è [latex]\dim(V) = \text{rango}(T) + \text{nullità}(T)[/latex].

Il teorema dei numeri primi descrive la distribuzione asintotica dei numeri primi tra i numeri interi. Esso afferma che la funzione di conteggio dei primi [latex]\pi(x)[/latex], che dà il numero di primi minori o uguali a [latex]x[/latex], è asintoticamente equivalente a [latex]x / \ln(x)[/latex]. Formalmente, [latex]lim_{x ´a ´infty} \frac{\pi(x)}{x/\ln(x)} = 1[/latex]. Questo fornisce un legame fondamentale tra i primi e il logaritmo naturale.

Statistica che indica la bontà di adattamento di un modello e che rappresenta la proporzione della varianza della variabile dipendente che è prevedibile dalla/e variabile/i indipendente/i. Un R² pari a 1 indica un adattamento perfetto, mentre 0 indica l'assenza di una relazione lineare. Si calcola come [latex]R^2 \equiv 1 - \frac{SS_{res}}{SS_{tot}}[/latex], dove [latex]SS_{res}[/latex] è la somma dei quadrati residui.

L'indice di Fredholm generalizza il teorema di rango-nullità agli spazi infinito-dimensionali come gli spazi di Banach. Per un operatore di Fredholm [latex]T: X \to Y[/latex], il suo indice è definito come [latex]\text{ind}(T) = \dim(\ker(T)) - \dim(\text{coker}(T))[/latex], dove la dimensione del cokernel misura quanto l'immagine sia lontana dall'essere l'intero spazio. Questo indice è un valore intero stabile in presenza di piccole perturbazioni dell'operatore.

Uno spazio topologico è una coppia ordinata [latex](X, \tau)[/latex], dove [latex]X[/latex] è un insieme e [latex]\tau[/latex] è un insieme di sottoinsiemi di [latex]X[/latex], detti insiemi aperti, che soddisfa tre assiomi: 1) L'insieme vuoto [latex]emptyset[/latex] e [latex]X[/latex] stesso sono in [latex]\tau[/latex]. 2) L'unione di un numero qualsiasi di insiemi in [latex]\tau[/latex] è anch'essa in [latex]\tau[/latex]. 3) L'intersezione di un numero finito di insiemi in [latex]\tau[/latex] è anche in [latex]\tau[/latex].