La grande scienza. Semiconduttori
Franco Bassani
Semiconduttori
Il modo di comunicare e produrre nella società di oggi è stato a tal punto influenzato dalle tecnologie informatiche da indurre conseguenze [...] gruppo IV (C, Si, Ge, Sn), e successivamente sui composti binari dei gruppi III-V e II-VI di simmetria nota e particolarmente da Federico Faggin, il quale nel 1972 realizzò la logica e il disegno che permisero la creazione del primo microprocessore ...
Leggi Tutto
Numeri, teoria dei
Larry Joel Goldstein
La teoria dei numeri è il settore della matematica dedicato allo studio delle proprietà degli interi, cioè dell'insieme ℤ costituito dai numeri
…, −4, −3, −2, [...] polinomio quadratico omogeneo ax2+bxy+cy2 è chiamato forma quadratica binaria. Il lavoro di Gauss sull'argomento affronta due problemi principali Hilbert si fonda sostanzialmente su metodi di logica matematica.
La teoria delle funzioni automorfe
La ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] un'origine strettamente matematica; essa risale ai lavori di logici dei primi decenni del Novecento, quali Emil L. Post 8] t=abbabaab…
definita come segue. Sia β(n) il numero di 1 nello sviluppo binario di n; allora tn=a, se β(n) è pari e tn=b se è ...
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 [...] sintattico è localmente idempotente e commutativo.+1
Automi e logica
Si deve a Richard Büchi l'idea di introdurre gli t = abbabaab…
definita come segue: sia β(n) il numero di 1 nello sviluppo binario di n, allora tn=a se β(n) è pari e tn=b se è ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] può essere spiegata dai condizionamenti cui è soggetta piuttosto che dalle logiche di scelta dell'attore, il presupposto è che "le relazioni di tipo teorico. Il risultato dell'analisi consiste in una matrice binaria n⟨P8>n in cui n è il numero dei ...
Leggi Tutto
Sistema sociale
Richard Münch
L'approccio sistemico alla realtà sociale
Parlare di 'sistemi sociali' presuppone l'applicazione della teoria generale dei sistemi all'analisi della realtà sociale (v. [...] In questo senso il codice di un sistema opera una distinzione binaria: ciò che può essere collegato in modo dotato di senso alla della società stessa; si tratta peraltro di una conseguenza logica sul piano della costruzione teorica, ma non è affatto ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] E quanto più il modello (il "concepito") coglie la logica interna di un sistema reale (l'"osservato") attraverso le prevedibile con una probabilità superiore a 1/10; se è binaria, con una probabilità superiore a 1/2).
Ulteriormente perfezionato ...
Leggi Tutto
Neuroscienze computazionali
Paolo Del Giudice
Giorgio Parisi
In questo testo sarà illustrata una famiglia di modelli che formalizzano idee e ipotesi sulla logica che presiede alla formazione di rappresentazioni [...] dinamica con feedback in una rete di neuroni. Per comprendere meglio la logica del modello è utile rifarsi alla metafora del paesaggio, in cui LTP hebbiano e LTD. Nel caso di sinapsi binarie è stato dimostrato che, se a ogni stimolazione ciascuna ...
Leggi Tutto
L'analisi dell'attività sportiva attraverso strumenti informatici
Anna Ludovico
La rappresentazione computerizzata dei movimenti sportivi
Possiamo considerare l'anglismo ormai universale del termine [...] , non rappresentata. Imitazione e rappresentazione sono due tipi logici diversi: l'una è elemento della classe dell'altra istruzioni date al computer sono in codici a notazione binaria (acceso/spento). Questo tipo di linguaggio di programmazione ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] interpretazione v è un suo modello; un enunciato E è una conseguenza logica di un insieme di enunciati I se e solo se ogni modello antecedente e conseguente e “” denota la relazione binaria di deducibilità tra successioni di formule. Dati ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
binario1
binàrio1 agg. [dal lat. tardo binarius, der. di bini «due per volta»]. – 1. Composto di due unità, di due elementi: divisione b., nell’esercito, la divisione composta da due reggimenti di fanteria; stelle b., sinon. di stelle doppie....