中图分类法:	TN79 版次：
著者:	Even, Guy.
题名:	Digital logic design : [ a rigorous approach /] / ,
出版发行:	出版地： Cambridge : 出版社： Cambridge University Press, 出版日期： 2012.
载体形态:	xx, 348 pages : illustrations ; 26 cm
内容提要:	"Chapter 1 Sets and Functions This chapter introduces two major notions: sets and functions. We are all familiar with real functions, for example f(x} = 2x + 1 and g(x} = sin(x). Here the approach is somewhat different. The first difference is that we do not limit the discussion to the set of real numbers. Instead, we consider arbitrary sets, and are mostly interested in sets that contain only a finite number of elements. The second difference is that we do not define a 'rule" for assigning a value for each x. Instead, a function is simply a list of pairs (x,y), where y denotes the value of the function when the argument equals x. The definition of functions relies on the definitions of sets and relations over sets. That is why we need to define various operations over sets such as: union, intersection, complement, and Cartesian product. The focus of this book is Boolean functions. Boolean functions are a special family of functions. Their arguments and values are finite sequences of zero and ones (also called bits). In this chapter we show how to represent a Boolean function by a truth table and multiplication tables. Other representations presented later in the book are: Boolean formulas and combinational circuits"--
主题词:	Logic design.
主要责任者:	Medin