Advertisers
|
Sponsors
|
Direct Algebraic Logic - DAL (acronym for Direct Algebraic Logic) is a method for entering equations on scientific calculators which allows symbols and numbers to be entered as they are written. SHARP introduced it in 1990s.
ALF programming language - ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming.
Clocked logic - Clocked logic (or dynamic logic) is a design methodology in digital logic that was popular in the 1970s and has seen a recent resurgence in the design of high speed digital electronics, particularly computer CPUs. Dynamic logic is distinguished from so-called static logic in that ...
Dynamic logic - In digital electronics, dynamic logic is sometimes used to refer to a class of design assumptions also known as clocked logic, used to distinguish this type of logic from static logic. This article is about dynamic logic as an extension of modal logic.
ALF - Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. A full integration of both programming models, so any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations.
Kumo - A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic are implemented, including induction and coinduction, generates proof documentation for the web, supports distributed cooperative proving.
clp(Q,R) - Implementation of general Constraint Logic Programming scheme introduced by Jaffar, Michaylov 1987. As full as other CLP(R)s: solves linear equations over rational or real valued variables, and covers lazy treatment of nonlinear equations.
Source: BazSites.com
Equation I Polynomial Solving System - Equation I Polynomial Solving System Solving Polynomial Equation Systems II: Macaulay's Paradigm and Grobner Technology Solving Polynomial Equation Systems II: Macaulay's Paradigm equation i polynomial solving ...
Basic Logic Gates - Basic Logic Gates Verilog Coding for Logic Synthesis by Weng Fook Lee, A practical introduction to writing ... and productive method to create schematics with large amounts of logic gates.This has led to the development of Verilog; ...
Dummy Dummy Logic Math Science - Dummy Dummy Logic Math Science Logic for Dummies Logic for Dummies Everyday Math for Dummies by Charles Seiter, ...
Basic Logic Gates - Basic Logic Gates Verilog Coding for Logic Synthesis by Weng Fook Lee, A practical introduction to writing ... and productive method to create schematics with large amounts of logic gates.This has led to the development of Verilog; ...
Axis of Logic - Axis of Logic Textiles by Sara J. Kadolph, "Textiles," ninth edition, is designed ... and textile production. This new edition continues its clear and logical presentation of topics with the most up-to-date information ... 2D and 3D graphical objects. Two-dimensional subjects discussed include logical coordinates, triangulation of polygons and both Bzier and B- ...
Solving Polynomial Equation - Solving Polynomial Equation Solving Polynomial Equation Systems II: Macaulay's Paradigm and Grobner Technology Solving Polynomial Equation Systems II: Macaulay's Paradigm solving polynomial equation and ...
Dummy Dummy Logic Math Science - Dummy Dummy Logic Math Science Logic for Dummies Logic for Dummies Everyday Math for Dummies by Charles Seiter, ...
Dummy Dummy Logic Math Science - Dummy Dummy Logic Math Science Logic for Dummies Logic for Dummies Everyday Math for Dummies by Charles Seiter, ...
Copyright 2006-2010. Documentation All Rights Reserved.