verita, funzione di
verità, funzione di nella logica proposizionale (→ enunciati, linguaggio degli), legge che associa a ogni stringa finita di valori di verità (per esempio VVFVFVVVF), uno dei due valori [...] di verità è associata una tavola di verità. Le funzioni di verità sono → funzionicalcolabili; infatti è sempre possibile calcolare il valore di verità di una forma enunciativa, conoscendo i valori di verità delle lettere enunciative che vi compaiono ...
Leggi Tutto
KLEENE, Stephen Cole
Matematico e logico matematico americano, nato a Hartford, Connecticut, il 5 gennaio 1909. Dal 1935 professore all'università del Wisconsin, a Madison, dove è stato anche preside [...] ricorsive, che costituiscono l'insieme (comprendente quello delle funzioni ricorsive generali) di tutte le funzionicalcolabili per tutti gli argomenti per cui sono definite. Per queste funzioni K. ha dimostrato il teorema di recursione. Stabilì ...
Leggi Tutto
Turing, macchina di
Turing, macchina di automa universale, elaborato dal logico inglese A.M. Turing, che fornisce una traduzione formale del concetto intuitivo di → calcolabilità. Sebbene introdotta [...] ricorsive. La tesi di → Church afferma appunto che l’insieme delle funzioni ricorsive coincide con quello delle funzionicalcolabili.
Il funzionamento di una macchina di Turing è descritto dall’insieme di istruzioni relative al modo di operare ...
Leggi Tutto
calcolabilita
calcolabilità in logica, termine che indica la possibilità di descrivere in modo sequenziale, deterministico e finito, una procedura di calcolo che consenta di pervenire a un dato risultato. [...] ƒ: N → N), per la quale sia definito un algoritmo che calcoli i valori della funzione stessa. Si distinguono funzionicalcolabili totali e funzionicalcolabili parziali:
• una funzionecalcolabile si dice totale se è definita per ogni numero naturale ...
Leggi Tutto
Post, sistema di
Post, sistema di in logica, uno dei modelli sviluppati per proporre una definizione matematica del concetto intuitivo di → funzionecalcolabile; altri modelli, tutti tra loro equivalenti, [...] può essere considerato come una grammatica generatrice di un linguaggio formale; da ciò deriva anche la nozione di funzionecalcolabile in un sistema di Post. Tale nozione è equivalente alla calcolabilità secondo il modello della macchina di Turing ...
Leggi Tutto
minimalizzazione, operatore di
minimalizzazione, operatore di o schema della minimalizzazione, una delle regole attraverso le quali si costruiscono le funzioni ricorsive. L’operatore di minimalizzazione, [...] primitive all’insieme delle funzioni ricorsive generali. Le più comuni funzionicalcolabili sono infatti primitive ricorsive e per costruirle a partire dalle funzioni base (funzione zero, funzione successore e funzioni di proiezione) sono sufficienti ...
Leggi Tutto
funzione caratteristica
funzione caratteristica per un sottoinsieme S di un insieme X, (S ⊆ X), è la funzione ƒS: X → {0, 1} tale che, per ogni x ∈ X, il suo valore è 1 se x appartiene a S, è 0 altrimenti:
Tale [...] . Ciò implica che non tutte le funzioni aritmetiche sono funzionicalcolabili. Un insieme la cui funzione caratteristica è effettivamente calcolabile è detto insieme ricorsivo. La funzione caratteristica dell’insieme dei punti della semiretta ...
Leggi Tutto
Church, tesi di
Church, tesi di tesi elaborata dal logico statunitense A. Church; afferma che ogni funzionecalcolabile è una funzione ricorsiva e, viceversa, ogni funzione ricorsiva è una funzionecalcolabile. [...] qualsiasi formalismo l’idea di → calcolabilità, si riesce a dimostrare soltanto l’equivalenza fra le funzioni ricorsive e le funzionicalcolabili secondo quel formalismo. La tesi di Church è comunque verificata da tutti i formalismi finora conosciuti ...
Leggi Tutto
È il complesso delle singole posizioni giuridiche spettanti alla persona nella famiglia, nello Stato e nella comunità giuridica. Fin dalle origini dello Stato moderno gli atti dello s. civile rispondono [...] essendo R la costante dei gas, e l’equazione di Redlich-Kwong
dove le due costanti a e b sono calcolabili in funzione della temperatura critica, Tc, e della pressione critica pc. Fra le equazioni a maggior numero di costanti, ricordiamo l’equazione ...
Leggi Tutto
Biologia
Passaggio di sostanze attraverso una membrana naturale; può essere attivo o passivo, a seconda che comporti o meno un consumo di energia.
La cellula recupera dall’ambiente circostante il materiale [...] di elettroni universali in quanto possono svolgere la loro funzione in tutte le reazioni anaboliche o cataboliche cellulari. come se la chiave fosse altra da quella scritta, o calcolare l’insieme armonico nel tono in cui si vuole trasportare.
...
Leggi Tutto
calcolatrice
s. f. e agg. [der. di calcolare]. – Macchina da calcolo di non grandi dimensioni che permette di eseguire addizioni e sottrazioni (addizionatrice) ed eventualmente operazioni più complesse come moltiplicazioni, divisioni, estrazioni...
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....