An excellent introduction to logic (in all possible worlds), September 24, 2002, by Dr. Lee D. Carlson (Baltimore, Maryland USA) [Amazon.com] It is too bad this book is out of print, for the authors ...

This is a new introduction to logic for university undergraduates in their first and second years. The originality of the approach will also make it of considerable interest to postgraduates and ...

Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...

Overview of computer engineering design. Number systems and Boolean algebra. Logic gates. Design of combinational circuits and simplification. Decoders, multiplexors, adders. Sequential logic and flip ...

This document tackles the basic facts of the 74HCT TTL Compatible CMOS components. It includes a comparison between its sub-family of components. Suggestions on what CMOS to use on a specific ...