A R "! I,,, !~ii ii! A ow ' r.-ii ' i ' JA' V5, 9. MiN, ;
|
|
- Roger Cook
- 6 years ago
- Views:
Transcription
1 A R "! I,,, r.-ii ' i '!~ii ii! A ow ' I % i o,... V JA' i,.. Al V5, 9 MiN, ;
2 Logic and Language Models for Computer Science
3 Logic and Language Models for Computer Science HENRY HAMBURGER George Mason University DANA RICHARDS George Mason University PRENTICE HALL Upper Saddle River, New Jersey 07458
4 Library of Congress Cataloging-in-Publication Data CIP data on file. Vice President and Editorial Director, ECS: Marcia Horton Senior Acquisitions Editor: Petra J. Recter Vice President and Director of Production and Manufacturing, ESM: David W. Riccardi Executive Managing Editor: Vince O'Brien Managing Editor: David A. George Production Editor: Lakshmi Balasubramanian Composition: PreTEh, Inc. Director of Creative Services: Paul Belfanti Creative Director: Carole Anson Art Director: Jayne Conte Art Editor: Greg Dulles Cover Designer: Bruce Kenselaar Manufacturing Manager: Trudy Pisciotti Manufacturing Buyer: Lisa McDowell Marketing Manager: Jennie Burger Pei 2002 by Prentice Hall Prentice-Hall, Inc. Upper Saddle River, NJ All rights reserved. No part of this book may be reproduced in any form or by any means, without permission in writing from the publisher. The author and publisher of this book have used their best efforts in preparing this book. These efforts include the development, research, and testing of the theories and programs to determine their effectiveness. The author and publisher make no warranty of any kind, expressed or implied, with regard to these programs or the documentation contained in this book. Printed in the United States of America ISBN Pearson Education Ltd., London Pearson Education Australia Pty. Ltd., Sydney Pearson Education Singapore, Pte. Ltd. Pearson Education North Asia Ltd., Hong Kong Pearson Education Canada, Inc., Toronto Pearson Educacion de Mexico, S.A. de C.V. Pearson Education-Japan, Tokyo Pearson Education Malaysia, Pte. Ltd. Pearson Education, Upper Saddle River, New Jersey
5 To Judith, with love. -H.H. To Nelda, for her patience and support. D.R.
6 Contents Preface xi 1 Mathematical Preliminaries Operators and Their Algebraic Properties Sets Strings Relations and Functions Growth Rates of Functions Graphs and Trees Computing with Mathematical Objects... 8 I Logic for Computer Science 11 2 Propositional Logic Propositions States, Operators, and Truth Tables Proofs of Equivalence with Truth Tables Laws of Propositional Logic Two Important Operators Proving Things: Why and How Reasons for Wanting to Prove Things Rules of Inference Proof by Rules Assumptions Proof Examples Types of Theorems and Proof Strategies vii
7 viii CONTENTS 4 Predicate Logic Predicates and Functions Predicates, English, and Sets Quantifiers Multiple Quantifiers Logic for Data Structures Proving with Predicates Inference Rules with Predicates Proof Strategies with Predicates Applying Logic to Mathematics Mathematical Induction Limits of Logic Program Verification The Idea of Verification Definitions Inference Rules Loop Invariants The Debate About Formal Verification Logic Programming The Essence of Prolog and Its Relation to Logic Getting Started Using Prolog Database Operations in Prolog The General Form and a Limitation of Prolog How Prolog Works Structures Lists and Recursion Built-In Predicates and Operators II Language Models for Computer Science Language and Models Programming Languages and Computer Science Ambiguity and Language Design Formal Languages Operations on Languages
8 CONTENTS ix 8.5 Two Levels and Two Language Classes The Questions of Formal Language Theory Finite Automata and Their Languages Automata: The General Idea Diagrams and Recognition Formal Notation for Finite Automata Finite Automata in Prolog Nondeterminism: The General Idea Nondeterministic Finite Automata Removing Nondeterminism A-Transitions Pattern Matching Regular Languages Regular Expressions Regular Sets Regular Expressions and What They Represent All Regular Sets Are FA Languages All FA Languages Are Represented by REs Lex: A Tool for Building Lexical Scanners Overview Lex Operators and What They Do The Structure and Processing of Lex Programs Lex Examples with C States Using Lex in Unix Flex and C± Context-Free Grammars Limitations of Regular Languages Introduction to Context-Free Grammars The Four Parts of a CFG Deriving the Strings Balanced Parentheses RE Operators in CFGs Structure, Meaning, and Ambiguity Modeling Structure for Meaning
9 x CONTENTS A Grammar of Algebraic Expressions Backus Normal Form and Syntax Diagrams Backus Normal Form Syntax Diagrams Theory Matters Practicing Proving with Palindromes Proving that G 10 Does the Right Thing Pushdown Automata and Parsing Visualizing PDAs Standard Notation for PDAs NPDAs for CFG Parsing Strategies Deterministic Pushdown Automata and Parsing Bottom-Up Parsing Comparison and Properties Design and Construction of the NPDA Pushdown Automata in Prolog Notes on Memory Turing Machines Beyond Context-Free Languages A Limitation on Deterministic Pushdown Automata Unrestricted Grammars The Turing Machine Model Infinite Sets Universal Turing Machines Limits on Turing Machines Undecidability Church-Turing Thesis Computational Complexity Index 336
10 Preface So you are a computer science (CS) major and you are sitting down to see what this book is about. It has been assigned, the course is required, you have no choice. Still you chose your institution, your major. Maybe your instructor made a good choice. Let's hope so. Okay, you are not a computer science major, perhaps not even a student, but you have picked up this book. Maybe the title intrigued you. Will you be able to read it, to learn from it? We think so. We will try to interest you too. Or you are teaching a course that might use this book, maybe in discrete math, maybe including logics or formal language or both. If you want your CS students to see the applicability of mathematical reasoning to their own field or your math students to see the usefulness of their field outside itself, it is your students whom we have in mind. If you are a CS major, you have already noticed that this course is different from the others you have taken so far. It is not an introduction to computing, programming, problem solving, or data structures. No, this book is about something called models-models of language and knowledge. It is also about formal methods. You know something about models if you have built or seen a model airplane. In Kitty Hawk, North Carolina, you can see the wind tunnel that the Wright brothers built to test the lift capabilities of various wing shapes. A model can help us simplify and think more clearly about a complex problem (powered flight) by selecting a part (the wing) and focusing on some aspect of it (its aerodynamics). The other, temporarily ignored parts and aspects must ultimately be addressed, of course, if the original problem is to be solved. The models in this book are simplifications too, but not of material objects like airplanes. For computer scientists, the objects of study lie mainly in the world of symbols. In this book, it is computer software, and especially the programming languages in which that software is written, from which we draw our models and to which we apply them. xi
11 xii PREFACE A model, then, is a collection of precisely stated interacting ideas that focus on a particular aspect or part of our subject matter. A good model can simplify a topic to its essence, stripping away the details so that we can understand the topic better and reason precisely about it. The model keeps only those parts and processes that are of interest. We reason both formally and informally. Informal methods draw on analogies to your knowledge of other things in the world in general and your common sense, typically expressed in a human language like English and perhaps a diagram. Formal methods use abstract symbols-like the famous "x" of high school algebra-and clearly stated rules about how to manipulate them. A formal method based on a simple but precise model of a situation can enable us to prove that we have got things right at least as reflected in the model. If this concern with precision and proof makes you think this is a theory book, you are partly right. If you think that means it is not of practical value, we ask you to think again. It is often said that experience is the best teacher. However, learning from experience means transferring ideas across situations by seeing the essential similarities in nonidentical situations. This abstracted essence, by which we learn from history or from our mistakes, is an informal model. Formalizing the model and reasoning carefully about it-that is, theory-is the scientist's and engineer's path to knowledge and action in the real world. So what do we theorize about? We have chosen to focus on language, the crucial link between hardware and software. Programming languages permit software to be written and language processors-compilers, interpreters and assemblers-permit hardware to run that software. Sometimes a model proves to be so interesting and widely applicable that it becomes an object of study in its own right. That is the case with the logic and language models in this book. Two key aspects of language are structure and meaning. We study models of each. The structure of language has to do with the arrangement of symbols into permitted sequences-called sentences in human language and statements in programming languages. This topic is usually called formal models of language. It underlies key aspects of compilers, the study of what computers can do efficiently and the processing of human language for translation and easy interaction between people and computers. Symbol arrangements are of interest not only in their own right, but also because they express ideas about meaning and computation. Expressing meaning can be done in various ways, including logic. Of the many logics, the simplest is propositional logic. It finds application in the tiny hardware components called logic gates, in the conditions for branching and loops in high-level programming languages and
12 PREFACE xiii in mathematical rules of proof that can be applied via software throughout engineering and science. Predicate logic builds on propositional logic to permit knowledge representation in database systems, artificial intelligence, and work on program correctness in software engineering. Computer science students may notice that several phrases in the prior paragraphs are the names of upper division courses in computer science. To further emphasize the practical value of the two major topics of this book, we introduce an important programming language based on each. Lex, based on formal language, is a tool for building a lexical scanner-a key component of a compiler. Prolog, a programming language whose core is based on predicate logic, supports rapid prototyping of intelligent systems. Formalisms for language and logic have ancient roots: India for language and Greece for logic. Each field has enjoyed renewed attention in more recent times, starting in the nineteenth century for logic and early in the twentieth century for language. These latter thrusts are more formal yet still independent of computing. The venerable histories of logic and linguistics suggest the inherent fascination that each has held for human minds. Building on that motivation, this book stresses the relationship of each to computer science. The two fields are also related to each other in various ways that emerge in this text. Watch for these important links among logic, formal language, and computing. "* Complementarity: Logic and formal language share the job of modeling, with logic providing models of meaning and formal language paying attention to form. "* Recursion: In logic, formal language and elsewhere, recursive definitions provide a finite means to specify expressions of unlimited size. "* Proofs: Logic supports proofs of results throughout formal language, mathematics, and computer science, notably in the area of program verification. "* Correspondences: Language categories defined by grammar types are in direct correspondence to the recognition capabilities of types of automata (models of computing). "* Compiling: Design strategies for some (pushdown) automata reflect language processing techniques for compilers. Concepts of formal languages and automata directly support compiler tools. "* Computation: Another class of automata (Turing machines) provides an apparently correct characterization of the limits of computing.
13 xiv PREFACE 9 Programming: Logic-based languages such as Prolog support the declarative style of programming. Prolog in turn is used to implement some automata and database concepts. H. HAMBURGER D. RICHARDS
14 Chapter 1 Mathematical Preliminaries This text is concerned with formal models that are important to the field of computer science. Because the models are formal, we make substantial use of mathematical ideas. In many ways, the topics in this book-logic, languages, and automata-are a natural extension of a Discrete Mathematics course, which is generally required for computer science (CS) majors. This text steers clear of excessive mathematical notation, focusing instead on fundamental ideas and their application. However, it is impossible to appreciate the power that comes from the rigorous methods and models in this book without some background in discrete mathematics. This chapter is a brief overview of the needed mathematical background and may be useful for self-evaluation, review, and reference. 1.1 Operators and Their Algebraic Properties Operators are crucial to all of mathematics, starting with the first one we learn in childhood-the addition operator of ordinary arithmetic. The things that an operator operates on are called its operands. Each operand of an operator must come from some domain. For present purposes, we assume that both operands of addition are from the domain of real numbers, which includes things like -273, 7r,.406, and v5. The real numbers are closed under addition, because the result of adding two of them is also a real number; roughly speaking, "closed" means staying within a domain. In the case of addition, the order of the operands does not affect the result. For example, and are both 5. More generally, x + y = y + x for any x and y. Since that is the case, the operator is commutative. Multiplication is also commutative, but subtraction and division are not. Being commutative, or the I
15 2 CHAPTER 1. MATHEMATICAL PRELIMINARIES property of commutativity, is one of several properties of operators that is of interest to us. Another key property of addition is associativity. Like commutativity, it can be expressed by an equality. To say that addition is associative-which it is-is the same as saying that (x + y) + z = x + (y + z) for any x, y, and z. The identity element for addition is 0 (zero) since, whenever it is one of the operands, the result is the other operand: x + 0 = x for any x. Every real number x has an inverse, -x, such that the two of them add up to the identity: x + (-X) = 0. Multiplication of reals is commutative and associative. It has an identity element, 1, and for each element except 0 there is an inverse. The multiplication operator is often left invisible, as in xy, the product of x and y. Here the operator has been expressed by simply writing the operands next to each other. A property of the interaction of addition and multiplication is distributivity, the fact that multiplication distributes over addition. This fact is written x(y + z) = xy+xz, for all x, y, and z. Addition does not distribute over multiplication, however, since it is not true in general that x + yz = (x + y)(x + z). Equality, less than ("<"), and greater than (">") are known as relational operators. The pairwise combinations of them are also relational operators: inequality ("5'), less than or equal ("<"), and greater than or equal (">"). An important property of all these operators except "=" is transitivity. For example, to say that less than is transitive means that if x < y and y < z are both true, then x < z must also be true. Operators apply not only to numbers, but to other categories as well. An excellent example occurs in the next section, where sets and their operators are introduced. We find that not only are the two key operators, union and intersection, both commutative and associative, but also each distributes over the other. In later chapters, we see that discussions of operators and their algebraic properties are highly significant for the principal topics of this book logic and formal languages. 1.2 Sets A set is a collection of distinct elements. The elements are typically thought of as objects such as integers, people, books, or classrooms, and they are written within braces like this: {Friday, Saturday, Sunday}. When working with sets, it can be important to specify the universe, U, of elements (e.g., the set of days of the week) from which the elements of particular sets are drawn. Note that the universe is a set: the set of all elements of a given type. Sometimes the universe is only tacitly specified, when the reader can easily figure out what it is. The elements are said to
16 1.2. SETS 3 be in the set and may also be called its members. Sets can be presented in two forms. The extensional form enumerates the elements of the set, whereas the intensional form specifies the properties of the elements. For example: S = {11, 12,13, 14} S = {x I x is an integer, and 10 < x < 15} are extensional and intensional forms of the same set. The second of these is read "those x such that x is an integer greater than 10 and less than 15." Note that the universe, the set of integers, is tacit in the first example and only informally specified in the second. The empty set is a set with no element and is denoted 0. Because the elements of a set are distinct, you should write sets with no repetition. For example, suppose a student database includes countries of origin and shows the participants in a seminar as being from China, France, China, Egypt, and France. Then the set of countries represented in this class is {China, France, Egypt}. Further, there is no concept of ordering within a set; there is no "first" element, and so on. For example, the sets {4, 2, 3} and {2, 3, 4} are the same set; it does not matter which form is used. If ordering is important, then one speaks of a sequence of elements. In the extensional form of a sequence, the elements appear in order, within parentheses, not braces. For example, the sequence (4, 2, 3) is different from (2, 3, 4). Further, sequences need not have distinct elements, so the sequence (2, 3,3,4) is different from (2, 3,4). Sequences are often implemented as one-dimensional arrays or as linked lists. A sequence of length 2 is called an ordered pair. A sequence of length 3, 4, or 5 is called a triple, quadruple, or quintuple respectively; in the general case of length n, the word is n-tuple. Set operators let us talk succinctly about sets. We begin with notions of membership and comparison. The notation x G S means that x is an element of the set S, whereas x S means that x is not in S. With S = {11, 12,13, 14} as in the prior example, 12 c S and 16 V S. We say that S1 is a subset of S 2, written S 1 g S2, if each element of S is also an element of S 2. For example, {12, 14} C {11, 12, 13, 14}. Since (of course) a set contains all of its own elements, it is correct to write S C S. Now consider subset T, which is not equal to S because it is missing one or more elements of S. Although it is correct to write T C S, we may choose to write T C S, which states that T is a proper subset of S. For contrast, one may refer to any set as an improper subset of itself. Two sets are equal, S = S 2, if (and only if) they contain exactly the same elements. It is important to observe that S = S 2 exactly when S g S2 and S 2 C S1. To show that S = S 2 one needs to argue that both S g S 2 and S 2 C S1.
Objectives. Chapter 2: The Representation of Knowledge. Expert Systems: Principles and Programming, Fourth Edition
Chapter 2: The Representation of Knowledge Expert Systems: Principles and Programming, Fourth Edition Objectives Introduce the study of logic Learn the difference between formal logic and informal logic
More informationProof Theory for Syntacticians
Department of Linguistics Ohio State University Syntax 2 (Linguistics 602.02) January 5, 2012 Logics for Linguistics Many different kinds of logic are directly applicable to formalizing theories in syntax
More informationLecture Notes on Mathematical Olympiad Courses
Lecture Notes on Mathematical Olympiad Courses For Junior Section Vol. 2 Mathematical Olympiad Series ISSN: 1793-8570 Series Editors: Lee Peng Yee (Nanyang Technological University, Singapore) Xiong Bin
More informationLanguage properties and Grammar of Parallel and Series Parallel Languages
arxiv:1711.01799v1 [cs.fl] 6 Nov 2017 Language properties and Grammar of Parallel and Series Parallel Languages Mohana.N 1, Kalyani Desikan 2 and V.Rajkumar Dare 3 1 Division of Mathematics, School of
More informationCOMPUTATIONAL COMPLEXITY OF LEFT-ASSOCIATIVE GRAMMAR
COMPUTATIONAL COMPLEXITY OF LEFT-ASSOCIATIVE GRAMMAR ROLAND HAUSSER Institut für Deutsche Philologie Ludwig-Maximilians Universität München München, West Germany 1. CHOICE OF A PRIMITIVE OPERATION The
More informationUniversity of Groningen. Systemen, planning, netwerken Bosman, Aart
University of Groningen Systemen, planning, netwerken Bosman, Aart IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document
More informationA General Class of Noncontext Free Grammars Generating Context Free Languages
INFORMATION AND CONTROL 43, 187-194 (1979) A General Class of Noncontext Free Grammars Generating Context Free Languages SARWAN K. AGGARWAL Boeing Wichita Company, Wichita, Kansas 67210 AND JAMES A. HEINEN
More informationA Version Space Approach to Learning Context-free Grammars
Machine Learning 2: 39~74, 1987 1987 Kluwer Academic Publishers, Boston - Manufactured in The Netherlands A Version Space Approach to Learning Context-free Grammars KURT VANLEHN (VANLEHN@A.PSY.CMU.EDU)
More informationAGS THE GREAT REVIEW GAME FOR PRE-ALGEBRA (CD) CORRELATED TO CALIFORNIA CONTENT STANDARDS
AGS THE GREAT REVIEW GAME FOR PRE-ALGEBRA (CD) CORRELATED TO CALIFORNIA CONTENT STANDARDS 1 CALIFORNIA CONTENT STANDARDS: Chapter 1 ALGEBRA AND WHOLE NUMBERS Algebra and Functions 1.4 Students use algebraic
More informationSpring 2016 Stony Brook University Instructor: Dr. Paul Fodor
CSE215, Foundations of Computer Science Course Information Spring 2016 Stony Brook University Instructor: Dr. Paul Fodor http://www.cs.stonybrook.edu/~cse215 Course Description Introduction to the logical
More informationGACE Computer Science Assessment Test at a Glance
GACE Computer Science Assessment Test at a Glance Updated May 2017 See the GACE Computer Science Assessment Study Companion for practice questions and preparation resources. Assessment Name Computer Science
More informationSelf Study Report Computer Science
Computer Science undergraduate students have access to undergraduate teaching, and general computing facilities in three buildings. Two large classrooms are housed in the Davis Centre, which hold about
More informationGrammars & Parsing, Part 1:
Grammars & Parsing, Part 1: Rules, representations, and transformations- oh my! Sentence VP The teacher Verb gave the lecture 2015-02-12 CS 562/662: Natural Language Processing Game plan for today: Review
More informationGrade 6: Correlated to AGS Basic Math Skills
Grade 6: Correlated to AGS Basic Math Skills Grade 6: Standard 1 Number Sense Students compare and order positive and negative integers, decimals, fractions, and mixed numbers. They find multiples and
More informationParsing of part-of-speech tagged Assamese Texts
IJCSI International Journal of Computer Science Issues, Vol. 6, No. 1, 2009 ISSN (Online): 1694-0784 ISSN (Print): 1694-0814 28 Parsing of part-of-speech tagged Assamese Texts Mirzanur Rahman 1, Sufal
More informationSome Principles of Automated Natural Language Information Extraction
Some Principles of Automated Natural Language Information Extraction Gregers Koch Department of Computer Science, Copenhagen University DIKU, Universitetsparken 1, DK-2100 Copenhagen, Denmark Abstract
More informationGuide to Teaching Computer Science
Guide to Teaching Computer Science Orit Hazzan Tami Lapidot Noa Ragonis Guide to Teaching Computer Science An Activity-Based Approach Dr. Orit Hazzan Associate Professor Technion - Israel Institute of
More informationProbability and Game Theory Course Syllabus
Probability and Game Theory Course Syllabus DATE ACTIVITY CONCEPT Sunday Learn names; introduction to course, introduce the Battle of the Bismarck Sea as a 2-person zero-sum game. Monday Day 1 Pre-test
More informationWe are strong in research and particularly noted in software engineering, information security and privacy, and humane gaming.
Computer Science 1 COMPUTER SCIENCE Office: Department of Computer Science, ECS, Suite 379 Mail Code: 2155 E Wesley Avenue, Denver, CO 80208 Phone: 303-871-2458 Email: info@cs.du.edu Web Site: Computer
More informationPhysics 270: Experimental Physics
2017 edition Lab Manual Physics 270 3 Physics 270: Experimental Physics Lecture: Lab: Instructor: Office: Email: Tuesdays, 2 3:50 PM Thursdays, 2 4:50 PM Dr. Uttam Manna 313C Moulton Hall umanna@ilstu.edu
More informationMathematics. Mathematics
Mathematics Program Description Successful completion of this major will assure competence in mathematics through differential and integral calculus, providing an adequate background for employment in
More informationAre You Ready? Simplify Fractions
SKILL 10 Simplify Fractions Teaching Skill 10 Objective Write a fraction in simplest form. Review the definition of simplest form with students. Ask: Is 3 written in simplest form? Why 7 or why not? (Yes,
More informationThe Strong Minimalist Thesis and Bounded Optimality
The Strong Minimalist Thesis and Bounded Optimality DRAFT-IN-PROGRESS; SEND COMMENTS TO RICKL@UMICH.EDU Richard L. Lewis Department of Psychology University of Michigan 27 March 2010 1 Purpose of this
More informationModule 12. Machine Learning. Version 2 CSE IIT, Kharagpur
Module 12 Machine Learning 12.1 Instructional Objective The students should understand the concept of learning systems Students should learn about different aspects of a learning system Students should
More informationComputer Science 141: Computing Hardware Course Information Fall 2012
Computer Science 141: Computing Hardware Course Information Fall 2012 September 4, 2012 1 Outline The main emphasis of this course is on the basic concepts of digital computing hardware and fundamental
More informationStatewide Framework Document for:
Statewide Framework Document for: 270301 Standards may be added to this document prior to submission, but may not be removed from the framework to meet state credit equivalency requirements. Performance
More informationCS 1103 Computer Science I Honors. Fall Instructor Muller. Syllabus
CS 1103 Computer Science I Honors Fall 2016 Instructor Muller Syllabus Welcome to CS1103. This course is an introduction to the art and science of computer programming and to some of the fundamental concepts
More informationA Metacognitive Approach to Support Heuristic Solution of Mathematical Problems
A Metacognitive Approach to Support Heuristic Solution of Mathematical Problems John TIONG Yeun Siew Centre for Research in Pedagogy and Practice, National Institute of Education, Nanyang Technological
More informationWSU Five-Year Program Review Self-Study Cover Page
WSU Five-Year Program Review Self-Study Cover Page Department: Program: Computer Science Computer Science AS/BS Semester Submitted: Spring 2012 Self-Study Team Chair: External to the University but within
More informationSyntax Parsing 1. Grammars and parsing 2. Top-down and bottom-up parsing 3. Chart parsers 4. Bottom-up chart parsing 5. The Earley Algorithm
Syntax Parsing 1. Grammars and parsing 2. Top-down and bottom-up parsing 3. Chart parsers 4. Bottom-up chart parsing 5. The Earley Algorithm syntax: from the Greek syntaxis, meaning setting out together
More informationKnowledge-Based - Systems
Knowledge-Based - Systems ; Rajendra Arvind Akerkar Chairman, Technomathematics Research Foundation and Senior Researcher, Western Norway Research institute Priti Srinivas Sajja Sardar Patel University
More informationMathematics subject curriculum
Mathematics subject curriculum Dette er ei omsetjing av den fastsette læreplanteksten. Læreplanen er fastsett på Nynorsk Established as a Regulation by the Ministry of Education and Research on 24 June
More informationPrinciples of Public Speaking
Test Bank for German, Gronbeck, Ehninger, and Monroe Principles of Public Speaking Seventeenth Edition prepared by Cynthia Brown El Macomb Community College Allyn & Bacon Boston Columbus Indianapolis New
More informationEvolution of Collective Commitment during Teamwork
Fundamenta Informaticae 56 (2003) 329 371 329 IOS Press Evolution of Collective Commitment during Teamwork Barbara Dunin-Kȩplicz Institute of Informatics, Warsaw University Banacha 2, 02-097 Warsaw, Poland
More informationEye Level Education. Program Orientation
Eye Level Education Program Orientation Copyright 2010 Daekyo America, Inc. All Rights Reserved. Eye Level is the key to self-directed learning. We nurture: problem solvers critical thinkers life-long
More informationThe Indices Investigations Teacher s Notes
The Indices Investigations Teacher s Notes These activities are for students to use independently of the teacher to practise and develop number and algebra properties.. Number Framework domain and stage:
More informationCal s Dinner Card Deals
Cal s Dinner Card Deals Overview: In this lesson students compare three linear functions in the context of Dinner Card Deals. Students are required to interpret a graph for each Dinner Card Deal to help
More informationThe Effect of Extensive Reading on Developing the Grammatical. Accuracy of the EFL Freshmen at Al Al-Bayt University
The Effect of Extensive Reading on Developing the Grammatical Accuracy of the EFL Freshmen at Al Al-Bayt University Kifah Rakan Alqadi Al Al-Bayt University Faculty of Arts Department of English Language
More informationSouth Carolina English Language Arts
South Carolina English Language Arts A S O F J U N E 2 0, 2 0 1 0, T H I S S TAT E H A D A D O P T E D T H E CO M M O N CO R E S TAT E S TA N DA R D S. DOCUMENTS REVIEWED South Carolina Academic Content
More informationPractical Research. Planning and Design. Paul D. Leedy. Jeanne Ellis Ormrod. Upper Saddle River, New Jersey Columbus, Ohio
SUB Gfittingen 213 789 981 2001 B 865 Practical Research Planning and Design Paul D. Leedy The American University, Emeritus Jeanne Ellis Ormrod University of New Hampshire Upper Saddle River, New Jersey
More informationDublin City Schools Mathematics Graded Course of Study GRADE 4
I. Content Standard: Number, Number Sense and Operations Standard Students demonstrate number sense, including an understanding of number systems and reasonable estimates using paper and pencil, technology-supported
More informationCAAP. Content Analysis Report. Sample College. Institution Code: 9011 Institution Type: 4-Year Subgroup: none Test Date: Spring 2011
CAAP Content Analysis Report Institution Code: 911 Institution Type: 4-Year Normative Group: 4-year Colleges Introduction This report provides information intended to help postsecondary institutions better
More informationCompositional Semantics
Compositional Semantics CMSC 723 / LING 723 / INST 725 MARINE CARPUAT marine@cs.umd.edu Words, bag of words Sequences Trees Meaning Representing Meaning An important goal of NLP/AI: convert natural language
More informationBackwards Numbers: A Study of Place Value. Catherine Perez
Backwards Numbers: A Study of Place Value Catherine Perez Introduction I was reaching for my daily math sheet that my school has elected to use and in big bold letters in a box it said: TO ADD NUMBERS
More informationLearning Disability Functional Capacity Evaluation. Dear Doctor,
Dear Doctor, I have been asked to formulate a vocational opinion regarding NAME s employability in light of his/her learning disability. To assist me with this evaluation I would appreciate if you can
More informationLecture 2: Quantifiers and Approximation
Lecture 2: Quantifiers and Approximation Case study: Most vs More than half Jakub Szymanik Outline Number Sense Approximate Number Sense Approximating most Superlative Meaning of most What About Counting?
More informationAdvanced Grammar in Use
Advanced Grammar in Use A self-study reference and practice book for advanced learners of English Third Edition with answers and CD-ROM cambridge university press cambridge, new york, melbourne, madrid,
More informationPIRLS 2006 ASSESSMENT FRAMEWORK AND SPECIFICATIONS TIMSS & PIRLS. 2nd Edition. Progress in International Reading Literacy Study.
PIRLS 2006 ASSESSMENT FRAMEWORK AND SPECIFICATIONS Progress in International Reading Literacy Study 2nd Edition February 2006 Ina V.S. Mullis Ann M. Kennedy Michael O. Martin Marian Sainsbury TIMSS & PIRLS
More information16 WEEKS STUDY PLAN FOR BS(IT)2 nd Semester
16 WEEKS STUDY PLAN FOR BS(IT)2 nd Semester COURSE: OBJECT ORIENTED PROGRAMMING Week Ch# Chapter Names 1 1 The Big Picture 2 2 C++ Programming Basics 3 3 Loops and Decisions 4 4 Structures 5 4 Structures
More information"f TOPIC =T COMP COMP... OBJ
TREATMENT OF LONG DISTANCE DEPENDENCIES IN LFG AND TAG: FUNCTIONAL UNCERTAINTY IN LFG IS A COROLLARY IN TAG" Aravind K. Joshi Dept. of Computer & Information Science University of Pennsylvania Philadelphia,
More informationMarketing Management
INSTRUCTOR S MANUAL Michael Hockenstein Vanier College Marketing Management Canadian Thirteenth Edition Philip Kotler Northwestern University Kevin Lane Keller Dartmouth College Peggy H. Cunningham Dalhousie
More informationPre-Algebra A. Syllabus. Course Overview. Course Goals. General Skills. Credit Value
Syllabus Pre-Algebra A Course Overview Pre-Algebra is a course designed to prepare you for future work in algebra. In Pre-Algebra, you will strengthen your knowledge of numbers as you look to transition
More informationA Case Study: News Classification Based on Term Frequency
A Case Study: News Classification Based on Term Frequency Petr Kroha Faculty of Computer Science University of Technology 09107 Chemnitz Germany kroha@informatik.tu-chemnitz.de Ricardo Baeza-Yates Center
More informationKUTZTOWN UNIVERSITY KUTZTOWN, PENNSYLVANIA COE COURSE SYLLABUS TEMPLATE
KUTZTOWN UNIVERSITY KUTZTOWN, PENNSYLVANIA COE COURSE SYLLABUS TEMPLATE DEPARTMENT OF SECONDARY EDUCATION I. Course Description: Course Prefix, Number and Title Secondary Education SEU 520 Education Theory
More informationAlgebra 1 Summer Packet
Algebra 1 Summer Packet Name: Solve each problem and place the answer on the line to the left of the problem. Adding Integers A. Steps if both numbers are positive. Example: 3 + 4 Step 1: Add the two numbers.
More informationAQUA: An Ontology-Driven Question Answering System
AQUA: An Ontology-Driven Question Answering System Maria Vargas-Vera, Enrico Motta and John Domingue Knowledge Media Institute (KMI) The Open University, Walton Hall, Milton Keynes, MK7 6AA, United Kingdom.
More informationSoftware Development: Programming Paradigms (SCQF level 8)
Higher National Unit Specification General information Unit code: HL9V 35 Superclass: CB Publication date: May 2017 Source: Scottish Qualifications Authority Version: 01 Unit purpose This unit is intended
More informationA Minimalist Approach to Code-Switching. In the field of linguistics, the topic of bilingualism is a broad one. There are many
Schmidt 1 Eric Schmidt Prof. Suzanne Flynn Linguistic Study of Bilingualism December 13, 2013 A Minimalist Approach to Code-Switching In the field of linguistics, the topic of bilingualism is a broad one.
More informationGRAMMAR IN CONTEXT 2 PDF
GRAMMAR IN CONTEXT 2 PDF ==> Download: GRAMMAR IN CONTEXT 2 PDF GRAMMAR IN CONTEXT 2 PDF - Are you searching for Grammar In Context 2 Books? Now, you will be happy that at this time Grammar In Context
More informationNotes on The Sciences of the Artificial Adapted from a shorter document written for course (Deciding What to Design) 1
Notes on The Sciences of the Artificial Adapted from a shorter document written for course 17-652 (Deciding What to Design) 1 Ali Almossawi December 29, 2005 1 Introduction The Sciences of the Artificial
More informationPH.D. IN COMPUTER SCIENCE PROGRAM (POST M.S.)
PH.D. IN COMPUTER SCIENCE PROGRAM (POST M.S.) OVERVIEW ADMISSION REQUIREMENTS PROGRAM REQUIREMENTS OVERVIEW FOR THE PH.D. IN COMPUTER SCIENCE Overview The doctoral program is designed for those students
More informationIntroductory thoughts on numeracy
Report from Summer Institute 2002 Introductory thoughts on numeracy by Dave Tout, Language Australia A brief history of the word A quick look into the history of the word numeracy will tell you that the
More informationNew Ways of Connecting Reading and Writing
Sanchez, P., & Salazar, M. (2012). Transnational computer use in urban Latino immigrant communities: Implications for schooling. Urban Education, 47(1), 90 116. doi:10.1177/0042085911427740 Smith, N. (1993).
More informationLecture 1: Basic Concepts of Machine Learning
Lecture 1: Basic Concepts of Machine Learning Cognitive Systems - Machine Learning Ute Schmid (lecture) Johannes Rabold (practice) Based on slides prepared March 2005 by Maximilian Röglinger, updated 2010
More informationCS 598 Natural Language Processing
CS 598 Natural Language Processing Natural language is everywhere Natural language is everywhere Natural language is everywhere Natural language is everywhere!"#$%&'&()*+,-./012 34*5665756638/9:;< =>?@ABCDEFGHIJ5KL@
More informationPage 1 of 11. Curriculum Map: Grade 4 Math Course: Math 4 Sub-topic: General. Grade(s): None specified
Curriculum Map: Grade 4 Math Course: Math 4 Sub-topic: General Grade(s): None specified Unit: Creating a Community of Mathematical Thinkers Timeline: Week 1 The purpose of the Establishing a Community
More informationDiagnostic Test. Middle School Mathematics
Diagnostic Test Middle School Mathematics Copyright 2010 XAMonline, Inc. All rights reserved. No part of the material protected by this copyright notice may be reproduced or utilized in any form or by
More informationExcel Formulas & Functions
Microsoft Excel Formulas & Functions 4th Edition Microsoft Excel Formulas & Functions 4th Edition by Ken Bluttman Microsoft Excel Formulas & Functions For Dummies, 4th Edition Published by: John Wiley
More informationComputerized Adaptive Psychological Testing A Personalisation Perspective
Psychology and the internet: An European Perspective Computerized Adaptive Psychological Testing A Personalisation Perspective Mykola Pechenizkiy mpechen@cc.jyu.fi Introduction Mixed Model of IRT and ES
More informationOCW Global Conference 2009 MONTERREY, MEXICO BY GARY W. MATKIN DEAN, CONTINUING EDUCATION LARRY COOPERMAN DIRECTOR, UC IRVINE OCW
OCW Global Conference 2009 MONTERREY, MEXICO BY GARY W. MATKIN DEAN, CONTINUING EDUCATION LARRY COOPERMAN DIRECTOR, UC IRVINE OCW 200 institutional members in the OCWC Over 8,200 courses posted Over 130
More informationGrade 5 + DIGITAL. EL Strategies. DOK 1-4 RTI Tiers 1-3. Flexible Supplemental K-8 ELA & Math Online & Print
Standards PLUS Flexible Supplemental K-8 ELA & Math Online & Print Grade 5 SAMPLER Mathematics EL Strategies DOK 1-4 RTI Tiers 1-3 15-20 Minute Lessons Assessments Consistent with CA Testing Technology
More informationMath 098 Intermediate Algebra Spring 2018
Math 098 Intermediate Algebra Spring 2018 Dept. of Mathematics Instructor's Name: Office Location: Office Hours: Office Phone: E-mail: MyMathLab Course ID: Course Description This course expands on the
More informationMontana Content Standards for Mathematics Grade 3. Montana Content Standards for Mathematical Practices and Mathematics Content Adopted November 2011
Montana Content Standards for Mathematics Grade 3 Montana Content Standards for Mathematical Practices and Mathematics Content Adopted November 2011 Contents Standards for Mathematical Practice: Grade
More informationMASTER OF SCIENCE (M.S.) MAJOR IN COMPUTER SCIENCE
Master of Science (M.S.) Major in Computer Science 1 MASTER OF SCIENCE (M.S.) MAJOR IN COMPUTER SCIENCE Major Program The programs in computer science are designed to prepare students for doctoral research,
More informationWriting Research Articles
Marek J. Druzdzel with minor additions from Peter Brusilovsky University of Pittsburgh School of Information Sciences and Intelligent Systems Program marek@sis.pitt.edu http://www.pitt.edu/~druzdzel Overview
More informationTHE UNIVERSITY OF SYDNEY Semester 2, Information Sheet for MATH2068/2988 Number Theory and Cryptography
THE UNIVERSITY OF SYDNEY Semester 2, 2017 Information Sheet for MATH2068/2988 Number Theory and Cryptography Websites: It is important that you check the following webpages regularly. Intermediate Mathematics
More informationAbstractions and the Brain
Abstractions and the Brain Brian D. Josephson Department of Physics, University of Cambridge Cavendish Lab. Madingley Road Cambridge, UK. CB3 OHE bdj10@cam.ac.uk http://www.tcm.phy.cam.ac.uk/~bdj10 ABSTRACT
More informationTabletClass Math Geometry Course Guidebook
TabletClass Math Geometry Course Guidebook Includes Final Exam/Key, Course Grade Calculation Worksheet and Course Certificate Student Name Parent Name School Name Date Started Course Date Completed Course
More informationThe suffix -able means "able to be." Adding the suffix -able to verbs turns the verbs into adjectives. chewable enjoyable
Lesson 3 Suffix -able The suffix -able means "able to be." Adding the suffix -able to verbs turns the verbs into adjectives. noticeable acceptable chewable enjoyable foldable honorable breakable adorable
More informationTechnical Manual Supplement
VERSION 1.0 Technical Manual Supplement The ACT Contents Preface....................................................................... iii Introduction....................................................................
More informationCharacteristics of Functions
Characteristics of Functions Unit: 01 Lesson: 01 Suggested Duration: 10 days Lesson Synopsis Students will collect and organize data using various representations. They will identify the characteristics
More informationBlank Table Of Contents Template Interactive Notebook
Blank Template Free PDF ebook Download: Blank Template Download or Read Online ebook blank table of contents template interactive notebook in PDF Format From The Best User Guide Database Table of Contents
More informationEconomics 201 Principles of Microeconomics Fall 2010 MWF 10:00 10:50am 160 Bryan Building
Economics 201 Principles of Microeconomics Fall 2010 MWF 10:00 10:50am 160 Bryan Building Professor: Dr. Michelle Sheran Office: 445 Bryan Building Phone: 256-1192 E-mail: mesheran@uncg.edu Office Hours:
More informationExtending Place Value with Whole Numbers to 1,000,000
Grade 4 Mathematics, Quarter 1, Unit 1.1 Extending Place Value with Whole Numbers to 1,000,000 Overview Number of Instructional Days: 10 (1 day = 45 minutes) Content to Be Learned Recognize that a digit
More informationLecture 10: Reinforcement Learning
Lecture 1: Reinforcement Learning Cognitive Systems II - Machine Learning SS 25 Part III: Learning Programs and Strategies Q Learning, Dynamic Programming Lecture 1: Reinforcement Learning p. Motivation
More informationVisual CP Representation of Knowledge
Visual CP Representation of Knowledge Heather D. Pfeiffer and Roger T. Hartley Department of Computer Science New Mexico State University Las Cruces, NM 88003-8001, USA email: hdp@cs.nmsu.edu and rth@cs.nmsu.edu
More informationMachine Learning from Garden Path Sentences: The Application of Computational Linguistics
Machine Learning from Garden Path Sentences: The Application of Computational Linguistics http://dx.doi.org/10.3991/ijet.v9i6.4109 J.L. Du 1, P.F. Yu 1 and M.L. Li 2 1 Guangdong University of Foreign Studies,
More informationRadius STEM Readiness TM
Curriculum Guide Radius STEM Readiness TM While today s teens are surrounded by technology, we face a stark and imminent shortage of graduates pursuing careers in Science, Technology, Engineering, and
More informationFocus of the Unit: Much of this unit focuses on extending previous skills of multiplication and division to multi-digit whole numbers.
Approximate Time Frame: 3-4 weeks Connections to Previous Learning: In fourth grade, students fluently multiply (4-digit by 1-digit, 2-digit by 2-digit) and divide (4-digit by 1-digit) using strategies
More informationGeorge Mason University Graduate School of Education Program: Special Education
George Mason University Graduate School of Education Program: Special Education 1 EDSE 590: Research Methods in Special Education Instructor: Margo A. Mastropieri, Ph.D. Assistant: Judy Ericksen Section
More informationWelcome to. ECML/PKDD 2004 Community meeting
Welcome to ECML/PKDD 2004 Community meeting A brief report from the program chairs Jean-Francois Boulicaut, INSA-Lyon, France Floriana Esposito, University of Bari, Italy Fosca Giannotti, ISTI-CNR, Pisa,
More informationInformatics 2A: Language Complexity and the. Inf2A: Chomsky Hierarchy
Informatics 2A: Language Complexity and the Chomsky Hierarchy September 28, 2010 Starter 1 Is there a finite state machine that recognises all those strings s from the alphabet {a, b} where the difference
More informationA GENERIC SPLIT PROCESS MODEL FOR ASSET MANAGEMENT DECISION-MAKING
A GENERIC SPLIT PROCESS MODEL FOR ASSET MANAGEMENT DECISION-MAKING Yong Sun, a * Colin Fidge b and Lin Ma a a CRC for Integrated Engineering Asset Management, School of Engineering Systems, Queensland
More informationAdler Graduate School
Adler Graduate School Richfield, Minnesota AGS Course 500 Principles of Research 1. Course Designation and Identifier 1.1 Adler Graduate School 1.2 Course Number: 500 1.3 Research 1.4 Three (3) credits
More informationAchievement Level Descriptors for American Literature and Composition
Achievement Level Descriptors for American Literature and Composition Georgia Department of Education September 2015 All Rights Reserved Achievement Levels and Achievement Level Descriptors With the implementation
More informationCS 101 Computer Science I Fall Instructor Muller. Syllabus
CS 101 Computer Science I Fall 2013 Instructor Muller Syllabus Welcome to CS101. This course is an introduction to the art and science of computer programming and to some of the fundamental concepts of
More informationParallel Evaluation in Stratal OT * Adam Baker University of Arizona
Parallel Evaluation in Stratal OT * Adam Baker University of Arizona tabaker@u.arizona.edu 1.0. Introduction The model of Stratal OT presented by Kiparsky (forthcoming), has not and will not prove uncontroversial
More informationIntroduction to Causal Inference. Problem Set 1. Required Problems
Introduction to Causal Inference Problem Set 1 Professor: Teppei Yamamoto Due Friday, July 15 (at beginning of class) Only the required problems are due on the above date. The optional problems will not
More informationGraduate Program in Education
SPECIAL EDUCATION THESIS/PROJECT AND SEMINAR (EDME 531-01) SPRING / 2015 Professor: Janet DeRosa, D.Ed. Course Dates: January 11 to May 9, 2015 Phone: 717-258-5389 (home) Office hours: Tuesday evenings
More informationUnpacking a Standard: Making Dinner with Student Differences in Mind
Unpacking a Standard: Making Dinner with Student Differences in Mind Analyze how particular elements of a story or drama interact (e.g., how setting shapes the characters or plot). Grade 7 Reading Standards
More information