La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] , ecc. e altra cosa è considerarli come elementi di una nuova disciplina che si occupa delle partizioni di un insiemefinito. Soltanto quando questi strumenti sono interpretati da un punto di vista combinatorio si può parlare di una nuova branca ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] realtà è sufficiente una parola su un alfabeto fissato, detto nastro) sulla quale si può leggere e scrivere; ha inoltre un insiemefinito di stati. Si dice che riconosce la parola w assegnata come ingresso se lo stato nel quale si ferma è uno stato ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] carattere di x.
Definiamo allora l'automa a pila (AP) come collezione di sette entità (S,Σ,Π,s′,p′,F,∂) ove:
S è un insiemefinito di stati;
Σ è l'alfabeto d'ingresso;
Π è l'alfabeto della pila;
s′∈S è lo stato iniziale;
p′∈Π è il carattere iniziale ...
Leggi Tutto
Serie storiche, analisi delle
Franco Giusti
Finalità
Una serie storica è un insiemefinito cronologicamente ordinato di osservazioni x₁, x₂, x₃,..., xT relative a un carattere X, generalmente equidistanti, [...] di variabili casuali ordinate, mentre la serie storica ne è una realizzazione finita, costituita da valori - generalmente equidistanti - assunti da un insiemefinito di variabili estratte dal processo. I problemi d'inferenza riguardano la stima ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] Formalmente la macchina di Turing corrispondente a un algoritmo di decisione è una collezione di entità (S,s′,Σ,Π,b,F,∂) ove:
S è un insiemefinito di stati; s′∈S è lo stato iniziale; Σ è l'alfabeto d'ingresso; Π è l'alfabeto del nastro, Σ⊂Π; b∈Π−Σ è ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Roger Cooke
Brian Griffith
La topologia degli insiemi di punti
La topologia generale o topologia degli insiemi [...] così avere punti eccezionali isolati senza che venga meno l'unicità; in particolare un insiemefinito qualunque di punti eccezionali. Per un insieme infinito vi sarebbe un punto di accumulazione di punti eccezionali (teorema di Bolzano-Weierstrass ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] , l'impiego delle nozioni di classe e di corrispondenza biunivoca, al posto di quella di ordine, per la caratterizzazione degli insiemifiniti: in tal modo egli è il primo che abbia studiato la correlazione fra i due modi diversi e indipendenti di ...
Leggi Tutto
Per il parlante comune la comunicazione orale consiste di suoni che possono essere trascritti ortograficamente o foneticamente. Così, una parola come casa può essere resa in forma scritta come una sequenza [...] alla fisiologia e all’anatomia del parlante. Sicché le altezze (o target) tonali di cui ogni parlante dispone costituiscono un insiemefinito. In sostanza, la F0 può salire o scendere, oppure rimanere più o meno stabile nel tempo. L’ampiezza (o range ...
Leggi Tutto
enunciati, linguaggio degli
enunciati, linguaggio degli linguaggio formale per esprimere affermazioni elementari a cui è attribuibile un valore di verità e per comporle tra loro, in modo tale che sia [...] . L’alfabeto del linguaggio degli enunciati è formato da:
• un insieme infinito numerabile di lettere enunciative o proposizionali: a, b, c, ...;
• un insiemefinito di connettivi rappresentati dai simboli: ￢, ∧, ∨, ⇒, ⇔;
• una coppia di parentesi ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] una macchina astratta di un certo tipo.
Una macchina di Turing (MT) consiste in un insiemefinito di stati e in un nastro monodimensionale finito, ma potenzialmente illimitato in entrambe le direzioni, suddiviso in celle, ciascuna delle quali è vuota ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...