van
van [Prep. olandese "di, de"] [LSF] Predicato di cognomi olandesi che in questo Volume VII, come nei repertori biografici olandesi, è stato posposto al nome (per es., Waals, Johannes Diederik van [...] der), a eccezione dei nomi di persone di orgine olandese emigrate in paesi di lingua diversa, dove è diventato parte essenziale del cognome ed è scritto con l'iniziale maiuscola (per es., Van Allen) ...
Leggi Tutto
von
von 〈fòn〉 [Prep. ted. "di, de"] [LSF] Predicato di cognomi ted., che in questo vol. VII, come nei repertori biografici ted., di norma è stato posposto al nome (per es., Helmholtz, Hermann Ludwig [...] Ferdinand von), a eccezione dei nomi di persone di origine germanica emigrate in paesi di lingua diversa, dove è diventato parte integrante del cognome ed è scritto con l'iniziale maiusc. (per es., Von ...
Leggi Tutto
poliadico
poliàdico [agg. (pl.m. -ci) Der. di poliade] [LSF] Che è relativo a una poliade, spec. nella matematica, ove equivale a n-adico. ◆ [ALG] [FAF] Predicato, o attributo, p.: nella logica matematica, [...] predicato riferibile a più elementi, come, per es., il predicato "è maggiore di". ...
Leggi Tutto
modalita
modalità [Der. di modale "modo di essere"] [FAF] Nella logica, ciascuno dei modi con cui può configurarsi il nesso tra soggetto e predicato, per es., di necessità, possibilità, impossibilità. [...] ◆ [LSF] Ciascuno dei modi possibili con cui può presentarsi un carattere o un fenomeno, i quali possono differenziarsi o qualitativamente (per es., un corpo generic. elettrizzato può avere carica elettrica ...
Leggi Tutto
Filosofia
L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] loro insieme lo definiscono: d. reale, soprattutto nella filosofia scolastica, quella che ha per oggetto una cosa e ne spiega in parole l’essenza; d. nominale, quella che si limita a spiegare il significato ...
Leggi Tutto
epsilon
èpsilon [gr. epsilòn "semplice"] [LSF] Nome della lettera greca ε (e breve) maiusc. Ε. ◆ [ALG] Operatore ε: introdotto da D. Hilbert nella logica dei predicati del 1° ordine, in relazione a un [...] predicato monadico P sceglie o privilegia un particolare elemento tra tutti quelli che appartengono a P. ◆ [FSN] Mesone ε: v. nucleone: IV 207 b. ...
Leggi Tutto
Lingua derivata dal latino, l’italiano fa parte della famiglia romanza (detta anche, meno spesso, neolatina) insieme a francese, spagnolo, portoghese, gallego, catalano, romeno e altre minori. A causa [...] (21) si vendono giornali
(22) quando si è stanchi, bisogna riposare
I quattro casi sono diversi. Nel primo, si è soggetto del predicato verbale, che è al singolare; nel secondo il soggetto è gli spaghetti, e il si opera come falso riflessivo (è il si ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] la natura e un secondo numero R indipendente da N ed estratto a caso. Come dimostrato da Gary L. Miller e Michael O. Rabin, si ha:
esiste un predicato Z(N,R), con 2〈R〈N, tale che se N è primo allora Z(N,R)=true per ogni valore di R, e se N è composto ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] f(x1,x2) = μy[g(x1,x2,y) = 0] che si legge: f(x1,x2) pari al più piccolo y tale che sia g(x1,x2,y) = 0. Oppure anche, dato il predicato triadico P e supposto che per ogni coppia (x1,x2) esista almeno un y tale che la terna (x1,x2,y) convenga al ...
Leggi Tutto
Filosofia analitica
JJames O. Urmson
di James O. Urmson
Filosofia analitica
sommario: 1. Le origini. 2. Russell e l'analisi classica. a) Le tecniche dell'analisi classica. b) L'analisi classica e la [...] , priva di esistenza piena. Analogamente, potrebbe parere che ‟i draghi non esistono" sia un giudizio in cui il predicato della non-esistenza viene attribuito a un soggetto non-esistente.
Russell sosteneva che questi problemi e altri analoghi sorgono ...
Leggi Tutto
predicato
s. m. [dal lat. praedicatum, part. pass. neutro sostantivato di praedicare (v. predicare), che come termine della logica e della grammatica traduce, nel lat. tardo e mediev., il gr. κατηγορούμενον «detto, asserito»]. – 1. Ciò che...
predica
prèdica s. f. [der. di predicare]. – 1. a. Discorso che il sacerdote tiene in chiesa ai fedeli, parlando dal pulpito, dall’altare o dal presbiterio, su qualche passo della Scrittura o su argomenti di carattere morale, liturgico, sociale,...