Teoremi Base Analisi

Def: Massimo minimo relativo (locale) Sia $x_{0} \in \mathcal{A}$ si dice punto di massimo relativo (o locale) se: $$ \exists r > 0 : f(x) \leq f(x_{0}), \, \forall x \in \mathcal{A} \cap I_{r}(x_{0}) $$ Dove $I_{r}(x_{0}) = \left[ x_{0} -r, x_{0} + r \right]$, è un intorno Def: Massimo minimo assoluto Sia $x_{0} \in \mathcal{A}$ si dice punto di massimo assoluto se vale $$ f(x) \leq f(x_{0}), \, \forall x \in \mathcal{A} $$ Fermat 6....

3 min · Xuanqiang 'Angelo' Huang

Ampere e Faraday

Relazioni con fili - Ampere Legge di Biot-Savart/Formalizzazione esperienza di Ampere 🟩 Poniamo che ho due fili in cui scorra della corrente, voglia capire la forza per unità di lunghezza del filo uno su due e viceversa. So che entrambi generano campo magnetico So che il campo magnetico induce forza su correnti in movimento. Supponiamo che la loro distanza sia $D$, allora avremo che: Per la prima legge so: $$ d\vec{B} = \mu_{0}i d\vec{l} \times \frac{\hat{r}}{4\pi r^{2}} $$ da questo posso calcolare il campo magnetico totale, in un modo simile a quanto fatto in precedenza per il campo elettrico (solo che in questo caso abbiamo il prodotto seno, quindi l’angolo che conviene scegliere è un po’ diverso), e una volta che ho questo posso usare la seconda legge per avere la forza, questo è il piano....

10 min · Xuanqiang 'Angelo' Huang

Common problems in Theoretical CS

This note is useful to gather in a single place the description of some common problems in CS and their theoretical implications explained in other notes. The Clique problem Description of the problem This problem is in NP, find all sub-graphs where all nodes are connected (this set of nodes forms a complete graph). We can prove that the problem is in NP because there is an easy non-deterministic algorithm that computes it....

7 min · Xuanqiang 'Angelo' Huang

Introduzione a blockchain

Blockchain stack Vogliamo andare ora a descrivere la stack delle blockchain, in modo simile a quanto fatto con le internet, perché anche qui possiamo organizzarlo a stack! Nota: le astrazioni fra questi layer non sono definiti bene come osi osint. Layer - 0 Internet Internet (semi-reliable point-to-point communication) and cryptography (specifically, cryptographic hash functions and secure digital signatures). Layer - 1 Consensus Ci concentreremo sui protocolli di questo per la maggior parte di quanto faremo!...

2 min · Xuanqiang 'Angelo' Huang

Rappresentazione della conoscenza

Questo è stato un capitolo molto vasto, che andava in certi punti a toccare la filosofia, la fisica. Un aspetto, quello di codifica delle informazioni reali in un ambiente logico (che per quanto i miei pregiudizi siano, ritengo una cosa molto impossibile, molto limitata e altrettanto impossibile). Si tratta dello studio della logica per rappresentazione di conoscenza. Fatto sta che mi sembra assurdamente teorico tanto da non aver nessun utilizzo (probabilmente mi sbaglio di grosso), e che sia roba da filosofi....

7 min · Xuanqiang 'Angelo' Huang