algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] P(I),∩,∪,‒〉 dei sottoinsiemi di un insieme dato mentre non sono algebre di Boole né il reticolo dei chiusi né quello degli aperti di uno spazio topologico. Algebre di Boole sono invece i reticoli dei clopen (gli insiemi aperti e chiusi) di uno spazio ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] basano su una singolare proprietà degliinsiemi NP-completi (teorema delle dimostrazioni Si noti che 〈T(S,X),F> è una Σ-algebra. T(Σ)=T(Σ,∅) è chiamata algebra dei termini di base. Consideriamo l'insieme E di equazioni del tipo t=t′ dove t e t′ ...
Leggi Tutto
Imparare a generalizzare
Manfred Opper
(Neural Computing Research Group, Aston University Birmingham, Gran Bretagna)
Questo saggio fornisce un'introduzione alle teorie che mirano alla comprensione della [...] tre regioni:
1) regione in cui m/N≤1. Attraverso la semplice algebra lineare si vede che è sempre possibile imparare tutte le regole per le quali con la sua media su molte realizzazioni degliinsiemi di addestramento. Dalla teoria elementare della ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] in due insiemi, in modo da minimizzare la differenza di valore degliinsiemi stessi, oppure di programmazione ‒ come ML ‒ sono stati aggiunti meccanismi di tipo algebrico per la specifica di tipi di dati e programmi.
Semantica di processi ...
Leggi Tutto
Rete
Mario Salerno
Tomás Maldonado
Cesare Emanuel
Nel campo delle telecomunicazioni, il termine rete indica genericamente un insieme di circuiti e altri impianti mediante i quali viene svolto un servizio [...] in generale di un enorme insieme di informazioni, localizzate nelle memorie degli elaboratori relativi ai vari siti e di sapere più o meno strutturati è essenziale. Insegnare algebra o anatomia descrittiva attraverso un CD-ROM multimediale non è ...
Leggi Tutto
Calcolatori
LLew Kowarski
di Lew Kowarski
SOMMARIO: 1. Definizioni e storia: a) i calcolatori come dispositivi numerici; b) i calcolatori come dispositivi elettronici; c) stadi dello sviluppo storico. [...] J. McCarthy prima del 1960, adatto per problemi di algebra simbolica, di logica non numerica e di strutture di traccia del flusso degli oggetti materiali all'interno della collezione: acquisizione, sistemazione nell'insieme già esistente, prestito ...
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. [...] 'equazione L=b+aLL. Così gli insiemi a−1L=L2 e b−1L=ε appartengono all'algebra generata da L.
Computabilità
Riguardo alla di questi algoritmi si basano su idee che rientrano nel campo degli automi finiti e dei linguaggi formali. Uno dei più famosi è ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] 'IA nella branca della matematica costituita dall'algebra astratta.
L'approccio formale alla risoluzione di di decidere sull'appartenenza o meno di uno stato candidato all'insiemedegli stati finali.
Applicando un operatore a uno stato si ottiene un ...
Leggi Tutto
Intelligenza artificiale
Francesco Amigoni
Viola Schiaffonati
Marco Somalvico
L’intelligenza artificiale è una disciplina recente che negli anni ha fornito un importante contributo al progresso dell’intera [...] nella branca della matematica costituita dall’algebra astratta.
L’approccio formale alla risoluzione di decidere sull’appartenenza o meno di uno stato candidato all’insiemedegli stati finali.
Applicando un operatore a uno stato si ottiene un ...
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 [...] prima trattazione esplicita risale a un lavoro di Stephen C. Kleene degli anni Cinquanta del Novecento e il primo teorema che lo riguarda L=b+aLL. Così gli insiemi a−1=L2 e b−1=ε appartengono all'algebra generata da L.
Computabilità
Riguardo ...
Leggi Tutto
algebra
àlgebra s. f. [dal lat. mediev. algebra, e questo dall’arabo al-giabr, propr. «restaurazione», e quindi «riduzione» (dapprima nel sign. medico-chirurgico, e poi in quello matematico), che compare la prima volta in un trattato arabo...
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...