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
Basic Logic Gates - Basic Logic Gates Verilog Coding for Logic Synthesis by Weng Fook Lee, A practical introduction to writing synthesizable Verilog code Rapid change in IC ...
Dummy Dummy Logic Math Science - Dummy Dummy Logic Math Science Logic for Dummies Logic for Dummies Everyday Math for Dummies by Charles Seiter, Get tips and tricks to ...
Basic Logic Gates - Basic Logic Gates Verilog Coding for Logic Synthesis by Weng Fook Lee, A practical introduction to writing synthesizable Verilog code Rapid change in IC ...
Axis of Logic - Axis of Logic Textiles by Sara J. Kadolph, "Textiles," ninth edition, is designed to be a comprehensive text for the introductory ... on the fundamental principles of serviceability of textiles and textile production. This new edition continues its clear and logical presentation of topics with the most up-to-date information accompanied by the extensive use of visuals. ...
Dummy Dummy Logic Math Science - Dummy Dummy Logic Math Science Logic for Dummies Logic for Dummies Everyday Math for Dummies by Charles Seiter, Get tips and tricks to ...
Differential Equation and Linear Algebra - Differential Equation and Linear Algebra Differential Equations and Linear Algebra by Stephen W. Goode, X "This very accessible guide offers a thorough introduction to ...
Dummy Dummy Logic Math Science - Dummy Dummy Logic Math Science Logic for Dummies Logic for Dummies Everyday Math for Dummies by Charles Seiter, Get tips and tricks to ...
Analytic Calculus Geometry Multivariable - ... space, vectors, vector-valued functions, partial derivatives, multiple integrals, and topics in vector calculus. - Provides appendices on parametric equations, mathematical modeling and differential equations, and analytic geometry in calculus. Calculus for Biology and Medicine by Claudia Neuhauser, This volume teaches calculus ...
Copyright 2006-2008.Web Directory All Rights Reserved.