CS4026 Formal Models of Computation Running Haskell Programs – power.

Slides:

Advertisements

Similar presentations

Author: Julia Richards and R. Scott Hawley

Advertisements

TWO STEP EQUATIONS 1. SOLVE FOR X 2. DO THE ADDITION STEP FIRST

1 TITLE OF THE ARTICLE Author (Institution) Co-Author (Institution) .

Bellwork If you roll a die, what is the probability that you roll a 2 or an odd number? P(2 or odd) 2. Is this an example of mutually exclusive, overlapping,

§ 1.10 Properties of the Real Number System. Angel, Elementary Algebra, 7ed 2 Commutative Property Commutative Property of Addition If a and b represent.

1 Grafcet point de vue système. 2 Cliquez pour mise en route 0P 0Z 1V 2V 2V 1 1V 1 1V 2 1Z BPR 0Z 3 0V 1A.

Slide 1 Insert your own content. Slide 2 Insert your own content.

1 Copyright © 2010, Elsevier Inc. All rights Reserved Fig 3.1 Chapter 3.

1 Copyright © 2010, Elsevier Inc. All rights Reserved Fig 2.1 Chapter 2.

1 Chapter 40 - Physiology and Pathophysiology of Diuretic Action Copyright © 2013 Elsevier Inc. All rights reserved.

By D. Fisher Geometric Transformations. Reflection, Rotation, or Translation 1.

Quest ion 1? A.) answer B.) answer C.) correct answerD.) answer L C.) correct answer F.

Combining Like Terms. Only combine terms that are exactly the same!! Whats the same mean? –If numbers have a variable, then you can combine only ones.

Business Transaction Management Software for Application Coordination 1 Business Processes and Coordination.

and 6.855J Cycle Canceling Algorithm. 2 A minimum cost flow problem , $4 20, $1 20, $2 25, $2 25, $5 20, $6 30, $

Combining Like Terms. Only combine terms that are exactly the same!! Whats the same mean? –If numbers have a variable, then you can combine only ones.

Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13

Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13

Multiplying monomials & binomials You will have 20 seconds to answer the following 15 questions. There will be a chime signaling when the questions change.

Inequalities and their Graphs Objective: To write and graph simple inequalities with one variable.

2 pt 3 pt 4 pt 5pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2pt 3 pt 4pt 5 pt 1pt 2pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4pt 5 pt 1pt Simplify All mixed up Misc. AddingSubtract.

ALGEBRAIC EXPRESSIONS

DIVIDING INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.

MULTIPLYING MONOMIALS TIMES POLYNOMIALS (DISTRIBUTIVE PROPERTY)

ADDING INTEGERS 1. POS. + POS. = POS. 2. NEG. + NEG. = NEG. 3. POS. + NEG. OR NEG. + POS. SUBTRACT TAKE SIGN OF BIGGER ABSOLUTE VALUE.

MULTIPLICATION EQUATIONS 1. SOLVE FOR X 3. WHAT EVER YOU DO TO ONE SIDE YOU HAVE TO DO TO THE OTHER 2. DIVIDE BY THE NUMBER IN FRONT OF THE VARIABLE.

SUBTRACTING INTEGERS 1. CHANGE THE SUBTRACTION SIGN TO ADDITION

MULT. INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.

Teacher Name Class / Subject Date A:B: Write an answer here #1 Write your question Here C:D: Write an answer here.

Equipment Quiz. 1. What is the name of this appliance?

4. What is the boundary between two drainage basins called?

Formal Models of Computation Part II The Logic Model

Empty Box Problems Subtraction = 3 If you start on 6 and jump back 3 spaces you land on

Bridging through 10 Learning objectives:

# 1 Solve. # 2 Solve. # 3 Solve..

O X Click on Number next to person for a question.

© S Haughton more than 3?

© Charles van Marrewijk, An Introduction to Geographical Economics Brakman, Garretsen, and Van Marrewijk.

Programación. Unidad 2 Operadores Operadores de asignación 1.= 2.+= 3.-= 4.*= 5./= 6.%= 7.>>= 8.

5.9 + = 10 a)3.6 b)4.1 c)5.3 Question 1: Good Answer!! Well Done!! = 10 Question 1:

Difference, Product and Quotient Functions

1 Directed Depth First Search Adjacency Lists A: F G B: A H C: A D D: C F E: C D G F: E: G: : H: B: I: H: F A B C G D E H I.

Twenty Questions Subject: Twenty Questions

Take from Ten First Subtraction Strategy -9 Click on a number below to go directly to that type of subtraction problems

Linking Verb? Action Verb or. Question 1 Define the term: action verb.

Lets play bingo!!. Calculate: MEAN Calculate: MEDIAN

Past Tense Probe. Past Tense Probe Past Tense Probe – Practice 1.

This, that, these, those Number your paper from 1-10.

Limits (Algebraic) Calculus Fall, What can we do with limits?

Properties of Exponents

1 First EMRAS II Technical Meeting IAEA Headquarters, Vienna, 19–23 January 2009.

Addition 1’s to 20.

25 seconds left…...

Test B, 100 Subtraction Facts

Click your mouse to move the card ahead! Work with a buddy using two Abacuses. First click and follow along using your abacus. After each click talk about.

What is Slope Assignment. List the four types of slope and sketch each type. 1.

11 = This is the fact family. You say: 8+3=11 and 3+8=11

Warm-up 3/4 Skip. Warm-up 3/5 Skip Warm-up 3/6 Question: Skip Answer: Skip.

We will resume in: 25 Minutes.

1 Ke – Kitchen Elements Newport Ave. – Lot 13 Bethesda, MD.

Bottoms Up Factoring. Start with the X-box 3-9 Product Sum

1 Unit 1 Kinematics Chapter 1 Day

FIND THE AREA ( ROUND TO THE NEAREST TENTHS) 2.7 in 15 in in.

O X Click on Number next to person for a question.

X-box Factoring. X- Box 3-9 Product Sum Factor the x-box way Example: Factor 3x 2 -13x (3)(-10)= x 2x 3x 2 x-5 3x +2.

Presentation transcript:

CS4026 Formal Models of Computation Running Haskell Programs – power

formal models of computation 2 How functional programs work… We have seen simple programs such as Lets now see how they are executed Given the program above, we get the following: But how? power x 0 = 1 power x (n+1) = x * (power x n) power 2 3 8

formal models of computation 3 How functional programs work… Execution: power 2 3 power x 0 = 1 power x (n+1) = x * (power x n)

formal models of computation 4 How functional programs work… Execution: power 2 3 power x 0 = 1 power x (n+1) = x * (power x n) 3 matches (n+1), assigning 2 to n

formal models of computation 5 How functional programs work… Execution: power * (power 2 2) power x 0 = 1 power x (n+1) = x * (power x n)

formal models of computation 6 How functional programs work… Execution: power * (power 2 2) power x 0 = 1 power x (n+1) = x * (power x n)

formal models of computation 7 How functional programs work… Execution: power * (power 2 2) power x 0 = 1 power x (n+1) = x * (power x n) 2 matches (n+1), assigning 1 to n

formal models of computation 8 How functional programs work… Execution: power * (2 * (power 2 1)) power x 0 = 1 power x (n+1) = x * (power x n)

formal models of computation 9 How functional programs work… Execution: power * (2 * (power 2 1)) power x 0 = 1 power x (n+1) = x * (power x n)

formal models of computation 10 How functional programs work… Execution: power * (2 * (power 2 1)) power x 0 = 1 power x (n+1) = x * (power x n) 1 matches (n+1), assigning 0 to n

formal models of computation 11 How functional programs work… Execution: power * (2 * (2 * (power 2 0))) power x 0 = 1 power x (n+1) = x * (power x n)

formal models of computation 12 How functional programs work… Execution: power * (2 * (2 * (power 2 0))) power x 0 = 1 power x (n+1) = x * (power x n)

formal models of computation 13 How functional programs work… Execution: power * (2 * (2 * (power 2 0))) power x 0 = 1 power x (n+1) = x * (power x n)

formal models of computation 14 How functional programs work… Execution: power * (2 * (2 * (1))) power x 0 = 1 power x (n+1) = x * (power x n)

formal models of computation 15 How functional programs work… Execution: power power x 0 = 1 power x (n+1) = x * (power x n)