DOCSLIB.ORG

Introducing Java's Enumerated Type

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Introducing Java's Enumerated Type Introducing Java’s Enumerated Type J. Mohr University of Alberta, Augustana Campus, 4901 46 Ave., Camrose, Alberta, Canada T4V 2R3 [email protected] Abstract— The enumerated types that were introduced in associativity or of operators with arity other than binary. Java 5.0 provide a way to treat arithmetic operators as enu- Of the textbooks cited above, only Weiss [10] and Kruse meration constants with an eval method that is customized and Ryba [11] discuss right associativity (the right-to-left for each operator, allowing us to take an object-oriented evaluation of operators like exponentiation), and only the approach to applying an operator to its arguments, using latter textbook deals with both unary and binary operators. dynamic dispatch instead of case logic, when implementing a Kruse and Ryba are also unique in their use calculator or an arithmetic expression evaluator. When used of an enumeration for token types, including enum in conjunction with variable arity methods (or varargs, constants such as operand, unaryop, binaryop, also introduced in Java 5.0) or by passing an operand rightunaryop, leftparen and rightparen.1 stack as the single argument to an operator’s eval method, The introduction of enumerated types in Java 5.0 (release an enumeration for operators can be extended to handle 1.5) provided the opportunity to treat arithmetic operators operators of differing arities using a single abstract eval as enumeration constants with an apply or eval method method in the enumerated type. Such an example gives that is customized for each operator. This allows us to an opportunity to expose our students to Java’s version of take an object-oriented approach to applying an operator enumerated types by using an Operator enumeration in to its arguments, using dynamic dispatch instead of case an assignment on infix expression parsing and evaluation. logic through constant-specific method implementations [12, p. 152]. This also provides a good opportunity to expose our Keywords: Enumerated types, enum, expression evaluation, Java, students to Java’s version of enumerated types in conjunction variable arity parameters with the discussion of arithmetic expression parsing and evaluation. 1. Introduction Arithmetic expression evaluation is a topic of study in 2. Enumerated Types many data structures or algorithms courses and is covered in several data structures and a few algorithms textbooks. In Niklaus Wirth introduced the enumerated type in Pascal some cases, the evaluation of postfix expressions is intro- (1970) as a user-defined ordinal type that “specifies an duced as part of the discussion of stacks [1]–[5]; in others, ordered set of values by enumerating the constant identifiers the evaluation of expression trees is discussed when binary which denote the values” [13, Ch. 5]. It associated the trees are introduced [1]–[3], [6]–[8]. Some textbooks present first constant listed with the value 0; the second, with 1; the subject of infix-to-postfix conversion in conjunction with and so on. It provided a high-level, application-oriented expression evaluation [3], [6], [9], [10]. Kruse and Ryba binding construct [14] that improved program readability and [11] dedicate a chapter (Ch. 13, pp. 594–645) to a case reduced errors by replacing ad hoc constructs such as study on Polish notation, including the evaluation of prefix const and postfix expressions and the translation from infix form Mon = 0; to reverse Polish (postfix) form. Smith [5] shows how to Tue = 1; combine infix-to-postfix translation with postfix expression ... evaluation to evaluate infix expressions using two stacks; Sun = 6; Koffman and Wolfgang [6] present the same algorithm in an end-of-chapter programming project. with Most textbooks that treat the topic of arithmetic expression type Day = (Mon, Tue, Wed, Thu, Fri, evaluation confine their coverage to the evaluation of binary Sat, Sun); operators, which is especially appropriate if the topic is presented as part of the discussion of binary trees. Those that 1Lambert and Osborne [3] give an example of a parser that uses a discuss the conversion of infix expressions to their postfix switch statement with case labels such as PLUS, MINUS, MUL, DIV and L_PAR, but these are implemented as defined constants rather than equivalents usually include the handling of parentheses and enum constants, an ad hoc approach that will be discussed below as the operator priorities, but there is typically no discussion of int enum pattern [12]. The relational operators can be used to compare values the static methods valueOf(String) and values() of Pascal enumerated types, and the predefined functions are implicitly declared; the former returns the enumeration ord(X), pred(X), and succ(X) return the ordinal num- constant corresponding to a name, and the latter returns all ber, predecessor, and successor of X, respectively. A for the constants of the enumerated type [24, §8.9]. statement can iterate over the values of an enumeration (or Java enumerated types can have constructors, instance data a subrange of them), and enumeration constants can be used fields, and methods. The combination of a constructor, an as selectors in a case statement and to index arrays. instance field and an accessor can be used to associate values An important feature of Pascal’s enumerated types is that other than the default ordinals with enumeration constants, they are typesafe: each enumerated type is different from as illustrated in this example from the Java Language and incompatible with all other types, including integers and Specification, 3e [24, §8.9]: other enumerated types. The compiler can enforce strong public enum Coin { typing by ensuring that only the enumerated values of an PENNY(1), NICKEL(5), DIME(10), enumerated type can be assigned to a variable of that type QUARTER(25); or passed as a parameter to a function or procedure that Coin(int value) {this.value = value;} is defined to accept an argument of that enumerated type. private final int value; Pascal’s enumerated types are also secure: given the decla- public int value() {return value;} ration of type Day above, succ(Sun) and pred(Mon) } are compile-time errors. An enum type may not be declared abstract, but Subsequent languages introduced variations of the enu- it may include an abstract method if all the enumeration merated type. Several languages, including C++ and Ada, constants have class bodies that provide concrete imple- allow the ordinal values of enumeration constants to be mentations of the method. This feature can be used to specified, as in implement an enumeration of arithmetic operations [24, enum coins {penny = 1, nickel = 5, §8.9] [12, p. 152], as shown in Figure 1. This simple example dime = 10, quarter = 25}; deals only with binary operators, but Java’s enumerated type facility can easily be used to implement nullary, unary, Ada and C# allow enumerations to be overloaded (i.e., the and ternary operators as well as binary operators, and to same literal can be used in the declaration of more than one distinguish between left- and right-associative operators and enumeration in the same scope); C# requires that overloaded between prefix and postfix operators. names be fully qualified, but Ada allows the type prefix to be omitted if the compiler can infer it from the context [15]. 3. An Enumerated Type for Arithmetic Java did not include support for an enumeration type until release 1.5 (Java 5.0, 2004). Prior to its introduction, many Operators of Various Arities Java programmers used the ad hoc solution that is referred 3.1 A Simple Enumeration for Arities int enum pattern to as the [12]: The first step in supporting operators of various arities is public static final int MON = 0; to add an Arity enumerated type as a nested type within public static final int TUE = 1; an Operator enumeration: ... public enum Arity { public static final int SUN = 6; NULLARY, UNARY, BINARY, TERNARY, Several writers suggested ways of implementing typesafe GROUPING enumerations using Java classes [16]–[20]. In its “Taxonomy } of Problems in Teaching Java” [21], the ACM Java Task Implementing an Operator enumeration is like design- Force identified the lack of enumerated types as a “weakness ing a little language [25]: we can decide what operations in the Java type system.” can be included in arithmetic expressions that use our The enum type introduced in Java 5.0 shifted the concept Operator class to process them. The Arity enumeration of an enumerated type away from a set of integer constants above allows us to support unary operators such as factorial toward the concept of classes that is central to object- (‘!’) and percent (‘%’) and single-argument functions (such oriented programming [22, p. 112]. A Java enum type is as abs, sqrt, sqr, trunc, round, log, lg, ln, sin, a class of which “the possible values of the enumeration cos, and exp or pow); binary operators such as exponenti- are the only possible instances of the class” [23, p. 257]. ation (‘ˆ’) and modulus (mod) in addition to the usual ‘+’, All enum types are implicitly subclasses of the predefined ‘-’, ‘*’, and ‘/’; and ternary operators such as C and Java’s class Enum, from which they inherit toString, equals, conditional operator ‘?:’ and variations on that operator compareTo, hashCode, ordinal (which returns the such as pos, neg, and zero. zero-based position of the constant in its enum declaration), The NULLARY arity is provided for pseudo-operators such and a few other methods. In addition, for each enum type, as constants (e and pi) and no-argument functions such public enum Operation { PLUS { double apply(double x, double y) {return x + y;} }, MINUS { double apply(double x, double y) {return x - y;} }, TIMES { double apply(double x, double y) {return x * y;} }, DIVIDE { double apply(double x, double y) {return x / y;} }; abstract double apply(double x, double y); } Fig.
Load more

Recommended publications
  • Frequently Asked Questions in Mathematics
    Frequently Asked Questions in Mathematics The Sci.Math FAQ Team. Editor: Alex L´opez-Ortiz e-mail: [email protected] Contents 1 Introduction 4 1.1 Why a list of Frequently Asked Questions? . 4 1.2 Frequently Asked Questions in Mathematics? . 4 2 Fundamentals 5 2.1 Algebraic structures . 5 2.1.1 Monoids and Groups . 6 2.1.2 Rings . 7 2.1.3 Fields . 7 2.1.4 Ordering . 8 2.2 What are numbers? . 9 2.2.1 Introduction . 9 2.2.2 Construction of the Number System . 9 2.2.3 Construction of N ............................... 10 2.2.4 Construction of Z ................................ 10 2.2.5 Construction of Q ............................... 11 2.2.6 Construction of R ............................... 11 2.2.7 Construction of C ............................... 12 2.2.8 Rounding things up . 12 2.2.9 What’s next? . 12 3 Number Theory 14 3.1 Fermat’s Last Theorem . 14 3.1.1 History of Fermat’s Last Theorem . 14 3.1.2 What is the current status of FLT? . 14 3.1.3 Related Conjectures . 15 3.1.4 Did Fermat prove this theorem? . 16 3.2 Prime Numbers . 17 3.2.1 Largest known Mersenne prime . 17 3.2.2 Largest known prime . 17 3.2.3 Largest known twin primes . 18 3.2.4 Largest Fermat number with known factorization . 18 3.2.5 Algorithms to factor integer numbers . 18 3.2.6 Primality Testing . 19 3.2.7 List of record numbers . 20 3.2.8 What is the current status on Mersenne primes? .
    [Show full text]
  • Chapter 7 Expressions and Assignment Statements
    Chapter 7 Expressions and Assignment Statements Chapter 7 Topics Introduction Arithmetic Expressions Overloaded Operators Type Conversions Relational and Boolean Expressions Short-Circuit Evaluation Assignment Statements Mixed-Mode Assignment Chapter 7 Expressions and Assignment Statements Introduction Expressions are the fundamental means of specifying computations in a programming language. To understand expression evaluation, need to be familiar with the orders of operator and operand evaluation. Essence of imperative languages is dominant role of assignment statements. Arithmetic Expressions Their evaluation was one of the motivations for the development of the first programming languages. Most of the characteristics of arithmetic expressions in programming languages were inherited from conventions that had evolved in math. Arithmetic expressions consist of operators, operands, parentheses, and function calls. The operators can be unary, or binary. C-based languages include a ternary operator, which has three operands (conditional expression). The purpose of an arithmetic expression is to specify an arithmetic computation. An implementation of such a computation must cause two actions: o Fetching the operands from memory o Executing the arithmetic operations on those operands. Design issues for arithmetic expressions: 1. What are the operator precedence rules? 2. What are the operator associativity rules? 3. What is the order of operand evaluation? 4. Are there restrictions on operand evaluation side effects? 5. Does the language allow user-defined operator overloading? 6. What mode mixing is allowed in expressions? Operator Evaluation Order 1. Precedence The operator precedence rules for expression evaluation define the order in which “adjacent” operators of different precedence levels are evaluated (“adjacent” means they are separated by at most one operand).
    [Show full text]
  • Operators and Expressions
    UNIT – 3 OPERATORS AND EXPRESSIONS Lesson Structure 3.0 Objectives 3.1 Introduction 3.2 Arithmetic Operators 3.3 Relational Operators 3.4 Logical Operators 3.5 Assignment Operators 3.6 Increment and Decrement Operators 3.7 Conditional Operator 3.8 Bitwise Operators 3.9 Special Operators 3.10 Arithmetic Expressions 3.11 Evaluation of Expressions 3.12 Precedence of Arithmetic Operators 3.13 Type Conversions in Expressions 3.14 Operator Precedence and Associability 3.15 Mathematical Functions 3.16 Summary 3.17 Questions 3.18 Suggested Readings 3.0 Objectives After going through this unit you will be able to: Define and use different types of operators in Java programming Understand how to evaluate expressions? Understand the operator precedence and type conversion And write mathematical functions. 3.1 Introduction Java supports a rich set of operators. We have already used several of them, such as =, +, –, and *. An operator is a symbol that tells the computer to perform certain mathematical or logical manipulations. Operators are used in programs to manipulate data and variables. They usually form a part of mathematical or logical expressions. Java operators can be classified into a number of related categories as below: 1. Arithmetic operators 2. Relational operators 1 3. Logical operators 4. Assignment operators 5. Increment and decrement operators 6. Conditional operators 7. Bitwise operators 8. Special operators 3.2 Arithmetic Operators Arithmetic operators are used to construct mathematical expressions as in algebra. Java provides all the basic arithmetic operators. They are listed in Tabled 3.1. The operators +, –, *, and / all works the same way as they do in other languages.
    [Show full text]
  • ARM Instruction Set
    4 ARM Instruction Set This chapter describes the ARM instruction set. 4.1 Instruction Set Summary 4-2 4.2 The Condition Field 4-5 4.3 Branch and Exchange (BX) 4-6 4.4 Branch and Branch with Link (B, BL) 4-8 4.5 Data Processing 4-10 4.6 PSR Transfer (MRS, MSR) 4-17 4.7 Multiply and Multiply-Accumulate (MUL, MLA) 4-22 4.8 Multiply Long and Multiply-Accumulate Long (MULL,MLAL) 4-24 4.9 Single Data Transfer (LDR, STR) 4-26 4.10 Halfword and Signed Data Transfer 4-32 4.11 Block Data Transfer (LDM, STM) 4-37 4.12 Single Data Swap (SWP) 4-43 4.13 Software Interrupt (SWI) 4-45 4.14 Coprocessor Data Operations (CDP) 4-47 4.15 Coprocessor Data Transfers (LDC, STC) 4-49 4.16 Coprocessor Register Transfers (MRC, MCR) 4-53 4.17 Undefined Instruction 4-55 4.18 Instruction Set Examples 4-56 ARM7TDMI-S Data Sheet 4-1 ARM DDI 0084D Final - Open Access ARM Instruction Set 4.1 Instruction Set Summary 4.1.1 Format summary The ARM instruction set formats are shown below. 3 3 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 9876543210 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 Cond 0 0 I Opcode S Rn Rd Operand 2 Data Processing / PSR Transfer Cond 0 0 0 0 0 0 A S Rd Rn Rs 1 0 0 1 Rm Multiply Cond 0 0 0 0 1 U A S RdHi RdLo Rn 1 0 0 1 Rm Multiply Long Cond 0 0 0 1 0 B 0 0 Rn Rd 0 0 0 0 1 0 0 1 Rm Single Data Swap Cond 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 Rn Branch and Exchange Cond 0 0 0 P U 0 W L Rn Rd 0 0 0 0 1 S H 1 Rm Halfword Data Transfer: register offset Cond 0 0 0 P U 1 W L Rn Rd Offset 1 S H 1 Offset Halfword Data Transfer: immediate offset Cond 0
    [Show full text]
  • Pst-Plot — Plotting Functions in “Pure” L ATEX
    pst-plot — plotting functions in “pure” LATEX Commonly, one wants to simply plot a function as a part of a LATEX document. Using some postscript tricks, you can make a graph of an arbitrary function in one variable including implicitly defined functions. The commands described on this worksheet require that the following lines appear in your document header (before \begin{document}). \usepackage{pst-plot} \usepackage{pstricks} The full pstricks manual (including pst-plot documentation) is available at:1 http://www.risc.uni-linz.ac.at/institute/systems/documentation/TeX/tex/ A good page for showing the power of what you can do with pstricks is: http://www.pstricks.de/.2 Reverse Polish Notation (postfix notation) Reverse polish notation (RPN) is a modification of polish notation which was a creation of the logician Jan Lukasiewicz (advisor of Alfred Tarski). The advantage of these notations is that they do not require parentheses to control the order of operations in an expression. The advantage of this in a computer is that parsing a RPN expression is trivial, whereas parsing an expression in standard notation can take quite a bit of computation. At the most basic level, an expression such as 1 + 2 becomes 12+. For more complicated expressions, the concept of a stack must be introduced. The stack is just the list of all numbers which have not been used yet. When an operation takes place, the result of that operation is left on the stack. Thus, we could write the sum of all integers from 1 to 10 as either, 12+3+4+5+6+7+8+9+10+ or 12345678910+++++++++ In both cases the result 55 is left on the stack.
    [Show full text]
  • PYTHON BASIC OPERATORS Rialspo Int.Co M/Pytho N/Pytho N Basic O Perato Rs.Htm Copyrig Ht © Tutorialspoint.Com
    PYTHON BASIC OPERATORS http://www.tuto rialspo int.co m/pytho n/pytho n_basic_o perato rs.htm Copyrig ht © tutorialspoint.com What is an operator? Simple answer can be g iven using expression 4 + 5 is equal to 9. Here, 4 and 5 are called operands and + is called operator. Python lang uag e supports the following types of operators. Arithmetic Operators Comparison (i.e., Relational) Operators Assig nment Operators Log ical Operators Bitwise Operators Membership Operators Identity Operators Let's have a look on all operators one by one. Python Arithmetic Operators: Assume variable a holds 10 and variable b holds 20, then: [ Show Example ] Operator Description Example + Addition - Adds values on either side of the a + b will g ive 30 operator - Subtraction - Subtracts rig ht hand operand a - b will g ive -10 from left hand operand * Multiplication - Multiplies values on either side a * b will g ive 200 of the operator / Division - Divides left hand operand by rig ht b / a will g ive 2 hand operand % Modulus - Divides left hand operand by rig ht b % a will g ive 0 hand operand and returns remainder ** Exponent - Performs exponential (power) a**b will g ive 10 to the power 20 calculation on operators // Floor Division - The division of operands 9//2 is equal to 4 and 9.0//2.0 is equal to where the result is the quotient in which the 4.0 dig its after the decimal point are removed. Python Comparison Operators: Assume variable a holds 10 and variable b holds 20, then: [ Show Example ] Operator Description Example == Checks if the value of two operands are equal (a == b) is not true.
    [Show full text]
  • Multiplication and Division Instructions
    MultiplicationMultiplication andand DivisionDivision InstructionsInstructions • MUL Instruction • IMUL Instruction • DIV Instruction • Signed Integer Division • Implementing Arithmetic Expressions Irvine, Kip R. Assembly Language for Intel-Based Computers, 2003. 1 MULMUL InstructionInstruction • The MUL (unsigned multiply) instruction multiplies an 8-, 16-, or 32-bit operand by either AL, AX, or EAX. • The instruction formats are: MUL r/m8 MUL r/m16 MUL r/m32 Implied operands: Irvine, Kip R. Assembly Language for Intel-Based Computers, 2003. 2 MULMUL ExamplesExamples 100h * 2000h, using 16-bit operands: .data val1 WORD 2000h The Carry flag indicates whether or val2 WORD 100h not the upper half of .code the product contains mov ax,val1 significant digits. mul val2 ; DX:AX = 00200000h, CF=1 12345h * 1000h, using 32-bit operands: mov eax,12345h mov ebx,1000h mul ebx ; EDX:EAX = 0000000012345000h, CF=0 Irvine, Kip R. Assembly Language for Intel-Based Computers, 2003. 3 YourYour turnturn .. .. .. What will be the hexadecimal values of DX, AX, and the Carry flag after the following instructions execute? mov ax,1234h mov bx,100h mul bx DX = 0012h, AX = 3400h, CF = 1 Irvine, Kip R. Assembly Language for Intel-Based Computers, 2003. 4 YourYour turnturn .. .. .. What will be the hexadecimal values of EDX, EAX, and the Carry flag after the following instructions execute? mov eax,00128765h mov ecx,10000h mul ecx EDX = 00000012h, EAX = 87650000h, CF = 1 Irvine, Kip R. Assembly Language for Intel-Based Computers, 2003. 5 IMULIMUL InstructionInstruction • IMUL (signed integer multiply ) multiplies an 8-, 16-, or 32-bit signed operand by either AL, AX, or EAX • Preserves the sign of the product by sign-extending it into the upper half of the destination register Example: multiply 48 * 4, using 8-bit operands: mov al,48 mov bl,4 imul bl ; AX = 00C0h, OF=1 OF=1 because AH is not a sign extension of AL.
    [Show full text]
  • Mathematics Learning
    1 Key understandings in mathematics learning Paper 1: Overview By Terezinha Nunes, Peter Bryant and Anne Watson, University of Oxford A review commissioned by the Nuffield Foundation 2 PaperSUMMARY 1: Overview – PAPER 2: Understanding whole numbers About this review In 2007, the Nuffield Foundation commissioned a Contents team from the University of Oxford to review the available research literature on how children learn Summary of findings 3 mathematics. The resulting review is presented in a series of eight papers: Overview 10 Paper 1: Overview References 36 Paper 2: Understanding extensive quantities and whole numbers Paper 3: Understanding rational numbers and intensive quantities About the authors Paper 4: Understanding relations and their graphical Terezinha Nunes is Professor of Educational representation Studies at the University of Oxford. Paper 5: Understanding space and its representation Peter Bryant is Senior Research Fellow in the in mathematics Department of Education, University of Oxford. Paper 6: Algebraic reasoning Anne Watson is Professor of Mathematics Paper 7: Modelling, problem-solving and integrating Education at the University of Oxford. concepts Paper 8: Methodological appendix About the Nuffield Foundation Papers 2 to 5 focus mainly on mathematics relevant The Nuffield Foundation is an endowed to primary schools (pupils to age 11 y ears), while charitable trust established in 1943 by William papers 6 and 7 consider aspects of mathematics Morris (Lord Nuffield), the founder of Morris in secondary schools. Motors, with the aim of advancing social w ell being. We fund research and pr actical Paper 1 includes a summar y of the review, which experiment and the development of capacity has been published separately as Introduction and to undertake them; working across education, summary of findings.
    [Show full text]
  • On Pocrims and Hoops
    On Pocrims and Hoops Rob Arthan & Paulo Oliva August 10, 2018 Abstract Pocrims and suitable specialisations thereof are structures that pro- vide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special class of pocrims that provide al- gebraic semantics for what we view as an intuitionistic analogue of the classical multi-valuedLukasiewicz logic. We present some contribu- tions to the theory of these algebraic structures. We give a new proof that the class of hoops is a variety. We use a new indirect method to establish several important identities in the theory of hoops: in particular, we prove that the double negation mapping in a hoop is a homormorphism. This leads to an investigation of algebraic ana- logues of the various double negation translations that are well-known from proof theory. We give an algebraic framework for studying the semantics of double negation translations and use it to prove new re- sults about the applicability of the double negation translations due to Gentzen and Glivenko. 1 Introduction Pocrims provide the natural algebraic models for a minimal affine logic, ALm, while hoops provide the models for what we view as a minimal ana- arXiv:1404.0816v2 [math.LO] 16 Oct 2014 logue, LL m, ofLukasiewicz’s classical infinite-valued logic LL c. This paper presents some new results on the algebraic structure of pocrims and hoops. Our main motivation for this work is in the logical aspects: we are interested in criteria for provability in ALm, LL m and related logics. We develop a useful practical test for provability in LL m and apply it to a range of prob- lems including a study of the various double negation translations in these logics.
    [Show full text]
  • Supplementary Section 6S.10 Alternative Notations
    Supplementary Section 6S.10 Alternative Notations Just as we can express the same thoughts in different languages, ‘He has a big head’ and ‘El tiene una cabeza grande’, there are many different ways to express the same logical claims. Some of these differences are thinly cosmetic. Others are more interesting. Insofar as the different systems of notation we’ll examine in this section are merely different ways of expressing the same logic, they are not particularly important. But one of the most frustrating aspects of studying logic, at first, is getting comfortable with different systems of notation. So it’s good to try to get comfortable with a variety of different ways of presenting logic. Most simply, there are different symbols for all of the logical operators. You can easily find some by perusing various logical texts and websites. The following table contains the most common. Operator We use Others use Negation ∼P ¬P −P P Conjunction P • Q P ∧ Q P & Q PQ Disjunction P ∨ Q P + Q Material conditional P ⊃ Q P → Q P ⇒ Q Biconditional P ≡ Q P ↔ Q P ⇔ Q P ∼ Q Existential quantifier ∃ ∑ ∨ Universal quantifier ∀ ∏ ∧ There are also propositional operators that do not appear in our logical system at all. For example, there are two unary operators called the Sheffer stroke (|) and the Peirce arrow (↓). With these operators, we can define all five of the operators ofPL . Such operators may be used for systems in which one wants a minimal vocabulary and in which one does not need to have simplicity of expression. The balance between simplicity of vocabulary and simplicity of expression is a deep topic, but not one we’ll engage in this section.
    [Show full text]
  • V850e/Ms1 , V850e/Ms2
    User’s Manual V850E/MS1TM, V850E/MS2TM 32-Bit Single-Chip Microcontrollers Architecture V850E/MS1: V850E/MS2: µPD703100 µPD703130 µPD703100A µPD703101 µPD703101A µPD703102 µPD703102A µPD70F3102 µPD70F3102A Document No. U12197EJ6V0UM00 (6th edition) Date Published November 2002 N CP(K) 1996 Printed in Japan [MEMO] 2 User’s Manual U12197EJ6V0UM NOTES FOR CMOS DEVICES 1 PRECAUTION AGAINST ESD FOR SEMICONDUCTORS Note: Strong electric field, when exposed to a MOS device, can cause destruction of the gate oxide and ultimately degrade the device operation. Steps must be taken to stop generation of static electricity as much as possible, and quickly dissipate it once, when it has occurred. Environmental control must be adequate. When it is dry, humidifier should be used. It is recommended to avoid using insulators that easily build static electricity. Semiconductor devices must be stored and transported in an anti-static container, static shielding bag or conductive material. All test and measurement tools including work bench and floor should be grounded. The operator should be grounded using wrist strap. Semiconductor devices must not be touched with bare hands. Similar precautions need to be taken for PW boards with semiconductor devices on it. 2 HANDLING OF UNUSED INPUT PINS FOR CMOS Note: No connection for CMOS device inputs can be cause of malfunction. If no connection is provided to the input pins, it is possible that an internal input level may be generated due to noise, etc., hence causing malfunction. CMOS devices behave differently than Bipolar or NMOS devices. Input levels of CMOS devices must be fixed high or low by using a pull-up or pull-down circuitry.
    [Show full text]
  • First-Order Logic in a Nutshell Syntax
    First-Order Logic in a Nutshell 27 numbers is empty, and hence cannot be a member of itself (otherwise, it would not be empty). Now, call a set x good if x is not a member of itself and let C be the col- lection of all sets which are good. Is C, as a set, good or not? If C is good, then C is not a member of itself, but since C contains all sets which are good, C is a member of C, a contradiction. Otherwise, if C is a member of itself, then C must be good, again a contradiction. In order to avoid this paradox we have to exclude the collec- tion C from being a set, but then, we have to give reasons why certain collections are sets and others are not. The axiomatic way to do this is described by Zermelo as follows: Starting with the historically grown Set Theory, one has to search for the principles required for the foundations of this mathematical discipline. In solving the problem we must, on the one hand, restrict these principles sufficiently to ex- clude all contradictions and, on the other hand, take them sufficiently wide to retain all the features of this theory. The principles, which are called axioms, will tell us how to get new sets from already existing ones. In fact, most of the axioms of Set Theory are constructive to some extent, i.e., they tell us how new sets are constructed from already existing ones and what elements they contain. However, before we state the axioms of Set Theory we would like to introduce informally the formal language in which these axioms will be formulated.
    [Show full text]