funzione
Enciclopedia on line
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] se la proposizione a cui si applica la negazione è falsa, e viceversa; si può rappresentare tale f. con il seguente schema (o tavola di verità):
dove, nella colonna di destra, è segnato il valore che la f. (e quindi la proposizione ‘non p’) assume ...
Leggi Tutto
LOGICA MATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] H, mentre non lo sono J, Y e L. Quindi H è soddisfacibile, ma non valida. Con le rispettive tavole di verità si verifica subito che ogni assioma e ogni teorema è valido.
Logica dei predicati del prim'ordine. - Linguaggio del prim'ordine. - Alfabeto ...
Leggi Tutto
condizionale
Dizionario delle Scienze Fisiche (1996)
condizionale
condizionale [agg. e s.m. Der. di condizione] [LSF] Che esprime condizioni o è soggetto a condizioni. ◆ [FAF] Nella logica, è il connettivo se...allora (simb. →), il cui signif. è dato dalla [...] tavola di verità (V = vero, F = falso), riportata a fianco. ◆ [FAF] C. contrafattuale: si ha quando dall'affermazione che tutti gli elementi di un insieme godono di una certa proprietà si deduce che un elemento che non gode di quella proprietà non ...
Leggi Tutto
AND
Dizionario delle Scienze Fisiche (1996)
AND
AND 〈èn〉 [La congiunzione ingl. "e"] [ALG] [FAF] Operatore logico (o insiemistico) di congiunzione di due enunciati (o di intersezione di due insiemi); la congiunzione di due enunciati risulta vera [...] se e solo se entrambi gli enunciati sono veri. ◆ [ELT] Nell'algebra booleana: (a) il prodotto logico; (b) il circuito elettronico che realizza il prodotto logico: v. circuiti logici: I 618 c, anche per il simb. grafico e la relativa tavola di verità. ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
tavola
Enciclopedia on line
tavola matematica T. (o tabella) di composizione (o di moltiplicazione, o di Cayley) di un gruppo Specchio, o quadro, che contiene i prodotti degli elementi del gruppo a due a due. Se il gruppo è finito, [...] logica matematica, t. di verità (o tabella di verità) di un connettivo, tabella schematica che permette di stabilire se una proposizione velocità di caduta si raccolgono nei canali e sono successivamente scaricati per effetto del moto della tavola. ...
Leggi Tutto
tavola
Dizionario delle Scienze Fisiche (1996)
tavola
tàvola [Der. del lat. tabula] [LSF] Termine usato con i signif. di tabella, di cui è allora sinonimo. ◆ [ASF] T. astronomiche: tabelle di dati astronomici, spec. di effemeridi di astri. ◆ [ANM] [...] elemento iniziale gh e della colonna che ha per primo elemento gk si scrive il prodotto ghgk. ◆ [ALG] [FAF] T. di verità: mostra il risultato di un'operazione logica binaria ("vero" e "falso" oppure 0 e 1) in funzione dei valori dei termini; per le t ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
verita
Dizionario delle Scienze Fisiche (1996)
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] : I 85 f. (b) [ALG] [ELT] [FAF] Nella logica proposizionale, quadro dei valori di v. (v. oltre) assumibili da una funzione in corrispondenza ai valori di v. delle proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente ...
Leggi Tutto
Leonardo da Vinci
Enciclopedia on line
Pittore, architetto, scienziato (Vinci, Firenze, 15 aprile 1452 - castello di Cloux, od. Clos-Lucé presso Amboise, 2 maggio 1519). Ha personificato il genio rinascimentale che rivoluzionò sia le arti figurative [...] radiografiche e archivistiche hanno accreditato l'autenticità anche della tavola di Londra: forse L. avrà messo mano, in diversa e del tardo enciclopedismo medievale.
Di L. scrittore non possediamo nessuna opera veramente compiuta. Il Trattato della ...
Leggi Tutto
EQUAZIONI
Enciclopedia Italiana - VI Appendice (2000)
(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] di audace e di paradossale. È una verità portante ed è questo punto che mostra la potenza e la generalità del teorema di scoprì la sesta e. di Painlevé PVI, la quale non compariva nella tavola di Painlevé. La tavola essendosi rivelata incompleta, ...
Leggi Tutto
CATEGORIA:
ALGEBRA
La scienza in Cina: dai Qin-Han ai Tang. La matematica
Storia della Scienza (2001)
La scienza in Cina: dai Qin-Han ai Tang. La matematica
Alexei Volkov
Karine Chemla
Qu Anjing
La matematica
Le bacchette
di Alexei Volkov
Il sistema di numerazione cinese, sistema decimale e principio [...] sia effettivamente esistito.
Oggi la teoria di una tavola di legno sulla quale erano effettuate operazioni aritmetiche scopo è stabilire la verità degli enunciati matematici. La descrizione delle dimostrazioni di correttezza degli algoritmi, oltre ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA