Jump to content

Search results

View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • Thumbnail for Advanced Boolean Expression Language
    The Advanced Boolean Expression Language (ABEL) is an obsolete hardware description language (HDL) and an associated set of design tools for programming...
    4 KB (377 words) - 20:50, 19 April 2024
  • Thumbnail for Python (programming language)
    different method than in most languages, adds consistency to Python. For instance, this rounding implies that the equation (a + b)//b == a//b + 1 is always...
    175 KB (14,436 words) - 16:29, 27 May 2025
  • algebraic context, the regular languages (corresponding to Boolean-weighted rational expressions) are usually called rational languages. Also in this context,...
    29 KB (3,422 words) - 02:57, 21 May 2025
  • Thumbnail for George Boole
    George Boole (category Boolean algebra)
    differential equations and algebraic logic, and is best known as the author of The Laws of Thought (1854), which contains Boolean algebra. Boolean logic, essential...
    64 KB (7,414 words) - 15:55, 13 May 2025
  • Thumbnail for Expression (mathematics)
    resulting value is usually one of various primitive types, such as string, Boolean, or numerical (such as integer, floating-point, or complex). In computer...
    44 KB (5,456 words) - 07:42, 22 May 2025
  • Truth table (category Boolean algebra)
    mathematical table used in logic—specifically in connection with Boolean algebra, Boolean functions, and propositional calculus—which sets out the functional...
    43 KB (3,307 words) - 00:46, 15 April 2025
  • Thumbnail for Modelica
    Modelica (category Simulation programming languages)
    similar to statements or blocks in programming languages, their primary content is a set of equations. In contrast to a typical assignment statement,...
    25 KB (2,620 words) - 11:08, 23 May 2025
  • mathematical equation solvers on the market today" in 2012. TK Solver's core technologies are a declarative programming language, algebraic equation solver...
    13 KB (1,485 words) - 13:07, 30 December 2024
  • Compiler-compiler (category CS1 German-language sources (de))
    a language for logical design simulation, on the IBM 7090 in January 1964. This compiler used an algorithm that produced efficient code for Boolean expressions...
    41 KB (5,129 words) - 00:57, 18 May 2025
  • Algebra (category Articles containing Arabic-language text)
    English language in the 16th century from Italian, Spanish, and medieval Latin. Initially, its meaning was restricted to the theory of equations, that is...
    137 KB (13,739 words) - 10:59, 27 May 2025
  • description languages include: Verilog-AMS (Verilog for Analog and Mixed-Signal) VHDL-AMS (VHDL with Analog/Mixed-Signal extension) Advanced Boolean Expression...
    90 KB (6,703 words) - 13:50, 5 May 2025
  • theory List of abstract algebra topics List of algebraic structures List of Boolean algebra topics List of category theory topics List of cohomology theories...
    21 KB (2,591 words) - 04:20, 16 May 2025
  • Thumbnail for Fortran
    made code written in it unportable from machine to machine, as well as Boolean expression support.: 76  Early versions of FORTRAN provided by other vendors...
    104 KB (11,208 words) - 10:02, 27 May 2025
  • actually the two-element Boolean algebra { 0 , 1 } , {\displaystyle \{0,1\},} with ⊕ {\displaystyle \oplus } coinciding with Boolean disjunction and ¬ {\displaystyle...
    13 KB (1,653 words) - 05:34, 12 April 2025
  • Thumbnail for CompuCell3D
    and metabolic networks solved with chemical kinetics rate equations or stochastic Boolean network approaches. By integrating these submodels CompuCell3D...
    19 KB (2,070 words) - 11:46, 23 May 2025
  • Plankalkül (category CS1 German-language sources (de))
    goto The only primitive data type in the Plankalkül is a single bit or Boolean (German: Ja-Nein-Werte – yes-no value in Zuse's terminology). It is denoted...
    30 KB (2,743 words) - 09:09, 25 May 2025
  • Thumbnail for Martin Davis (mathematician)
    Martin Davis (mathematician) (category Institute for Advanced Study visiting scholars)
    He also advanced the Post–Turing model and co-developed the Davis–Putnam–Logemann–Loveland (DPLL) algorithm, which is foundational for Boolean satisfiability...
    15 KB (1,305 words) - 19:52, 22 May 2025
  • Thumbnail for Computer
    Computer (category CS1 Spanish-language sources (es))
    operations involve Boolean logic: AND, OR, XOR, and NOT. These can be useful for creating complicated conditional statements and processing Boolean logic. Superscalar...
    140 KB (14,125 words) - 18:02, 23 May 2025
  • Thumbnail for Regular expression
    Regular expression (category CS1 Russian-language sources (ru))
    expressions (a+b)∗ and (a∗ b∗)∗ denote the same language over the alphabet Σ={a,b}. More generally, an equation E=F between regular-expression terms with variables...
    97 KB (8,871 words) - 12:07, 26 May 2025
  • Thumbnail for Equality (mathematics)
    Equality (mathematics) (category CS1 Latin-language sources (la))
    which satisfies certain properties. In computer science, an equation is defined as a boolean-valued expression, or relational operator, which returns 1...
    68 KB (7,792 words) - 03:46, 29 May 2025
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)