Sigla di Backus-Naur Form, primo esempio di metalinguaggio utilizzato in informatica per descrivere in modo rigoroso la sintassi di un linguaggio formale, in particolare di un linguaggio di programmazione; [...] consente di specificare in più passi quali sequenze di simboli sono accettabili nel linguaggio che si vuole definire (nel caso che questo sia un linguaggio di programmazione, le sequenze accettabili corrispondono ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] elaboratori elettronici, molti temi della l.m. si sono sviluppati in collegamento con i temi di base dell'informatica.
Sintassi e semantica
La parte sintattica di una teoria logica si chiama calcolo logico. L'aspetto semantico di una teoria logica ...
Leggi Tutto
In logica matematica, scienza che ha per oggetto una teoria, detta teoria-oggetto. Si usa distinguere una m. sintattica, o sintassi, da una m. semantica, o semantica. La sintassi ha per oggetto le sole [...] proprietà formali o strutturali delle espressioni della teoria, la semantica studia invece anche i significati dei simboli ...
Leggi Tutto
Caso grammaticale caratterizzato nelle lingue indoeuropee dalla massima uniformità desinenziale, dall’elevata frequenza, da notevole stabilità diacronica. La sintassi scolastica moderna distingue diversi [...] valori nell’a. latino e greco: l’a. retto da un verbo transitivo e l’a. libero, il quale ha vari significati (durata, estensione, termine di movimento). Si distinguono inoltre, in opposizione all’a. ordinario: ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] funzione composta: dz /dx = dz /dy × dy /dx. Il suo linguaggio algebrico si adatterà al trattamento del continuo creando una sintassi in grado di evitare i paradossi noti già ai greci. Considerare il punto y + dy significa in fondo solo prendere il ...
Leggi Tutto
PERIODO
Giorgio Pasquali
. Metrica. - Termine di ritmica classica (περίοδος, periŏdus) che la ritmica (come, in un significato parallelo, la sintassi) ha desunto dalla musica. In ritmica intendiamo, [...] e già gli antichi intendevano, il tratto di strofa o sistema compreso tra due "fermate": la fermata è caratterizzata dalla illimitata possibilità di iato e della syllaba anceps. Un periodo non comprende ...
Leggi Tutto
Grammatico greco vissuto in Roma nel 1º sec. d. C., sotto l'imperatore Claudio; scrisse in greco di grammatica e sintassi latina in relazione al greco. Se ne hanno citazioni nei grammatici latini. Sembra [...] appartenere a lui lo scritto contro il De republica di Cicerone confutato da Svetonio, che è attribuito a Didimo detto Calcentero ...
Leggi Tutto
metateoria
In logica matematica, teoria che ne ha per oggetto un’altra, detta teoria-oggetto. Si usa distinguere una m. sintattica, o sintassi, da una m. semantica, o semantica. La sintassi ha per oggetto [...] le sole proprietà formali o strutturali delle espressioni della teoria, la semantica studia invece anche i significati dei simboli (➔ teoria) ...
Leggi Tutto
Rappresentazione sistematica di una lingua e dei suoi elementi costitutivi, articolata tradizionalmente in fonologia (dottrina dei suoni di cui è costituita la parola), morfologia, sintassi, lessicologia [...] Trace, limitata però a fonetica e morfologia; il sistema della sintassi è trattato nell’opera di Apollonio Discolo.
La g. latina e distrugge definitivamente gli schemi ‘logici’ universali; la sintassi ne esce approfondita e snellita, e in generale la ...
Leggi Tutto
Lingua semitica, derivata dall’antico etiopico (ge’ez), o da un suo dialetto; ha subito forti alterazioni nella fonetica, nella morfologia e nella sintassi, e infiltrazioni cuscitiche nel lessico. È parlata [...] nell’Abissinia centrale, meridionale e occidentale, in una zona che non corrisponde quindi, attualmente, alla regione che le ha dato il nome, l’Amhara (➔). I suoi più antichi documenti (canti in onore ...
Leggi Tutto
sintassi
s. f. [dal gr. σύνταξις «associazione, organizzazione», comp. di σύν «con, insieme» e τάξις «sistemazione»]. – 1. Nella linguistica descrittiva, una delle quattro parti tradizionali della descrizione linguistica, che ha per oggetto...
sintano
s. m. [dall’ingl. syntan, comp. di syn(thetic) «sintetico» e tan(ning) «concia»]. – In chimica organica, nome generico di prodotto sintetico idrosolubile sostitutivo dei materiali vegetali concianti, generalm. ottenuto per condensazione...