Indice
13 relazioni: Algebra di Boole, Complessità dei circuiti, Computazione, Digrafo aciclico, Elettronica digitale, Funzione booleana, Linguaggio formale, Logica combinatoria, Modello matematico, NC (complessità), Porta logica, Teoria della complessità computazionale, Valore di verità.
- Logica nell'informatica
- Teoria della complessità computazionale
Algebra di Boole
Lalgebra di Boole (anche detta algebra booleana, logica booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0.
Vedere Circuito booleano e Algebra di Boole
Complessità dei circuiti
In informatica teorica, la complessità dei circuiti è un ramo della teoria della complessità computazionale nel quale le funzioni booleane sono classificate secondo la dimensione o la profondità dei circuiti booleani che le computano.
Vedere Circuito booleano e Complessità dei circuiti
Computazione
Il termine computazione deriva dal latino computare che significa sia "contare" sia "tagliare" e ha diversi significati nella lingua italiana.
Vedere Circuito booleano e Computazione
Digrafo aciclico
In matematica e informatica un grafo aciclico diretto oppure grafo aciclico orientato (in inglese Directed acyclic graph, DAG) è un particolare tipo di digrafo (anche noto come "grafo diretto") che non ha cicli (circuiti) diretti, ovvero comunque scegliamo un vertice del grafo non possiamo tornare ad esso percorrendo gli archi del grafo.
Vedere Circuito booleano e Digrafo aciclico
Elettronica digitale
Lelettronica digitale è quella branca dell'elettronica che si occupa di gestire ed elaborare informazioni di tipo digitale. Il termine digitale deriva dal termine inglese digit (cifra), per il fatto che i calcolatori elettronici operano mediante l'elaborazione di quantità numeriche elementari, i bit.
Vedere Circuito booleano e Elettronica digitale
Funzione booleana
In matematica e in informatica, una funzione booleana a n variabili è una funzione: di variabili booleane x_i che assumono valori nello spazio booleano B.
Vedere Circuito booleano e Funzione booleana
Linguaggio formale
Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe costruite sopra un alfabeto, cioè sopra un insieme di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.
Vedere Circuito booleano e Linguaggio formale
Logica combinatoria
La logica combinatoria è un approccio per eliminare la necessità di variabili quantificate nella logica matematica in connessione con il lambda calcolo.
Vedere Circuito booleano e Logica combinatoria
Modello matematico
Un modello matematico è una rappresentazione quantitativa di un fenomeno naturale. Come tutti gli altri modelli usati nella scienza, il suo scopo è quello di rappresentare il più incisivamente possibile un determinato oggetto, un fenomeno reale o un insieme di fenomeni (modello matematico di un sistema fisico, sistema chimico o sistema biologico).
Vedere Circuito booleano e Modello matematico
NC (complessità)
Nella teoria della complessità i problemi NC sono i problemi efficientemente parallelizzabili, ovvero risolvibili in tempo polilogaritmico, avendo a disposizione una quantità di hardware polinomiale rispetto alla dimensione dell'input.
Vedere Circuito booleano e NC (complessità)
Porta logica
Una porta logica, in elettronica digitale e informatica, è un circuito digitale in grado di implementare (cioè di realizzare, simulandone la "logica matematica" mediante opportuni controlli su segnali elettrici) una particolare operazione logica di una o più variabili booleane.
Vedere Circuito booleano e Porta logica
Teoria della complessità computazionale
La teoria della complessità computazionale è una branca della teoria della computabilità che studia le risorse minime necessarie (principalmente tempo di calcolo e memoria) per la risoluzione di un problema.
Vedere Circuito booleano e Teoria della complessità computazionale
Valore di verità
In logica matematica, un valore di verità (o valore logico) è un valore che stabilisce il limite entro cui una proposizione risulta vera. In logica classica, gli unici possibili valori di verità sono vero e falso, e ogni proposizione assume necessariamente almeno uno dei due valori e nessun altro (un valore e uno solo), per denotare i quali si usano le lettere maiuscole V ed F, ovvero i due numeri 1 e 0, rispettivamente.
Vedere Circuito booleano e Valore di verità
Vedi anche
Logica nell'informatica
- Aritmetica di Presburger
- Asserzione (informatica)
- Assiomi di Peano
- Backward chaining
- Base di connettivi
- Bisimulazione
- Circuito booleano
- Circuito combinatorio
- Circuito sequenziale
- Clausola di Horn
- Logica combinatoria
- Logica della computabilità
- Logica dinamica
- Logica fuzzy
- Logica intuizionista
- Mappa di Karnaugh
- Model checking
- Postcondizione
- Precondizione
- Race condition
- Ragionamento automatico
- Riscrittura
- Semantica denotazionale
- Semantica formale
- Semantica operazionale
- Soddisfacibilità booleana
- Teoria dei tipi intuizionista
- Verifica formale
Teoria della complessità computazionale
- Algoritmo di Bernstein-Vazirani
- Algoritmo di approssimazione
- Circuito booleano
- Classe di complessità
- Complemento (complessità)
- Complessità dei circuiti
- Complessità di Kolmogorov
- Complessità temporale
- Completo (complessità)
- Computazione quantistica
- Noisy intermediate scale quantum
- Notazione L
- Tempo pseudopolinomiale
- Teoria della complessità computazionale
Conosciuto come Circuiti booleani.