Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] proposizione booleana è costruita a partire da un certo numero di variabili logiche Xl, ... Xn che possono assumere solo due valori, 0 e introdotto da A.K. Mackworth nel 1973 . Il formalismo dello spazio gradiente, anche in versioni più sofisticate ...
Leggi Tutto
Perceptron: passato e presente
Gérard Dreyfus Léon Personnaz
(Laboratoire d'Électronique, École Supérieure de Physique et de Chimie lndustrielles, Parigi, Francia)
Gérard Toulouse
(Laboratoire de Physique, [...] settori di applicazione. Storicamente, le prime idee sui neuroni formali (con uscite binarie o continue) sono emerse come astrazioni in particolare riguardo la loro capacità di effettuare operazioni logiche e binarie. Negli anni Cinquanta e Sessanta, ...
Leggi Tutto
Musica elettronica ed elettronica musicale
Lorenzo Seno
A partire dalla fine dell’Ottocento fino alla Seconda guerra mondiale, grazie alla diffusione dell’elettricità e dell’elettronica, fanno la loro [...] elettronico per generare partiture tradizionali secondo schemi formali ed estetici definiti dal compositore-programmatore. In OSC, un protocollo trasportabile su diversi strati fisici e logici (Ethernet, UDP ecc.) che permette di scambiare, ...
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. [...] teoria degli automi finiti a parole infinite (v. oltre); l'altra, lo studio dei legami tra teoria degli automi e logicaformale. In questo quadro, Büchi ha dimostrato che i linguaggi razionali sono precisamente quelli che si possono definire in 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 [...] l'estensione della teoria degli automi finiti a parole infinite, l'altra lo studio dei legami tra teoria degli automi e logicaformale. In questo quadro, Büchi ha dimostrato che i linguaggi razionali sono proprio quelli che si possono definire in un ...
Leggi Tutto
Perceptron
Gérard Dreyfus
Léon Personnaz
Gérard Toulouse
Le prime idee sui neuroni formali (con uscite binarie o continue) sono emerse come astrazioni nel corso degli studi sulle modalità di funzionamento [...] nervoso, in particolare riguardo la loro capacità di effettuare operazioni logiche e binarie. Negli anni Cinquanta e Sessanta del XX pratico sono fonte di ispirazione.
Neuroni formali e perceptron
Un neurone formale, o semplicemente neurone, è un ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] . base dei dati: I 343 b. ◆ [ELT] [INF] L. di macchina: lo stesso che l. macchina (v. oltre). ◆ [ALG] [FAF] [INF] L. formale o formalizzato: v. oltre: L. logici. ◆ [ELT] [INF] L. interattivo di tipo grafico: v. base dei dati: I 343 a. ◆ [ELT] [INF] L ...
Leggi Tutto
linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono [...] permettono al programmatore di lavorare su vere e proprie operazioni logiche, lasciando a un programma, detto compilatore, il compito a tutti i linguaggi
Nonostante profonde differenze, formali e sostanziali, i linguaggi di programmazione si ...
Leggi Tutto
In informatica, informazione elementare codificabile o codificata.
D. analogici e d. digitali
La rappresentazione di un’informazione può essere realizzata da d. analogici e da d. digitali. I d. analogici [...] del supporto che registra i d. stessi.
L’organizzazione, sia logica sia fisica, dei d. può essere descritta mediante una classificazione dei d., ovvero nella verifica che essi siano rispondenti a predefiniti requisiti formali (ingl. data validation). ...
Leggi Tutto
SOFTWARE
Carlo Ghezzi
Ester Capuzzo
Ingegneria del software. - Nel contesto di questa voce, il termine software verrà usato in un'accezione ampia, che comprende sia il prodotto, cioè l'insieme dei [...] e transizioni a posti. La rete di Petri è un formalismo operazionale: lo stato di un sistema è rappresentato mediante una a operare, fornendo una descrizione concettuale delle relazioni logiche tra di essi e dei vincoli che devono intercorrere ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...