l'accesso più veloce di browser!
56 relazioni: AND, Base di connettivi, Bit blit, Commutatività, Congiunzione, Connettivo logico, Crisippo di Soli, Dimostrazione per assurdo, Disgiunzione esclusiva, Disgiunzione logica, Distributività, E commerciale, Elemento assorbente, Esagono logico, Espressione booleana, ET, Facoltà (diritto), Forma normale negativa, Funtori di Sheffer, Glossario della simbologia matematica, IJVM, Informatica, Intersezione (insiemistica), Knight Lore, Linguaggio del primo ordine, Lista di regole di inferenza, Lista di simboli logici, Negazione logica (simbolo), Nikola Tesla, Notazioni matematiche, Operatore (informatica), Operatore di Sheffer, Porta AND, Porta di Toffoli, Proclisi (fonetica greca), Programmable Logic Array, Programmable Logic Device, Qualitative Comparative Analysis, Quantificatore esistenziale (simbolo), Quantificatore universale (simbolo), Read Only Memory, Risoluzione di un'equazione, Sillogismo, Sistema di disequazioni, Situazione giuridica soggettiva, Sogliatura, SPARQL, Structured Query Language, Tabella della verità, Tautologia, ..., Teoremi di De Morgan, Teoria ingenua degli insiemi, Texas Instruments SN76477, Trivium (cifrario), Unità aritmetica e logica, 2-satisfiability. Espandi índice (6 più) »
AND
Nessuna descrizione.
Nuovo!!: Congiunzione logica e AND · Mostra di più »
Base di connettivi
Con Base di connettivi s'intende un sottoinsieme di operatori vero-funzionali coi quali è possibile dare la definizione logica di tutti gli altri connettivi.
Nuovo!!: Congiunzione logica e Base di connettivi · Mostra di più »
Bit blit
Il termine Bit blit, che sta per bit block transfer (scritto anche BITBLT, BIT BLT, BitBLT, Bit BLT, Bit Blt ecc..), indica un'operazione di computer grafica nella quale una o più bitmap sono combinate insieme utilizzando una funzione booleana.
Nuovo!!: Congiunzione logica e Bit blit · Mostra di più »
Commutatività
In matematica, un'operazione binaria * definita su un insieme S è commutativa se per ogni coppia di elementi x e y in S. Se questa proprietà non è valida per ogni coppia di elementi, l'operazione è quindi detta non commutativa.
Nuovo!!: Congiunzione logica e Commutatività · Mostra di più »
Congiunzione
* Congiunzione – in linguistica, una delle parti del discorso.
Nuovo!!: Congiunzione logica e Congiunzione · Mostra di più »
Connettivo logico
Un connettivo logico, o operatore logico, è un elemento grammaticale di collegamento che instaura fra due proposizioni A e B una qualche relazione che dia origine ad una terza proposizione C con un valore vero o falso, in base ai valori delle due proposizioni fattori ed al carattere del connettivo utilizzato.
Nuovo!!: Congiunzione logica e Connettivo logico · Mostra di più »
Crisippo di Soli
Fu discepolo di Cleante e suo successore a capo della scuola filosofica dello Stoicismo; la sua sistematizzazione delle dottrine stoiche, contenuta in circa 700 opere, lo fece diventare un secondo padre dello Stoicismo rendendo questa scuola una delle più influenti nel mondo greco e romano per secoli.
Nuovo!!: Congiunzione logica e Crisippo di Soli · Mostra di più »
Dimostrazione per assurdo
La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum), nota anche come ragionamento per assurdo, è un tipo di argomentazione logica in cui si assume temporaneamente un'ipotesi, si giunge ad una conclusione assurda, e quindi si dimostra che l'assunto originale deve essere errato.
Nuovo!!: Congiunzione logica e Dimostrazione per assurdo · Mostra di più »
Disgiunzione esclusiva
La disgiunzione esclusiva "o" (simboli usuali:\dot oppure XOR) è un connettivo (o operatore) logico che restituisce in uscita VERO (V) se e solo se gli ingressi sono diversi tra di loro.
Nuovo!!: Congiunzione logica e Disgiunzione esclusiva · Mostra di più »
Disgiunzione logica
In matematica, la disgiunzione inclusiva o disgiunzione logica (simbolo \vee, che si legge o, talvolta indicato come e/o), è un connettivo logico attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione A\vee B chiamata A o B oppure chiamata A vel B, la quale è vera solo nel caso in cui almeno una delle due proposizioni da cui è formata A e B è vera mentre è falsa quando tutte e due sono false.
Nuovo!!: Congiunzione logica e Disgiunzione logica · Mostra di più »
Distributività
In matematica, e in particolare nell'algebra, la distributività (o proprietà distributiva) è una proprietà delle operazioni binarie che generalizza la ben nota legge distributiva valida per somma e prodotto tra numeri dell'algebra elementare.
Nuovo!!: Congiunzione logica e Distributività · Mostra di più »
E commerciale
La e commerciale (&) è un logogramma e una legatura delle lettere latine e-t. Risalente all'antica Roma, nel tempo in cui – in latino – le lettere e e t venivano occasionalmente scritte insieme, la sua invenzione è attribuita a Marco Tullio Tirone, segretario di Cicerone per moltissimi anni.
Nuovo!!: Congiunzione logica e E commerciale · Mostra di più »
Elemento assorbente
In matematica, un elemento assorbente è un particolare tipo di elemento di un insieme rispetto ad un'operazione binaria nel dato insieme.
Nuovo!!: Congiunzione logica e Elemento assorbente · Mostra di più »
Esagono logico
L'esagono logico è un modello concettuale delle relazioni esistenti fra i valore di verità di sei proposizioni.
Nuovo!!: Congiunzione logica e Esagono logico · Mostra di più »
Espressione booleana
In algebra di Boole, un'espressione booleana è un'espressione che, quando valutata (ovvero, quando viene dato un valore ai letterali di cui è composta), produce un valore booleano (vero o falso).
Nuovo!!: Congiunzione logica e Espressione booleana · Mostra di più »
ET
Nessuna descrizione.
Nuovo!!: Congiunzione logica e ET · Mostra di più »
Facoltà (diritto)
La facoltà (o permesso o libertà) è la situazione giuridica soggettiva del soggetto di diritto che può tenere un determinato comportamento consentito dalla norma.
Nuovo!!: Congiunzione logica e Facoltà (diritto) · Mostra di più »
Forma normale negativa
Nella logica booleana, una formula è in forma normale negativa (FNN), indicata anche come NNF (acronimo di Negation Normal Form) se l'operatore di negazione (\lnot) è applicato solo agli atomi.
Nuovo!!: Congiunzione logica e Forma normale negativa · Mostra di più »
Funtori di Sheffer
I funtori di Sheffer, sono due operatori logici molto potenti, poiché ciascuno da solo costituisce una base di connettivi.
Nuovo!!: Congiunzione logica e Funtori di Sheffer · Mostra di più »
Glossario della simbologia matematica
Questo è un glossario della simbologia matematica costituito da tabelle dedicate ai simboli utilizzati in matematica.
Nuovo!!: Congiunzione logica e Glossario della simbologia matematica · Mostra di più »
IJVM
IJVM è un linguaggio assembly creato (a scopo didattico) da Andrew Stuart Tanenbaum implementato sulla microarchitettura MIC-1 (anch'essa ideata da quest'ultimo).
Nuovo!!: Congiunzione logica e IJVM · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Congiunzione logica e Informatica · Mostra di più »
Intersezione (insiemistica)
In matematica, e in particolare in teoria degli insiemi, l'intersezione (simbolo \cap) di due insiemi A e B è l'insieme degli elementi che appartengono sia all'insieme A che all'insieme B contemporaneamente.
Nuovo!!: Congiunzione logica e Intersezione (insiemistica) · Mostra di più »
Knight Lore
Knight Lore è un videogioco d'avventura dinamica sviluppato e pubblicato dalla casa di produzione inglese Ultimate Play the Game (nome con il quale era inizialmente conosciuta la Rare) nel 1984 per gli home computer ZX Spectrum, BBC Micro, Amstrad CPC, MSX e per la console Famicom Disk System.
Nuovo!!: Congiunzione logica e Knight Lore · Mostra di più »
Linguaggio del primo ordine
Nella logica matematica il linguaggio del primo ordine è un linguaggio formale che serve per gestire meccanicamente enunciati e ragionamenti che coinvolgono i connettivi logici, le relazioni e i quantificatori "per ogni..." (∀) ed "esiste..." (∃).
Nuovo!!: Congiunzione logica e Linguaggio del primo ordine · Mostra di più »
Lista di regole di inferenza
Regole di inferenza di uso comune.
Nuovo!!: Congiunzione logica e Lista di regole di inferenza · Mostra di più »
Lista di simboli logici
Nella logica, un insieme di simboli esprime comunemente una rappresentazione logica.
Nuovo!!: Congiunzione logica e Lista di simboli logici · Mostra di più »
Negazione logica (simbolo)
La negazione logica, chiamata anche semplicemente negazione, non o not, è un simbolo scientifico di tipo matematico.
Nuovo!!: Congiunzione logica e Negazione logica (simbolo) · Mostra di più »
Nikola Tesla
Nato da famiglia serba nell'attuale territorio della Croazia durante il periodo dell'Impero Austro-Ungarico, naturalizzato statunitense nel 1891, è conosciuto per il suo lavoro in campo tecnico-scientifico e in particolare per i contributi nel campo dell'elettromagnetismo (di cui è stato un eminente pioniere) tra la fine dell'Ottocento e gli inizi del Novecento.
Nuovo!!: Congiunzione logica e Nikola Tesla · Mostra di più »
Notazioni matematiche
In matematica le formule rivestono grande importanza: molti risultati si possono esprimere con una sola formula.
Nuovo!!: Congiunzione logica e Notazioni matematiche · Mostra di più »
Operatore (informatica)
In informatica e programmazione, un operatore è un simbolo che specifica quale legge applicare a uno o più operandi, per generare un risultato.
Nuovo!!: Congiunzione logica e Operatore (informatica) · Mostra di più »
Operatore di Sheffer
L'operatore di Sheffer, chiamato anche negazione alternativa (o incompatibile), è uno dei due operatori introdotti dal matematico statunitense Henry Maurice Sheffer (l'altro operatore è NOR).
Nuovo!!: Congiunzione logica e Operatore di Sheffer · Mostra di più »
Porta AND
La porta AND è una porta logica digitale che implementa la congiunzione logica; essa si comporta secondo la tabella di verità a destra.
Nuovo!!: Congiunzione logica e Porta AND · Mostra di più »
Porta di Toffoli
La porta di Toffoli fu inventata da Tommaso Toffoli, è una porta logica universale reversibile.
Nuovo!!: Congiunzione logica e Porta di Toffoli · Mostra di più »
Proclisi (fonetica greca)
Nella fonologia del greco antico, la proclisi è quel fenomeno fonetico per cui alcune parole greche, per lo più mono e bisillabiche, sono prive di accento proprio (e per questo dette atone), e dunque, per ciò che riguarda la pronuncia, si appoggiano alla parola immediatamente seguente (sono dette perciò proclitiche).
Nuovo!!: Congiunzione logica e Proclisi (fonetica greca) · Mostra di più »
Programmable Logic Array
In elettronica digitale, una Programmable Logic Array, ovvero matrice logica programmabile, spesso abbreviato in PLA, è un dispositivo logico programmabile usato per implementare circuiti logici combinatori.
Nuovo!!: Congiunzione logica e Programmable Logic Array · Mostra di più »
Programmable Logic Device
In elettronica digitale, un Dispositivo a Logica Programmabile (Programmable Logic Device), abbreviato spesso in PLD, è un circuito integrato programmabile largamente utilizzato nei circuiti digitali.
Nuovo!!: Congiunzione logica e Programmable Logic Device · Mostra di più »
Qualitative Comparative Analysis
Sotto il nome di QCA (Qualitative Comparative Analysis) vengono ricondotti una molteplicità di metodi e tecniche di comparazione, in uso prevalentemente nel campo della ricerca socio-politica.
Nuovo!!: Congiunzione logica e Qualitative Comparative Analysis · Mostra di più »
Quantificatore esistenziale (simbolo)
Il quantificatore esistenziale è un carattere tipografico scientifico, molto usato sia in insiemistica che in logica, due campi tra loro affini della matematica; il nome del ∃ ha un'etimologia facilmente ricercabile: con la parola quantificatore si intende la sua funzione di indicare la grandezza o l'estensione di un'affermazione e con esistenziale il fatto che tale proposizione vale sempre almeno per un caso, che dunque esiste.
Nuovo!!: Congiunzione logica e Quantificatore esistenziale (simbolo) · Mostra di più »
Quantificatore universale (simbolo)
Il quantificatore universale è un simbolo scientifico, largamente usato in diversi campi della matematica (soprattutto in insiemistica e in logica); il ∀ viene detto quantificatore perché serve a indicare la grandezza o l'estensione di una affermazione ed universale perché l'estensione indicata è sempre totale: non per nulla, infatti, esso ha lettura "per ogni".
Nuovo!!: Congiunzione logica e Quantificatore universale (simbolo) · Mostra di più »
Read Only Memory
Una Read Only Memory (in acronimo ROM, in italiano traducibile con memoria a sola lettura), in elettronica ed informatica, indica una tipologia di memoria non volatile in cui i dati sono memorizzati tramite collegamenti elettronici fisici e stabili.
Nuovo!!: Congiunzione logica e Read Only Memory · Mostra di più »
Risoluzione di un'equazione
In matematica, per risolvere un'equazione si intende la ricerca degli elementi (numeri, funzioni, insieme, ecc.) che soddisfino la rispettiva equazione (due espressioni unite da un'uguaglianza).
Nuovo!!: Congiunzione logica e Risoluzione di un'equazione · Mostra di più »
Sillogismo
Il sillogismo (dal greco συλλογισμός, syllogismòs, formato da σύν, syn, "insieme", e λογισμός, logismòs, "calcolo": quindi, "ragionamento concatenato") è un tipo di ragionamento dimostrativo che fu teorizzato per la prima volta da Aristotele, il quale, partendo dai tipi di termine "maggiore" (che funge da predicato nella conclusione), "medio" e "minore" (che funge da soggetto nella conclusione) classificati in base al rapporto contenente-contenuto, giunge ad una conclusione collegando i suddetti termini attraverso brevi enunciati (premesse).
Nuovo!!: Congiunzione logica e Sillogismo · Mostra di più »
Sistema di disequazioni
Un sistema di disequazioni è un insieme di 2 o più disequazioni aventi la stessa incognita i cui valori verificano contemporaneamente le disequazioni.
Nuovo!!: Congiunzione logica e Sistema di disequazioni · Mostra di più »
Situazione giuridica soggettiva
In diritto, per situazione giuridica soggettiva s'intende la posizione che un soggetto di diritto assume nell'ambito di un rapporto giuridico.
Nuovo!!: Congiunzione logica e Situazione giuridica soggettiva · Mostra di più »
Sogliatura
La sogliatura anche detta in inglese thresholding nell'elaborazione digitale delle immagini è un semplice metodo per segmentare un'immagine.
Nuovo!!: Congiunzione logica e Sogliatura · Mostra di più »
SPARQL
SPARQL (acronimo ricorsivo di SPARQL Protocol and RDF Query Language, si pronuncia come la parola inglese sparkle, "scintillare") è un linguaggio di interrogazione per dati rappresentati tramite il Resource Description Framework (RDF).
Nuovo!!: Congiunzione logica e SPARQL · Mostra di più »
Structured Query Language
In informatica SQL (Structured Query Language) è un linguaggio standardizzato per database basati sul modello relazionale (RDBMS) progettato per.
Nuovo!!: Congiunzione logica e Structured Query Language · Mostra di più »
Tabella della verità
Le tabelle della verità (o tabelle logiche) sono tabelle usate nella logica per determinare se, attribuiti i valori di verità alle proposizioni che la compongono, una determinata proposizione è vera o falsa.
Nuovo!!: Congiunzione logica e Tabella della verità · Mostra di più »
Tautologia
Una tautologia (dal greco ταυτολογία, composto di ταὐτό lo stesso — τό lo e αὐτό stesso — e λογία per λόγος discorso), in logica, è un'affermazione vera per definizione, quindi fondamentalmente priva di valore informativo.
Nuovo!!: Congiunzione logica e Tautologia · Mostra di più »
Teoremi di De Morgan
I teoremi di De Morgan, o leggi di De Morgan sono relativi alla logica booleana e stabiliscono relazioni di equivalenza tra gli operatori di congiunzione logica "and" e "or".
Nuovo!!: Congiunzione logica e Teoremi di De Morgan · Mostra di più »
Teoria ingenua degli insiemi
La teoria ingenua degli insiemi si distingue dalla teoria assiomatica degli insiemi per il fatto che la prima considera gli insiemi come collezioni di oggetti, chiamati elementi o membri dell'insieme, mentre la seconda considera insiemi quelli che soddisfano determinati assiomi.
Nuovo!!: Congiunzione logica e Teoria ingenua degli insiemi · Mostra di più »
Texas Instruments SN76477
L'SN76477 è un generatore sonoro programmabile costruito da Texas Instruments verso la fine degli anni settanta e commercializzato a partire dal 1978.
Nuovo!!: Congiunzione logica e Texas Instruments SN76477 · Mostra di più »
Trivium (cifrario)
"Trivium" has been specified as an International Standard under ISO/IEC 29192-3 (Information technology - Security techniques - Lightweight cryptography - Part 3: Stream ciphers).
Nuovo!!: Congiunzione logica e Trivium (cifrario) · Mostra di più »
Unità aritmetica e logica
In informatica l'unità aritmetica e logica o unità aritmetico-logica (abbreviazione utilizzata comunemente: ALU, dall'inglese "arithmetic and logic unit" o "arithmetic-logic unit") è una tipologia particolare di processore digitale che si contraddistingue per essere preposta all'esecuzione di operazioni aritmetiche o logiche.
Nuovo!!: Congiunzione logica e Unità aritmetica e logica · Mostra di più »
2-satisfiability
2-satisfiability (o 2-SAT) è un problema di soddisfacibilità booleana con clausole composte da coppie di letterali.
Nuovo!!: Congiunzione logica e 2-satisfiability · Mostra di più »
Riorienta qui:
Congiunzione logica (simbolo), ⋀.
