Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] P. Fermat, R. Descartes, I. Barrow (il maestro di Newton), B. Pascal e altri studiarono i primi problemi relativi alla tangente a una curva fluidi. Uno dei risultati tipici di a. sulle varietà, invece, è il teoremadi Atiyah-Singer, che lega la ...
Leggi Tutto
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] "Tutti i cigni sono bianchi" dal semplice fatto di non averne mai visti di neri. L'induzione ha incontestabilmente un valore euristico, ma non ha valore di prova assoluta.
Il teoremadi incompletezza di K. Gödel mostra, d'altronde, che un sistema ...
Leggi Tutto
macchina
màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] diPascal, 1642) o anche operazioni più complesse realizzate come sequenze di operazioni semplici (m. di Leibniz discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. di Turing (v. Gödel, teoremadi: III 56 f ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] la quantificazione dei predicati è detta l. del secondo ordine: v. Gödel, teoremadi: III 54 e. ◆ [FAF] L. enunciativa: lo stesso che l. a B. Pascal, P. Fermat, G.W. Leibniz, che introdussero e approfondirono il concetto di probabilità; J.S ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] stessa β−forma normale. Vale questo in generale? Una risposta affermativa è data dal teoremadi Church-Rosser (1936): Se P ▷β M e P ▷β N, allora esiste soddisfatta se si prende y=Dante oppure y=Pascal.
Come mostra questo esempio la risoluzione SLD è ...
Leggi Tutto
intelligènza artificiale (IA) Disciplina che studia se e in che modo si possano riprodurre i processi mentali più complessi mediante l'uso di un computer. Tale ricerca si sviluppa secondo due percorsi [...] problem solver, destinato a emulare il comportamento umano nella soluzione di problemi di tipo generale; nel 1959 H. Gelertner presentò un programma per la dimostrazione diteoremidi geometria e, subito dopo, uno per l’integrazione simbolica.
In ...
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, [...] di provare l'inclusione stretta tra le classi temporali e tra le classi spaziali (teoremidi gerarchia). A tali studi hanno fatto seguito quelli di utilizzato per definire la semantica di importanti linguaggi imperativi (Pascal), funzionali (ML) e ...
Leggi Tutto
INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] di banda di 4 kHz, e pertanto, in base al teorema del campionamento, la frequenza con la quale debbono essere presi i campioni è di 8 di variabile, assegnamento e iterazione. Esempi classici di linguaggi che ricadono in questa categoria sono PASCAL, ...
Leggi Tutto
pascaliano
agg. – Relativo allo scienziato e filosofo fr. Blaise Pascal (1623-1662), alla sua opera, alle sue teorie filosofiche e scientifiche: geometria p., la geometria di uno spazio nel quale valga il teorema di Pascal (o di Pappo-Pascal,...
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...