CIS 500 Software Foundations Fall Reasoning about evaluation. More on induction. Induction principles. More induction principles
|
|
- Louisa White
- 5 years ago
- Views:
Transcription
1 CIS 500 Software Foundations Fall 2004 Reasoning about evaluation More on induction CIS 500, More on induction 1 CIS 500, More on induction 2 Induction principles We ve seen three definitions of sets their associated induction principles: Ordinary natural numbers Boolean terms Arithmetic terms GivenasetdefinedinBNFnotation,itisnottoohardtodescribethe structural induction principle for that set For example: More induction principles However, these are not the only sets that we ve defined inductively so far We defined the semantics of the boolean arithmetic languages using inductively defined relations ie, inductively defined sets of pairs(of terms) These sets also have induction principles What is the structural induction principle for this language? CIS 500, More on induction 3 CIS 500, More on induction 4
2 Induction on evaluation We can define an induction principle for small-step evaluation Recall the definition(just for booleans, for now): E-IFTRUE E-IFFALSE E-IF Induction on evaluation Induction principle for the evaluation relation: Suppose Ifwecanshow with isapropertyofpairsofterms, thenwemayconcludethat,,, such that, What is the induction principle for this relation? CIS 500, More on induction 5 CIS 500, More on induction 6 Sayingthat Derivations Another way to look at induction on evaluation is in terms of derivations A derivation records the justification for a particular pair of terms that areintheevaluationrelation,intheformofatree We vealreadyseen oneexampleontheboardlasttime Terminology: These trees are called derivation trees(or just derivations) The final statement in a derivation tree is its conclusion Wesaythataderivationisproofofitsconclusion(orawitnessforits conclusion) it records the reasoning steps that justify the conclusion (ie, thepair isintherelation )is equivalenttosaying thereexistsanevaluationderivation whose conclusion is CIS 500, More on induction 7 Observation Lemma: Supposewearegivenaderivation witnessing the pair inthe relation Then exactly one of the following holds: 1 thefinalruleusedin for some 2thefinalruleusedin is E-IFTRUE ;or is E-IFFALSE for some 3thefinalruleusedin ise-if,forsome immediatesubderivationof witnesses ;or ; moreover the CIS 500, More on induction 8
3 Induction on Derivations We can now write proofs about evaluation by induction on derivation trees Givenanarbitraryderivation with conclusion,weassumethe desiredproperty for its immediate sub-derivations(if any) try to showthat holdsfor itself, using a case analysis(applying the previous lemma) of the final evaluation rule used in constructing the derivation tree Eg Induction on small-step evaluation For example, let us show that small-step evaluation is deterministic Theorem: If then roof: Byinductiononaderivation of (Check: exactly what is here?) 1 Supposethefinalruleusedin is E-IfTrue, with Thenthelast rule of the derivation of cannot be E-IfFalse, because isnot Furthermore, the last rule cannot be E-If either, because this rule requires that, doesnotsteptoanything So thelastrulecanonlybee-iftrue, 2Supposethefinalruleusedin is E-IFFALSE, with Thiscaseissimilartothe previous CIS 500, More on induction 9 CIS 500, More on induction 10 3Supposethefinalruleusedin is E-IF, with,where iswitnessedbyaderivation Thelastruleinthe derivation of canonlybee-if,soitmustbethat By the inductive hypothesis,, fromwhichweconclude What principle to use? We ve proven the same theorem using two different induction principles Q:Whichoneisthebestonetouseinagivencase? A:Theonethatworksinthatcase! For these simple languages, anything you can prove by induction on derivations of,youcanalsoprovebystructuralinductionon Butthatwillnotbethecaseforeverylanguage CIS 500, More on induction 11 CIS 500, More on induction 12
4 AScepticAsks Well-founded induction Question: Why are any of these induction principles true? Why should I believe a proof that employs one? Answer: These are all instances of a general principle called well-founded induction CIS 500, More on induction 13 CIS 500, More on induction 14 Well-founded induction Well-founded induction Let beawell-foundedrelationonaset letbeaproperty If Forexample,welet def Inthiscase,we can rewrite previous principle as: then If Choosingtheset relation determines the induction principle then Now,bydefinition is either or for some : If then Or, simplifying: If then CIS 500, More on induction 15 CIS 500, More on induction 16
5 Strong induction Ifwetake to be the strictly less than relation on natural numbers, then the principle we get is strong(or complete ) induction: If then Well-founded relation The induction principle holds only when the relation Definition: A well-founded relation is a binary relation that there are no infinite descending chains Are the successor relations well-founded? is well-founded onaset such CIS 500, More on induction 17 CIS 500, More on induction 18 Now,suppose Theorem: Let property Then roof: The( Validity of well-founded induction isawell-foundedrelationonaset iff )directionistrivial We llshowthe( Letbea ) direction First,observethatanynonemptysubsetQofAhasaminimalelement, evenifqisinfinite oftheset is a contradiction forsome Butthen, in Theremustbeaminimalelement yet which Structural induction Well-founded induction also generalizes structural induction If is the immediate subterm relation, then the principle we get is structural induction for terms For example, in Arith, the term Is the immediate subterm relation well-founded? Yes,sincealltermsofAritharefinite isanimmediatesubtermoftheterm CIS 500, More on induction 19 CIS 500, More on induction 20
6 Mathematical Digression If you want to understn the full story about induction inductively know defined relations, check out the beginning of Chapter 21 in TAL Termination of evaluation CIS 500, More on induction 21 CIS 500, More on induction 22 Termination of evaluation An Inductive Definition of a Function Theorem: For every there is some normal form such that Wecefinetheofatermwiththefollowingrelation: Howcanweproveit?? Note: thisisyetmoreshorth Howwouldwewritethisdefinitionwith inference rules? CIS 500, More on induction 23 CIS 500, More on induction 24
7 Theorem: If Induction on Derivations Another Example,then roof: Byinductiononaderivation of 1 Supposethefinalruleusedin is E-IFTRUE, with Thentheresultisimmediate from the definition of 2Supposethefinalruleusedin is E-IFFALSE, with Thentheresultisagain immediate from the definition of 3Supposethefinalruleusedin is E-IF, with,where iswitnessedbyaderivation Bytheinduction Butthen,bythedefinitionof,we hypothesis, have Theorem: For every roof: Termination of evaluation there is some normal form such that First, recall that single-step evaluation strictly reduces the of the term: if,then Now, assume(for a contradiction) that is an infinite-length sequence such that Then is an infinite, strictly decreasing, sequence of natural numbers But such a sequence cannot exist contradiction!, CIS 500, More on induction 25 CIS 500, More on induction 26 Termination roofs Most termination proofs have the same basic form: Theorem: Therelation noinfinitesequences,,,etc suchthat each roof: 1 Choose 2 Show is terminating ie, there are for a well-founded set ie,aset with a partial order such that there are no infinite descending chains in afunction from to 3 Concludethattherearenoinfinitesequences,,,etc such that for each,since,iftherewere,we couldconstructaninfinitedescendingchainin CIS 500, More on induction 27
1/ 19 2/17 3/23 4/23 5/18 Total/100. Please do not write in the spaces above.
1/ 19 2/17 3/23 4/23 5/18 Total/100 Please do not write in the spaces above. Directions: You have 50 minutes in which to complete this exam. Please make sure that you read through this entire exam before
More informationLogic and Philosophy of Science (LPS)
Logic and Philosophy of Science (LPS) 1 Logic and Philosophy of Science (LPS) Courses LPS 29. Critical Reasoning. 4 Units. Introduction to analysis and reasoning. The concepts of argument, premise, and
More informationLecture 3: Nondeterministic Computation
IAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Basic Course on Computational Complexity Lecture 3: Nondeterministic Computation David Mix Barrington and Alexis Maciel July 19, 2000
More informationOn the Infinity of Primes of the Form 2x 2 1
On the Infinity of Primes of the Form 2x 2 1 Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract In this paper we consider primes of the form 2x 2 1 and discover there is a very great probability
More informationR13 SET - 1 '' ''' '' ' '''' Code No: RT21053
SET - 1 1. a) What are the characteristics of 2 s complement numbers? b) State the purpose of reducing the switching functions to minimal form. c) Define half adder. d) What are the basic operations in
More informationYale University Department of Computer Science
Yale University Department of Computer Science P.O. Box 208205 New Haven, CT 06520 8285 Slightly smaller splitter networks James Aspnes 1 Yale University YALEU/DCS/TR-1438 November 2010 1 Supported in
More informationR13. II B. Tech I Semester Regular Examinations, Jan DIGITAL LOGIC DESIGN (Com. to CSE, IT) PART-A
SET - 1 Note: Question Paper consists of two parts (Part-A and Part-B) Answer ALL the question in Part-A Answer any THREE Questions from Part-B a) What are the characteristics of 2 s complement numbers?
More informationInformatique Fondamentale IMA S8
Informatique Fondamentale IMA S8 Cours 1 - Intro + schedule + finite state machines Laure Gonnord http://laure.gonnord.org/pro/teaching/ Laure.Gonnord@polytech-lille.fr Université Lille 1 - Polytech Lille
More informationIntroduction to Artificial Intelligence. Learning from Oberservations
Introduction to Artificial Intelligence Learning from Oberservations Bernhard Beckert UNIVERSITÄT KOBLENZ-LANDAU Summer Term 2003 B. Beckert: Einführung in die KI / KI für IM p.1 Outline Learning agents
More informationIntroduction to Artificial Intelligence. Learning from Oberservations
Introduction to Artificial Intelligence Learning from Oberservations Bernhard Beckert UNIVERSITÄT KOBLENZ-LANDAU Wintersemester 2003/2004 B. Beckert: Einführung in die KI / KI für IM p.1 Outline Learning
More informationDisquotation, Conditionals, and the Liar 1
POLISH JOURNAL OF PHILOSOPHY Vol. III, No. 1 (Spring 2009), 5-21. Disquotation, Conditionals, and the Liar 1 John Barker University of Illinois at Springfield Abstract. In this paper I respond to Jacquette
More informationLing 130: Formal Semantics. Spring Natural Deduction with Propositional Logic. Introducing. Natural Deduction
Ling 130: Formal Semantics Rules Spring 2018 Outline Rules 1 2 3 Rules What is ND and what s so natural about it? A system of logical proofs in which are freely introduced but discharged under some conditions.
More informationScientific Philosophy
Scientific Philosophy Gustavo E. Romero IAR-CONICET/UNLP, Argentina FCAGLP, UNLP, 2018 Philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the philosophical
More informationCognitive Units, Connections and Mathematical Proof
Cognitive Units, Connections and Mathematical Proof Tony Barnard Published in Proceedings of PME 21, Finland, (1997), vol. 2, pp. 41 48. David Tall Mathematics Department Mathematics Education Research
More informationHere s a question for you: What happens if we try to go the other way? For instance:
Prime Numbers It s pretty simple to multiply two numbers and get another number. Here s a question for you: What happens if we try to go the other way? For instance: With a little thinking remembering
More informationNON-EXAMPLES AND PROOF BY CONTRADICTION
NON-EXAMPLES AND PROOF BY CONTRADICTION Samuele Antonini Department of Mathematics - University of Pisa, Italy Researches in Mathematics Education about proof by contradiction revealed some difficulties
More informationChapter 12. Synchronous Circuits. Contents
Chapter 12 Synchronous Circuits Contents 12.1 Syntactic definition........................ 149 12.2 Timing analysis: the canonic form............... 151 12.2.1 Canonic form of a synchronous circuit..............
More informationWhat is Character? David Braun. University of Rochester. In "Demonstratives", David Kaplan argues that indexicals and other expressions have a
Appeared in Journal of Philosophical Logic 24 (1995), pp. 227-240. What is Character? David Braun University of Rochester In "Demonstratives", David Kaplan argues that indexicals and other expressions
More informationPartitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs
Partitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs Eyob Demeke David Earls California State University, Los Angeles University of New Hampshire In this paper, we explore
More informationPart I: Graph Coloring
Part I: Graph Coloring At some point in your childhood, chances are you were given a blank map of the United States, of Africa, of the whole world and you tried to color in each state or each country so
More informationFormalizing Irony with Doxastic Logic
Formalizing Irony with Doxastic Logic WANG ZHONGQUAN National University of Singapore April 22, 2015 1 Introduction Verbal irony is a fundamental rhetoric device in human communication. It is often characterized
More informationmcs 2015/5/18 1:43 page 15 #23
1.7 Proof by Cases mcs 2015/5/18 1:43 page 15 #23 Breaking a complicated proof into cases and proving each case separately is a common, useful proof strategy. Here s an amusing example. Let s agree that
More information1/9. Descartes on Simple Ideas (2)
1/9 Descartes on Simple Ideas (2) Last time we began looking at Descartes Rules for the Direction of the Mind and found in the first set of rules a description of a key contrast between intuition and deduction.
More informationcse371/mat371 LOGIC Professor Anita Wasilewska
cse371/mat371 LOGIC Professor Anita Wasilewska LECTURE 1 LOGICS FOR COMPUTER SCIENCE: CLASSICAL and NON-CLASSICAL CHAPTER 1 Paradoxes and Puzzles Chapter 1 Introduction: Paradoxes and Puzzles PART 1: Logic
More informationMinnesota State College Southeast
ELEC 2211: Digital Electronics II A. COURSE DESCRIPTION Credits: 4 Lecture Hours/Week: 2 Lab Hours/Week: 4 OJT Hours/Week: *.* Prerequisites: None Corequisites: None MnTC Goals: None Minnesota State College
More information1360 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 59, NO. 3, MARCH Optimal Encoding for Discrete Degraded Broadcast Channels
1360 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL 59, NO 3, MARCH 2013 Optimal Encoding for Discrete Degraded Broadcast Channels Bike Xie, Thomas A Courtade, Member, IEEE, Richard D Wesel, SeniorMember,
More informationOntology as a formal one. The language of ontology as the ontology itself: the zero-level language
Ontology as a formal one The language of ontology as the ontology itself: the zero-level language Vasil Penchev Bulgarian Academy of Sciences: Institute for the Study of Societies and Knowledge: Dept of
More informationA Functional Representation of Fuzzy Preferences
Forthcoming on Theoretical Economics Letters A Functional Representation of Fuzzy Preferences Susheng Wang 1 October 2016 Abstract: This paper defines a well-behaved fuzzy order and finds a simple functional
More informationA NOTE ON THE ERGODIC THEOREMS
A NOTE ON THE ERGODIC THEOREMS YAEL NAIM DOWKER Introduction, definitions and remarks. The purpose of this note is to give an example of a measurable transformation of a measure space onto itself for which
More informationLogic. Andrew Mark Allen March 4, 2012
Logic Andrew Mark Allen - 05370299 March 4, 2012 Abstract NAND gates and inverters were used to construct several different logic gates whose operations were investigate under various inputs. Then the
More informationIntroduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p.
Preface p. xi Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p. 11 Consistency p. 12 Consistency and Validity
More informationMAHARASHTRA STATE BOARD OF TECHNICAL EDUCATION (Autonomous) (ISO/IEC Certified)
Important Instructions to examiners: 1) The answers should be examined by key words and not as word-to-word as given in the model answer scheme. 2) The model answer and the answer written by candidate
More informationFigure 9.1: A clock signal.
Chapter 9 Flip-Flops 9.1 The clock Synchronous circuits depend on a special signal called the clock. In practice, the clock is generated by rectifying and amplifying a signal generated by special non-digital
More information1/8. Axioms of Intuition
1/8 Axioms of Intuition Kant now turns to working out in detail the schematization of the categories, demonstrating how this supplies us with the principles that govern experience. Prior to doing so he
More information211: Computer Architecture Summer 2016
211: Computer Architecture Summer 2016 Liu Liu Topic: Storage Project3 Digital Logic - Digital Logic: Recap - Review: truth table => SOP => simplification - dual / complement - Minterm / Maxterm - SOP
More informationINTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY
INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY Mizuho Mishima Makoto Kikuchi Keywords: general design theory, genetic
More informationPeirce's Remarkable Rules of Inference
Peirce's Remarkable Rules of Inference John F. Sowa Abstract. The rules of inference that Peirce invented for existential graphs are the simplest, most elegant, and most powerful rules ever proposed for
More informationPrimes and Composites
Primes and Composites The positive integers stand there, a continual and inevitable challenge to the curiosity of every healthy mind. It will be another million years, at least, before we understand the
More informationVagueness & Pragmatics
Vagueness & Pragmatics Min Fang & Martin Köberl SEMNL April 27, 2012 Min Fang & Martin Köberl (SEMNL) Vagueness & Pragmatics April 27, 2012 1 / 48 Weatherson: Pragmatics and Vagueness Why are true sentences
More informationCriterion A: Understanding knowledge issues
Theory of knowledge assessment exemplars Page 1 of2 Assessed student work Example 4 Introduction Purpose of this document Assessed student work Overview Example 1 Example 2 Example 3 Example 4 Example
More informationCarlo Martini 2009_07_23. Summary of: Robert Sugden - Credible Worlds: the Status of Theoretical Models in Economics 1.
CarloMartini 2009_07_23 1 Summary of: Robert Sugden - Credible Worlds: the Status of Theoretical Models in Economics 1. Robert Sugden s Credible Worlds: the Status of Theoretical Models in Economics is
More informationMathematical Principles of Fuzzy Logic
Mathematical Principles of Fuzzy Logic THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE MATHEMATICAL PRINCIPLES OF FUZZY LOGIC VILEM N O V K University of Ostrava Institute for Research
More informationThe Philosophy of Language. Frege s Sense/Reference Distinction
The Philosophy of Language Lecture Two Frege s Sense/Reference Distinction Rob Trueman rob.trueman@york.ac.uk University of York Introduction Frege s Sense/Reference Distinction Introduction Frege s Theory
More informationEncoders and Decoders: Details and Design Issues
Encoders and Decoders: Details and Design Issues Edward L. Bosworth, Ph.D. TSYS School of Computer Science Columbus State University Columbus, GA 31907 bosworth_edward@colstate.edu Slide 1 of 25 slides
More information2 nd Int. Conf. CiiT, Molika, Dec CHAITIN ARTICLES
2 nd Int. Conf. CiiT, Molika, 20-23.Dec.2001 93 CHAITIN ARTICLES D. Gligoroski, A. Dimovski Institute of Informatics, Faculty of Natural Sciences and Mathematics, Sts. Cyril and Methodius University, Arhimedova
More informationLogica & Linguaggio: Tablaux
Logica & Linguaggio: Tablaux RAFFAELLA BERNARDI UNIVERSITÀ DI TRENTO P.ZZA VENEZIA, ROOM: 2.05, E-MAIL: BERNARDI@DISI.UNITN.IT Contents 1 Heuristics....................................................
More informationIntroduction Section 1: Logic. The basic purpose is to learn some elementary logic.
1 Introduction About this course I hope that this course to be a practical one where you learn to read and write proofs yourselves. I will not present too much technical materials. The lecture pdf will
More informationConclusion. 1) From the point of view of the Sudoku addict, the most striking results should be the following.
Conclusion What has been achieved In this conclusion, I d like first to highlight a few facets of what has been achieved in this book, from four complementary overlapping points of view. 1) From the point
More information6.034 Notes: Section 4.1
6.034 Notes: Section 4.1 Slide 4.1.1 What is a logic? A logic is a formal language. And what does that mean? It has a syntax and a semantics, and a way of manipulating expressions in the language. We'll
More informationMusic and Mathematics: On Symmetry
Music and Mathematics: On Symmetry Monday, February 11th, 2019 Introduction What role does symmetry play in aesthetics? Is symmetrical art more beautiful than asymmetrical art? Is music that contains symmetries
More informationLecture 10 Popper s Propensity Theory; Hájek s Metatheory
Lecture 10 Popper s Propensity Theory; Hájek s Metatheory Patrick Maher Philosophy 517 Spring 2007 Popper s propensity theory Introduction One of the principal challenges confronting any objectivist theory
More informationANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE
ANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE Jonathan Martinez Abstract: One of the best responses to the controversial revolutionary paradigm-shift theory
More informationThe RTE-3 Extended Task. Hoa Dang Ellen Voorhees
The RTE-3 Extended Task Hoa Dang Ellen Voorhees History U.S. DTO AQUAINT program focus on question answering for complex questions long-standing interest in having systems justify their answers RTE-3 provided
More informationCOSC282 BIG DATA ANALYTICS FALL 2015 LECTURE 11 - OCT 21
COSC282 BIG DATA ANALYTICS FALL 2015 LECTURE 11 - OCT 21 1 Topics for Today Assignment 6 Vector Space Model Term Weighting Term Frequency Inverse Document Frequency Something about Assignment 6 Search
More informationSidestepping the holes of holism
Sidestepping the holes of holism Tadeusz Ciecierski taci@uw.edu.pl University of Warsaw Institute of Philosophy Piotr Wilkin pwl@mimuw.edu.pl University of Warsaw Institute of Philosophy / Institute of
More informationThe second disease is very common: there are many books that violate the principle of having something to say by trying to say too many things.
How to write Mathematics by Paul Halmos (excerpts chosen by B. Rossa)...you must have something to say, and you must have someone to say it to, you must organize what you want to say, and you must arrange
More informationCurry s Formalism as Structuralism
Curry s Formalism as Structuralism Jonathan P. Seldin Department of Mathematics and Computer Science University of Lethbridge Lethbridge, Alberta, Canada jonathan.seldin@uleth.ca http://www.cs.uleth.ca/
More informationOn the Optimal Compressions in the Compress-and-Forward Relay Schemes
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 59, NO. 5, MAY 2013 2613 On the Optimal Compressions in the Compress--Forward Relay Schemes Xiugang Wu, Student Member, IEEE, Liang-Liang Xie, Senior Member,
More informationEPR-like funny business in the theory of branching space-times
EPR-like funny business in the theory of branching space-times Nuel Belnap Department of Philosophy University of Pittsburgh email: belnap@pitt.edu. September 3, 2002 Abstract EPR-like phenomena are (presumably)
More informationAppendix B. Elements of Style for Proofs
Appendix B Elements of Style for Proofs Years of elementary school math taught us incorrectly that the answer to a math problem is just a single number, the right answer. It is time to unlearn those lessons;
More informationINTRODUCTION TO AXIOMATIC SET THEORY
INTRODUCTION TO AXIOMATIC SET THEORY SYNTHESE LIBRARY MONOGRAPHS ON EPISTEMOLOGY, LOGIC, METHODOLOGY, PHILOSOPHY OF SCIENCE, SOCIOLOGY OF SCIENCE AND OF KNOWLEDGE, AND ON THE MATHEMATICAL METHODS OF SOCIAL
More informationCSE221- Logic Design, Spring 2003
EE207: Digital Systems I, Semester I 2003/2004 CHAPTER 3 -ii: Combinational Logic Design Design Procedure, Encoders/Decoders (Sections 3.4 3.6) Overview Design Procedure Code Converters Binary Decoders
More informationSENSE AND OBJECTIVITY IN FREGE'S LOGIC
SENSE AND OBJECTIVITY IN FREGE'S LOGIC Gilead Bar-Elli The essentials of Frege's revolutionary logic appeared in his Begriffsschrift (B, 1879). Important aspects of its philosophical basis, and its significance
More informationAREA OF KNOWLEDGE: MATHEMATICS
AREA OF KNOWLEDGE: MATHEMATICS Introduction Mathematics: the rational mind is at work. When most abstracted from the world, mathematics stands apart from other areas of knowledge, concerned only with its
More informationPhenomenology Glossary
Phenomenology Glossary Phenomenology: Phenomenology is the science of phenomena: of the way things show up, appear, or are given to a subject in their conscious experience. Phenomenology tries to describe
More information1 METHODS IN OPTIMIZATION
FRONTIERS IN OPTIMIZATION AND CONTROL S.H. Hou, X.M. Yang and G.Y. Chen (eds) 1 METHODS IN OPTIMIZATION author Department of AAA Abstract: It is known that optimization is useful... Key words: optimization
More informationProfile of requirements for Master Theses
UNIVERSITÄT HOHENHEIM Institut für Volkswirtschaftslehre Lehrstuhl für Volkswirtschaftslehre, insbes. Umweltökonomie sowie Ordnungs-, Struktur-, und Verbraucherpolitik (520F) Prof. Dr. Michael Ahlheim
More informationComputability and Logic, Fifth Edition
Computability and Logic, Fifth Edition Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple
More informationINTRODUCTION TO MATHEMATICAL REASONING. Worksheet 3. Sets and Logics
INTRODUCTION TO MATHEMATICAL REASONING 1 Key Ideas Worksheet 3 Sets and Logics This week we are going to explore an interesting dictionary between sets and the logics we introduced to study mathematical
More informationBachelor Level/ First Year/ Second Semester/ Science Full Marks: 60 Computer Science and Information Technology (CSc. 151) Pass Marks: 24
2065 Computer Science and Information Technology (CSc. 151) Pass Marks: 24 Time: 3 hours. Candidates are required to give their answers in their own words as for as practicable. Attempt any TWO questions:
More informationarxiv: v1 [math.co] 12 Jan 2012
MUSICAL MODES, THEIR ASSOCIATED CHORDS AND THEIR MUSICALITY arxiv:1201.2654v1 [math.co] 12 Jan 2012 MIHAIL COCOS & KENT KIDMAN Abstract. In this paper we present a mathematical way of defining musical
More informationThe reduction in the number of flip-flops in a sequential circuit is referred to as the state-reduction problem.
State Reduction The reduction in the number of flip-flops in a sequential circuit is referred to as the state-reduction problem. State-reduction algorithms are concerned with procedures for reducing the
More informationCambridge Introductions to Philosophy new textbooks from cambridge
Cambridge Introductions to Philosophy new textbooks from cambridge See the back page for details on how to order your free inspection copy www.cambridge.org/cip An Introduction to Political Philosophy
More informationMATH 214 (NOTES) Math 214 Al Nosedal. Department of Mathematics Indiana University of Pennsylvania. MATH 214 (NOTES) p. 1/3
MATH 214 (NOTES) Math 214 Al Nosedal Department of Mathematics Indiana University of Pennsylvania MATH 214 (NOTES) p. 1/3 CHAPTER 1 DATA AND STATISTICS MATH 214 (NOTES) p. 2/3 Definitions. Statistics is
More informationAM AM AM AM PM PM PM
FACULTY OF ENGINEERING AND TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE & ENGINEERING COURSE PLAN Course Code : CS0003 Course Title : DIGITAL COMPUTER FUNDAMENTALS Semester : III Course Time : Jun 204 to
More informationWriting maths, from Euclid to today
Writing maths, from Euclid to today ONE: EUCLID The first maths book of all time, and the maths book for most of the last 2300 years, was Euclid s Elements. Here the bit from it on Pythagoras s Theorem.
More information2550 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 54, NO. 6, JUNE 2008
2550 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 54, NO. 6, JUNE 2008 Distributed Source Coding in the Presence of Byzantine Sensors Oliver Kosut, Student Member, IEEE, Lang Tong, Fellow, IEEE Abstract
More informationAristotle: an ancient mathematical logician
University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 3 May 15th, 9:00 AM - May 17th, 5:00 PM Aristotle: an ancient mathematical logician George Boger Canisius College Follow this
More informationTable of contents
Special Issue on Logic and the Foundations of Game and Decision Theory; Guest Editors: Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek and Steffen Jørgensen, International Game Theory Review, Volume:
More informationTHE MAJORITY of the time spent by automatic test
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 17, NO. 3, MARCH 1998 239 Application of Genetically Engineered Finite-State- Machine Sequences to Sequential Circuit
More informationUNIVERSITY OF MASSACHUSSETS LOWELL Department of Electrical & Computer Engineering Course Syllabus for Logic Design Fall 2013
UNIVERSITY OF MASSACHUSSETS LOWELL Department of Electrical & Computer Engineering Course Syllabus for 16.265 Logic Design Fall 2013 I. General Information Section 201 Instructor: Professor Anh Tran Office
More informationTOWARDS A BEHAVIORAL PSYCHOLOGY OF MATHEMATICAL THINKING
BEHAVIORAr~ PSYCHOLOGY OF MA'l'HEMATICAL THINKING 227 TOWARDS A BEHAVIORAL PSYCHOLOGY OF MATHEMATICAL THINKING Patrick Suppes Some fundamental concepts that stand uncertainly on the border of mathematics,
More informationCSE 101. Algorithm Design and Analysis Miles Jones Office 4208 CSE Building Lecture 9: Greedy
CSE 101 Algorithm Design and Analysis Miles Jones mej016@eng.ucsd.edu Office 4208 CSE Building Lecture 9: Greedy GENERAL PROBLEM SOLVING In general, when you try to solve a problem, you are trying to find
More informationPHILOSOPH ICAL PERSPECTI VES ON PROOF IN MATHEMATI CS EDUCATION
PHILOSOPH ICAL PERSPECTI VES ON PROOF IN MATHEMATI CS EDUCATION LEE, Joong Kwoen Dept. of Math. Ed., Dongguk University, 26 Pil-dong, Jung-gu, Seoul 100-715, Korea; joonglee@dgu.edu ABSTRACT This research
More informationMusic Electronics Finally DeMorgan's Theorem establishes two very important simplifications 3 : Multiplexers
Music Electronics Finally DeMorgan's Theorem establishes two very important simplifications 3 : ( A B )' = A' + B' ( A + B )' = A' B' Multiplexers A digital multiplexer is a switching element, like a mechanical
More informationDesign and Implementation of High Speed 256-Bit Modified Square Root Carry Select Adder
Design and Implementation of High Speed 256-Bit Modified Square Root Carry Select Adder Muralidharan.R [1], Jodhi Mohana Monica [2], Meenakshi.R [3], Lokeshwaran.R [4] B.Tech Student, Department of Electronics
More informationPeak Dynamic Power Estimation of FPGA-mapped Digital Designs
Peak Dynamic Power Estimation of FPGA-mapped Digital Designs Abstract The Peak Dynamic Power Estimation (P DP E) problem involves finding input vector pairs that cause maximum power dissipation (maximum
More informationWell-Structured Mathematical Logic
Well-Structured Mathematical Logic Damon Scott Department of Mathematics Francis Marion University CAROLINA ACADEMIC PRESS Durham, North Carolina Copyright 2013 Damon Scott All Rights Reserved Library
More informationDepartment of CSIT. Class: B.SC Semester: II Year: 2013 Paper Title: Introduction to logics of Computer Max Marks: 30
Department of CSIT Class: B.SC Semester: II Year: 2013 Paper Title: Introduction to logics of Computer Max Marks: 30 Section A: (All 10 questions compulsory) 10X1=10 Very Short Answer Questions: Write
More informationSpiral Content Mapping. Spiral 2 1. Learning Outcomes DATAPATH COMPONENTS. Datapath Components: Counters Adders Design Example: Crosswalk Controller
-. -. piral Content Mapping piral Theory Combinational Design equential Design ystem Level Design Implementation and Tools Project piral Performance metrics (latency vs. throughput) Boolean Algebra Canonical
More informationChapter I: The MU Puzzle
Chapter 5 Chapter I: The MU Puzzle Has the dog Buddha-nature? MU! Zen Koan 5.1 Abstract A simple formal system (the MIU-system) is presented, and the rader is urged to work out a puzzle to gain familiarity
More informationWhere Are We Now? e.g., ADD $S0 $S1 $S2?? Computed by digital circuit. CSCI 402: Computer Architectures. Some basics of Logic Design (Appendix B)
Where Are We Now? Chapter 1: computer systems overview and computer performance Chapter 2: ISA (machine-spoken language), different formats, and various instructions Chapter 3: We will learn how those
More informationWEEK 10. Sequential Circuits: Analysis and Design. Page 1
WEEK 10 Sequential Circuits: Analysis and Design Page 1 Analysis of Clocked (Synchronous) Sequential Circuits Now that we have flip-flops and the concept of memory in our circuit, we might want to determine
More informationChapter 3. Boolean Algebra and Digital Logic
Chapter 3 Boolean Algebra and Digital Logic Chapter 3 Objectives Understand the relationship between Boolean logic and digital computer circuits. Learn how to design simple logic circuits. Understand how
More informationWhat are meanings? What do linguistic expressions stand for or denote?
Meaning relations What are meanings? What do linguistic expressions stand for or denote? Declarative sentences: To know the meaning of a declarative sentence is to know the situations it is describing
More informationCLASSIC AND MODERN IN ROMANIAN SYLLOGISTIC ABSTRACT
CLASSIC AND MODERN IN ROMANIAN SYLLOGISTIC ABSTRACT Knowledge in logic is necessary in order to argument ideas from various research fields. It is the reason why preoccupations for logic an apparently
More informationEXPERIMENT: 1. Graphic Symbol: OR: The output of OR gate is true when one of the inputs A and B or both the inputs are true.
EXPERIMENT: 1 DATE: VERIFICATION OF BASIC LOGIC GATES AIM: To verify the truth tables of Basic Logic Gates NOT, OR, AND, NAND, NOR, Ex-OR and Ex-NOR. APPARATUS: mention the required IC numbers, Connecting
More informationCOMP12111: Fundamentals of Computer Engineering
COMP2: Fundamentals of Computer Engineering Part I Course Overview & Introduction to Logic Paul Nutter Introduction What is this course about? Computer hardware design o not electronics nothing nasty like
More informationJin-Fu Li Advanced Reliable Systems (ARES) Laboratory. National Central University
Chapter 3 Basics of VLSI Testing (2) Jin-Fu Li Advanced Reliable Systems (ARES) Laboratory Department of Electrical Engineering National Central University Jhongli, Taiwan Outline Testing Process Fault
More informationSolution to Digital Logic )What is the magnitude comparator? Design a logic circuit for 4 bit magnitude comparator and explain it,
Solution to Digital Logic -2067 Solution to digital logic 2067 1.)What is the magnitude comparator? Design a logic circuit for 4 bit magnitude comparator and explain it, A Magnitude comparator is a combinational
More information