Binary logic

Results: 377



#Item
371Function / Mathematical proof / Finitary relation / Equivalence relation / Boolean algebra / Mathematical induction / Binary relation / Well-founded relation / Propositional calculus / Mathematics / Logic / Mathematical logic

PDF Document

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2006-06-26 10:21:13
372Rough set / Theoretical computer science / Equivalence relation / Binary relation / Equivalence class / Finitary relation / Euclidean relation / Transitive relation / Equality / Mathematics / Logic / Mathematical logic

PDF Document

Add to Reading List

Source URL: www2.cs.uregina.ca

Language: English - Date: 2005-06-09 00:08:44
373Binary operations / Modal logic / Kripke semantics / Entailment / FO / If and only if / Dependence logic / Logical connective / And–or tree / Logic / Mathematical logic / Philosophical logic

PDF Document

Add to Reading List

Source URL: www.math.helsinki.fi

Language: English - Date: 2010-07-25 05:49:05
374Boolean algebra / Algebraic logic / Diagrams / Computability theory / Binary decision diagram / Model checking / Indicator function / Recursion / Function / Mathematics / Mathematical logic / Mathematical analysis

PDF Document

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2001-09-30 22:57:32
375Philosophical logic / Veracity / Binary operations / Argument / Validity / Entailment / Truth function / Logical connective / Soundness / Logic / Propositional calculus / Deduction

PDF Document

Add to Reading List

Source URL: tellerprimer.ucdavis.edu

Language: English - Date: 2013-03-11 15:24:11
376Mathematical logic / Keccak / NIST hash function competition / Symbol / Combinatory logic / Bitwise operation / MOV / Boolean algebra / Hamming weight / Computer architecture / Binary arithmetic / Mathematics

PDF Document

Add to Reading List

Source URL: keccak.noekeon.org

Language: English - Date: 2013-02-27 15:26:40
377Mathematical logic / Function / Binary relation / Valuation / Finitary relation / Preference / Correspondence / Constructible universe / Maximal element / Mathematics / Order theory / Functions and mappings

PDF Document

Add to Reading List

Source URL: arielrubinstein.tau.ac.il

Language: English - Date: 2008-09-09 20:29:29
UPDATE