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. [...] -free è stata l'osservazione fatta da Robert McNaughton che essi corrispondono alla parte delprimoordine (cioè senza variabili di insiemi) della detta teoria. Più recentemente è stata introdotta una variante di questa logica, la 'logica temporale ...
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 [...] e Herbert A. Simon in grado di dimostrare teoremi della logica delprimoordine - e di proporre una serie di obiettivi ambiziosi che avrebbero la tendenza comune è quella di partire da teorie già esistenti piuttosto che inventarne di nuove, basando ...
Leggi Tutto
L'Ottocento: fisica. Meccanica dei continui e dei sistemi discreti
Craig G. Fraser
Meccanica dei continui e dei sistemi discreti
Origine dei concetti di sforzo e di deformazione
La teoria matematica [...] le n equazioni lagrangiane del secondo ordine [11] sono equivalenti alle 2n equazioni delprimoordine:
Le [20] e campi elettromagnetici. In alcuni problemi di elettrostatica o di teoriadel potenziale si deve dimostrare che la soluzione V=V(x ...
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 [...] e Herbert A. Simon in grado di dimostrare teoremi della logica delprimoordine – e di proporre una serie di obiettivi ambiziosi che avrebbero la tendenza comune è quella di partire da teorie già esistenti piuttosto che inventarne di nuove, basando ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] descrizione è corretta solamente fino a un'approssimazione delprimoordine: occorre tener conto di effetti minori dovuti a di Jacques-Salomon Hadamard (1865-1963) dove discussero della teoriadel parallelismo a distanza, e Cartan gli fece l'esempio ...
Leggi Tutto
L'Ottocento: astronomia. La meccanica celeste dopo Laplace: la teoria di Hamilton-Jacobi
Craig Fraser
Michiyo Nakane
La meccanica celeste dopo Laplace: la teoria di Hamilton-Jacobi
La teoria di Hamilton-Jacobi, [...] delprimoordine:
Sebbene le equazioni [21], chiamate da Jacobi 'canoniche', abbiano la stessa forma matematica di quelle con perturbazione di Lagrange-Poisson [12], esse sono equazioni del moto e occupano un posto fondamentale nell'intera teoria ...
Leggi Tutto
L'Eta dei Lumi: matematica. La matematica della teoria delle perturbazioni da Euler a Laplace
Curtis Wilson
La matematica della teoria delle perturbazioni da Euler a Laplace
Accanto allo sviluppo dei [...] satelliti di Giove, Lagrange dimostrò che la soluzione delprimoordine per la longitudine e il raggio vettore di potevano essere spiegate e, di fatto, lo sarebbero state; la teoria lunare era stata sviluppata fin quasi al punto in cui tutte le ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] (cioè la relazione R è transitiva).
La cosiddetta teoria della corrispondenza (sviluppata da Johan Van Benthem negli anni un certo interesse. Il primo consiste nell'estendere il linguaggio della logica delprimoordine con un operatore modale M ...
Leggi Tutto
GUARINI, Guarino
Nicoletta Marconi
Figlio di Raimondo ed Eugenia Marescotti, nacque a Modena il 17 genn. 1624. La casa paterna, sul corso Canal Grande di Modena, sorgeva in adiacenza alla casa dei chierici [...] La perfetta combinazione di teoria e prassi consente al G. di superare le mode architettoniche del tempo, per rivolgersi a 'impianto è replicata in alzato dalla potente cornice delprimoordine; pilastri e murature portanti, affiancati da colonne ...
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 [...] studio dei linguaggi star-free è stata l'osservazione da parte di McNaughton che essi corrispondono alla parte delprimoordine di detta teoria, ossia a quella priva di variabili di insiemi. Più recentemente è stata introdotta una variante di questa ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
miṡura s. f. [lat. mensūra, der. di mensus part. pass. di metiri «misurare»]. – 1. a. Il valore numerico attribuito a una grandezza, ottenuto ed espresso come rapporto tra la grandezza data e un’altra della stessa specie assunta come unità (unità...