TOPOLOGIA (v. analysis situs, I, p. 87; topologia astratta, App. II, 11, p. 1004; topologia, App. III, 11, p. 960)
Santuzza Baldassarri Ghezzo
La t. oggi è una delle discipline fondamentali della matematica; [...] o per le sue applicazioni, sono validi nelle varie classi di spazi che si ottengono; anzi talvolta queste proprietà hanno riflessi anche negli spazi che solo ammettono estensioni in spazi appartenenti a tali classi. Importanti per questo motivo sono ...
Leggi Tutto
GRAFO
Francesco Speranza
. Con linguaggio informale, si può dire che un g. è formato da certe entità (vertici) e da certi collegamenti fra queste (spigoli o archi): s'intende che ciascuno spigolo collega [...] insieme delle coppie di elementi associati nella relazione: esso è privo di spigoli in parallelo. Le proprietà delle relazioni si traducono in proprietà dei g.: per es., la relazione è riflessiva se e solo se per ogni vertice del g. v'è un laccio.
Un ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] , se A è l'insieme i cui elementi sono caratterizzati dalla proprietà di non appartenere a se stessi, sorge il problema di stabilire che, in una data struttura, denoti una relazione riflessiva, simmetrica e transitiva e che permetta la sostituzione ...
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 [...] ); la logica K+□p⊃□p risulta invece completa rispetto a tutte le strutture che sono riflessive, transitive e dotate di almeno un punto terminale, ma questa proprietà è definibile solo al secondo ordine.
Le logiche in cui □ è interpretato come 'è ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] come ⌝L=Σ*−L. I linguaggi si indicano specificando le proprietà che caratterizzano le loro parole, per esempio:
[2] formula simbolo D1∣−*D2, ove la relazione ∣−* è la chiusura riflessiva e transitiva di ∣−. Si definisce così il linguaggio accettato da ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] punto w di un modello ⟨W,R> se e solo se R è riflessiva. L'enunciato □α→□□α, che caratterizza S4, vale in ogni punto di un ⟨W,R> se e solo se R soddisfa tale proprietà. Chiaramente, ciò che la formula asserisce (possibile implica necessario) ...
Leggi Tutto
In senso ampio, la costituzione e la distribuzione degli elementi che, in rapporto di correlazione e d’interdipendenza funzionale, formano un complesso organico o una sua parte; è così chiamato anche il [...] definita una s. d’ordine se è ivi definita una relazione riflessiva, antisimmetrica e transitiva; per es., l’insieme dei numeri definita una famiglia di sottoinsiemi che godono di certe proprietà rispetto alle operazioni di unione e di intersezione ...
Leggi Tutto
riflessivo
(ant. reflessivo) agg. [der. del lat. reflexus, part. pass. di reflectĕre «riflettere»]. – 1. a. Che concerne la riflessione (della mente): facoltà r.; abito riflessivo. b. Che impone una riflessione o è caratterizzato da riflessione:...
riflessivita
riflessività s. f. [der. di riflessivo]. – 1. Carattere riflessivo, abitudine alla riflessione: non gli manca la r., anche se è un ragazzo. 2. In matematica, proprietà di r., espressione talvolta usata in luogo di proprietà riflessiva...