simbolo
Fiorangela Oneroso
Nell’ambito della psicoanalisi si parla di simbolo nel senso di una produzione dell’inconscio. Esso è inteso originariamente da Sigmund Freud come la rappresentazione manifesta [...] che rappresenta, come nel caso dei s. matematici e della logica simbolica. Un’analisi filosofica ampia sul problema del s. è voracità). In tal senso, per il bambino, il gioco è l’equivalente del sogno nell’adulto. Il giocattolo è il s. di qualcosa d ...
Leggi Tutto
algebra
algebra ramo della matematica che studia il calcolo numerico generalizzandone le operazioni mediante l’introduzione delle lettere dell’alfabeto a rappresentare i numeri. Un’altra caratteristica [...] di primo grado ax + b = 0, con a ≠ 0, si riscrive l’equazione nelle forme equivalenti ax + b − b = −b (cioè: ax = −b) e quindi ax/a = nel 1843) e l’applicazione di metodi di calcolo algebrico alla logica (come in A. De Morgan e G. Boole) e ai ...
Leggi Tutto
farmacologia
Silvio Garattini
Farmaci equivalenti o generici
I farmaci che entrano in commercio hanno in generale un doppio nome: quello del principio attivo e quello del prodotto. Durante tutto il [...] farmaco poco specifico e comunque meno efficace. La traduzione più logica del termine generic dovrebbe essere «equivalente»; si dovrebbe dunque parlare di farmaci equivalenti. Questi devono essere eguali – nei limiti della variabilità analitica – ai ...
Leggi Tutto
danno
Emanuele Bilotti
Insieme di conseguenze sfavorevoli che un evento ha prodotto a carico di un soggetto determinato, e segnatamente a carico della sua persona e/o dei suoi beni (d. individuale) [...] a patto di attrarre anche quei valori in una logica propriamente mercantile e, dunque, che anche per essi si ritenga socialmente accettabile l’idea dell’equivalenza monetaria. La sensibilità contemporanea, indubbiamente, procede in questa direzione ...
Leggi Tutto
funzione ricorsiva
funzione ricorsiva in logica, funzione aritmetica, cioè di dominio e codominio N, definita a partire da alcune funzioni base e attraverso alcune regole costruttive che ne garantiscono [...] (K. Gӧdel, S.C. Kleene), di lambda-definibilità (A. Church), di automi ideali (A.M. Turing) ecc. L’equivalenza dei diversi approcci venne interpretata come una prova del fatto che essi fornivano davvero una caratterizzazione adeguata della nozione ...
Leggi Tutto
lineare
lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] dipendono in maniera essenziale da un'equazione l., parlandosi così di equivalenza l., sistema l. di curve o di superfici, spazio l., e dei quantificatori (per es., i connettivi della logica l. permettono di precisare l'ordine secondo cui vanno ...
Leggi Tutto
appalto
Contratto «col quale una parte assume, con organizzazione dei mezzi necessari e con gestione a proprio rischio, il compimento di un’opera o di un servizio verso un corrispettivo in danaro» (art. [...] tipologia delle procedure di aggiudicazione. Rispondendo a una logica di maggiore flessibilità, esso ha aggiunto infatti alle mediante una più estesa applicazione del principio di equivalenza delle specifiche;
• nuova regolamentazione dei criteri di ...
Leggi Tutto
Stato soggettivo d’incertezza, da cui risulta un’incapacità di scelte teoretiche o pratiche, essendo gli elementi oggettivi considerati insufficienti a determinarle in un senso piuttosto che in quello [...] il d. come l’incertezza soggettiva che deriva dall’«equivalenza di ragionamenti opposti» e vede nello scioglimento dei d. esistono più verità privilegiate e la critica corrosiva di ogni logica di scuola sono i motivi messi in circolazione dai Saggi ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] e dei funzionali ricorsivi) che nell’informatica. Nella logica, sopratutto dopo la individuazione da parte di Haskell B oggetti termini quozientati rispetto a opportune relazioni di equivalenza definite a partire dalle regole di riscrittura. Centrali ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] nel definire una classe di elementi attraverso una relazione di equivalenza la quale, all'interno di un insieme dato, identifica euclidea). ◆ [ALG] [FAF] D. metalinguistica: nella logica matematica, una d. espressa in un metalinguaggio, ossia in ...
Leggi Tutto
OR
‹òo›, all’ital. ‹òr› cong., ingl. – Voce corrispondente alla cong. disgiuntiva ital. o, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di disgiunzione o somma logica di due o più...
valore
valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: un uomo, una donna di v., di...