strutturato
strutturato [agg. Part. pass. di strutturare "dotare di una struttura"] [ELT] [INF] Dati s.: nella tecnica dei calcolatori elettronici, i dati organizzati in record e file che rispecchiano [...] la struttura logica dei dati medesimi. ◆ [MCF] Fluido s.: costituito da un fluido vero e proprio fluidi strutturati, dinamica dei. ◆ [ELT] [INF] Linguaggio s. e programmazione s.: quelli la cui sintassi è organizzata in modo da elaborare nel ...
Leggi Tutto
matematica discreta
matematica discreta settore di studi della matematica che tratta oggetti che possono assumere solo valori discreti (in pratica numeri interi). La maggior parte di questi oggetti, [...] parte della matematica discreta il → calcolo combinatorio, la → logica, la teoria degli → insiemi, la → crittografia, la degli → algoritmi, la teoria della → calcolabilità, lo studio delle catene di → Markov e quello dei → linguaggi di programmazione. ...
Leggi Tutto
letterale
letterale in algebra, attributo con il quale si qualifica il calcolo che utilizza lettere per indicare variabili, parametri o elementi generici di un insieme (→ calcolo letterale).
□ In logica [...] e informatica, nell’ambito del linguaggio di programmazione prolog, proposizione costituita da una lettera che indica una variabile enunciativa (letterale positivo) o la sua negazione (letterale negativo): una proposizione C è un letterale, come pure ...
Leggi Tutto
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...