VDict - Definition of mathematical logic

search result for mathematical logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

CTL Spool definite clause lemma N-Prolog goal AdLog M-Prolog PDL LDT Cirrus Logic operational semantics Fresh predicate calculus fuzzy computing propositional calculus pseudoprime simulation Wesley Clark functional unit Monte Carlo SASL+LV fixed point combinator PowerFuL ECL application server Quty CIRcuit CALculus Basic Multilingual Plane SRL Prometheus Life AM negation by failure truth table Mandala Kernel Parlog KAP suitably small REFINE Turbo Prolog OR TTL Sequel Delta-Prolog Boolean expression Logic Design Language Uranus HAKMEM inference Haskell Curry implies southbridge paradox complete inference system MRS neutrosophic statistics LYaPAS logical complement Extended Concurrent Prolog D-type flip-flop HASL Cube PPLambda fuzzy subset set theory cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog REGTRAL converse most general unifier Conjunctive Normal Form LAURE Andorra-I High Performance Computing and Communications white box testing QLOG

First < Previous 1 2 3 4 5 6 Next > Last