93 Pages

Document1

Course: SYS 844, Fall 2009
School: Stetson
Rating:
 
 
 
 
 

Word Count: 14423

Document Preview

Color Giordano Understanding Beretta Hewlett-Packard Company Palo Alto http://www.hpl.hp.com/imaging/uc/ 2000 Photonics West Showcasing the power of Light 2 U n d e r s t a n d i n g C o l o r Table of contents What is color? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5 Terminology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6 Color theories . . ....

Register Now

Unformatted Document Excerpt

Coursehero >> Florida >> Stetson >> SYS 844

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Color Giordano Understanding Beretta Hewlett-Packard Company Palo Alto http://www.hpl.hp.com/imaging/uc/ 2000 Photonics West Showcasing the power of Light 2 U n d e r s t a n d i n g C o l o r Table of contents What is color? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5 Terminology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6 Color theories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .15 Color vision physiology . . . . . . . . . . . . . . . . . . . . . . . . . . . .21 Colorimetry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .31 Objective color terms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .39 Uniformity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .42 Famous color spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .46 Illumination . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .49 Measuring color . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .52 Color reproduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .57 Color appearance modeling . . . . . . . . . . . . . . . . . . . . . . . . .60 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .64 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .65 Short color dictionary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .67 Glossary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .74 U n d e r s t a n d i n g C o l o r 3 4 U n d e r s t a n d i n g C o l o r What is color? Color is an illusion Colorimetry: the art to predict an illusion from a physical measurement Experience is much more important than knowing facts or theories The physiology of color vision is understood only to a very small degree Physiology: physical stimulus physiological response Psychophysics: physical stimulus behavioral response What is essential is invisible to the eye Antoine de Saint-Exupry (The Little Prince) U n d e r s t a n d i n g C o l o r 5 Terminology CIE denition 845-02-18: (perceived) color Attribute of a visual perception consisting of any combination of chromatic and achromatic content. This attribute can be described by chromatic color names such as yellow, orange, brown, red, pink, green, blue, purple, etc., or by achromatic color names such as white, gray, black, etc., and qualied by bright, dim, light, dark etc., or by combinations of such names Perceived color depends on the spectral distribution of the color stimulus, on the size, shape, structure and surround of the stimulus area, on the state of adaptation of the observers visual system, and on the observers experience of the prevailing and similar situations of observation Perceived color may appear in several modes of appearance. The names for various modes of appearance are intended to distinguish among qualitative and geometric differences of color perceptions 6 U n d e r s t a n d i n g C o l o r Color term categories Subjective color term: A word used to describe a color attribute perceived by a human. Example: the colorfulness of a ower Objective color term: A word used to describe a physical quantity related to color that can be measured. Example: the energy radiated by a source We use objective color terms as correlates to subjective color terms U n d e r s t a n d i n g C o l o r 7 Subjective color terms Hue Hue: The attribute of a color perception denoted by blue, green, yellow, red, purple, and so on hue scale Unique hue: A hue that cannot be further described by use of the hue names other than its own. There are four unique hues, each of which shows no perceptual similarity to any of the others: red, green, yellow, and blue 8 U n d e r s t a n d i n g C o l o r Brightness and lightness Brightness: The attribute of a visual sensation according to which a given visual stimulus appears to be more or less intense, or according to which the visual stimulus appears to emit more or less light Objective term: luminance (L) brightness scale Lightness: The attribute of a visual sensation according to which the area in which the visual stimulus is presented appears to emit more or less light in proportion to that emitted by a similarly illuminated area perceived as a white stimulus Objective terms: luminance factor (), CIE lightness (L*) Brightness is absolute, lightness is relative to an area perceived as white U n d e r s t a n d i n g C o l o r 9 Colorfulness Chromaticness or Colorfulness: The attribute of a visual sensation according to which an area appears to exhibit more or less of its hue. In short: the extent to which a hue is apparent Objective term: CIECAM97s M Chroma: The attribute of a visual sensation which permits a judgement to be made of the degree to which a chromatic stimulus differs from an achromatic stimulus of the same brightness. In other words, chroma is an attribute orthogonal to brightness: absolute colorfulness; we perceive a color correctly independently of the illumination level Objective term: CIE chroma (C*uv, C*ab) 10 U n d e r s t a n d i n g C o l o r Colorfulness (cont.) Saturation: The attribute of a visual sensation which permits a judgement to be made of the degree to which a chromatic stimulus differs from an achromatic stimulus regardless of their brightness. In other words, it is the colorfulness of an area judged in proportion to its brightness: relative colorfulness; we can judge the uniformity of an objects color in the presence of shadows and independently of the incident lights angle Objective terms: purity (p), CIE saturation (Suv) saturation scale Colorfulness is absolute, chroma is relative to a white area and absolute w.r.t. brightness, saturation is in proportion to brightness U n d e r s t a n d i n g C o l o r 11 Our goal We would like to be able to predict the color of a sample by making a measurement Humans can distinguish about 7 to 10 million different colors just name them and build an instrument that identies them Task: nd good correlates to the subjective color terms Some observations: 12 If you want to buy a skirt or a pair of slacks to match a jacket, you cannot match the color by memory you have to take the jacket with you Just matching in the store light is insufcient, you have to match also under the incandescent light in the dressing room and outdoors You always get the opinion of your companion or the store clerk light sources samples illuminated by them observers U n d e r s t a n d i n g C o l o r Three fundamental components of measuring color: Spectral curves quantities we can measure The spectral power curve gives at each wavelength the power (in watts), i.e., the rate at which energy is received from the light source The spectral reectance curve gives at each wavelength the percentage of incident light that is reected reflectance 0.40 0.35 0.30 0.25 0.20 0.15 0.10 0.05 0.00 human complexion 400 450 500 550 600 650 700 nm U n d e r s t a n d i n g C o l o r 13 Spectral color reproduction By spectral color reproduction we intend the physically correct reproduction of color, i.e., the duplication of the original object's spectrum The general reproduction methods (micro-dispersion and Lippmann) are too impractical for normal use For some special applications like painting restauration or illuminant reconstruction, the spectrum may be sampled at a small number of intervals and combined with principal component analysis Fortunately, spectral color reproduction is required only in rare cases, such as paint swatches in catalogs, and in this cases it is often possible to use identical dyes Our aim is to achieve a close effect for a normal viewer under average viewing conditions Mathematically: build a simple model of color vision 14 U n d e r s t a n d i n g C o l o r Color theories 800 B.C. Indian Upanishads there are relations among colors Plato: light or re rays emanate from the eyes Epicurus: replicas of objects enter the eyes Abu Ali Mohammed Ibn al Hazen: image is formed within the eye like in a camera obscura Leonardo da Vinci: color perception color order system black & white are colors 3 pairs of opponent colors (blackwhite, redgreen, yellowblue) simultaneous contrast used color lters to determine color mixtures 400 B.C. Hellenic philosophers First Millennium Arab school, pure science 15th century Renaissance, technology U n d e r s t a n d i n g C o l o r 15 Opponent colors Off-axis front views W Y R G G B B R Y W K K Top view Y W G R B 16 Note: rendered with chiaro-scuro technique U n d e r s t a n d i n g C o l o r Color theories (cont.) 18th century Enlightenment, physics & chemistry Isaac Newton: spectral dispersion, white can be dispersed in a spectrum by a prism colors of objects relate to their spectral reectance light is not colored and color perception is elicited in the human visual system Thomas Young: trichromatic theory Hermann von Helmholtz: spectral sensitivity curves Ewald Hering: opponent color theory (can explain hues, saturation, and why there is no reddish green or yellowish blue) black and dark gray are not produced by the absence of light but by a lighter surround Johannes A. von Kries: chromatic adaptation G.E. Mller & Erwin Schrdinger: zone theory physiological evidence for inhibitory mec...
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Stetson - SYS - 843
Pattern Recognition 33 (2000) 25}41Comparison of algorithms that select features for pattern classi"ersMineichi Kudo *, Jack SklanskyDivision of Systems and Information Engineering, Graduate School of Engineering, Hokkaido University, Kita 13, Ni
Stetson - TCH - 023
Source : http:/www.cement.ca/french/resources/glossary_fr.htmVoici une liste dexpressions franaises en usage dans le domaine et leur dfinition. Vous trouverez en regard de chacune lexpression anglaise correspondante et sa dfinition. Servez-vous des
St. Mary MD - CAS - 701
CAS 701 Fall 200503 Numbers, Sets, Functions, And RelationsInstructor: W. M. Farmer Revised: 23 October 20051Number Systems N, the natural numbers. O, the ordinal numbers. Z, the integers. Zn, the integers modulo n. Q, the rational number
St. Mary MD - CAS - 701
CAS 701 PresentationAckermann's FunctionQinglei Zhang, Nov. 20, 2008.History The belief in the early 1900s: every computable function was also primitive recursive A strict subset of the recursive functions: every primitive recursive functi
St. Mary MD - CAS - 701
CAS 701 Fall 200202 Mathematical ModelsInstructor: W. M. Farmer Revised: 15 September 20021Kinds of Mathematical Models There are many kinds of mathematical models The major categories are: 1. Mathematical models constructed from basic mathe
St. Mary MD - CAS - 734
CAS 734 Winter 200604 The IMPS Interactive Mathematical Proof SystemWilliam M. FarmerDepartment of Computing and Software McMaster University24 October 2006What is imps?imps is an Interactive Mathematics Proof System developed at The MITRE C
St. Mary MD - CAS - 734
CAS 734 Winter 200504 Introduction to IMPSInstructor: W. M. Farmer Revised: 22 January 20051What is IMPS? IMPS is an Interactive Mathematics Proof System developed at The MITRE Corporation by W. Farmer, J. Guttman, and J. Thayer. Principal g
St. Mary MD - CAS - 701
Hilbert Choice Operator & QuantificationsPing Tan Nov. 28 2002Definition of Hilbert Choice Operator xP(x) denotes an object c, such that P(c) holds,given there is such an objectan arbitrary object,otherwisexP(x) P(x (P(x)X( P(x) P(x (P(x
St. Mary MD - MATH - 745
Approximation Theory57PART III Review of (Abstract) Approximation TheoryAlthough this may seem a paradox, all exact science is dominated by the idea of approximation. Bertrand Russell (18721970)Approximation Theory58I NNER P RODUCTS , U
St. Mary MD - MATH - 745
Approximation Theory38Approximation Theory39I NNER P RODUCTS , U NITARY S PACES , H ILBERT S PACESConsider a real or complex linear space V; A scalar product is real or complex number x y associated with the elements x y V with the following
St. Mary MD - MATH - 745
Approximation Theory38PART III Review of Approximation TheoryApproximation Theory39I NNER P RODUCTS , U NITARY S PACES , H ILBERT S PACESConsider a real or complex linear space V; A scalar product is real or complex number x y associated w
St. Mary MD - MATH - 745
Chebyshev Spectral Methods102Chebyshev Spectral Methods103C HEBYSHEV P OLYNOMIALS - R EVIEW (I) General properties of orthogonal polynomials Suppose I = [a, b] is a given interval. Let : I R+ be a weight function which is positive and con
St. Mary MD - MATH - 745
Spectral Methods46Spectral Methods47M ETHODOF WEIGHTED RESIDUALS(I) Spectral Methods belong to the broader category of Weighted Residual Methods , for which approximations are dened in terms of series expansions, such that some quantity
St. Mary MD - MATH - 745
Finite Element Method57Finite Element Method58F INITE E LEMENT M ETHOD I Computational properties of the method are largely determined by the properties of the algebraic system matrix A, in particular For general sets of basis functions, th
St. Mary MD - MATH - 745
Boundary Element Method99Boundary Element Method100B OUNDARY E LEMENT M ETHOD I Boundary Element Method alternative approach to solution of boundary value problems Motivation consider the following initial value problemPART V Boundary E
St. Mary MD - MATH - 745
MATH745 Winter 20041MATH745 Winter 20042R EVIEW OF N UMERICAL D IFFERENTIATION F INITE D IFFERENCE F ORMULAE I W ELCOME TO MATH 745 T OPICS IN N UMERICAL A NALYSISInstructor: Dr. Bartosz Protas Department of Mathematics & Statistics Ema
St. Mary MD - MATH - 745
Spectral Methods66Spectral Methods67M ETHOD PART IV Spectral Methods OF WEIGHTED RESIDUALS(I)S PECTRAL M ETHODS belong to the broader category of W EIGHTED R ESIDUAL M ETHODS , for which approximations are defined in terms of series
St. Mary MD - MATH - 745
Chebyshev Spectral Methods134Chebyshev Spectral Methods135C HEBYSHEV P OLYNOMIALS R EVIEW (I)General properties of ORTHOGONAL POLYNOMIALS Suppose I a b is a given interval. Let : I be a weight function which is positive and continuous on
Mt. Aloysius - V - 20021217
$Id: README.WAR,v 1.2 2002/12/17 15:35:53 brucerob Exp $ Heml is a suite of xml-related tools which explore the presentation and encoding of historical events. It uses the Cocoon2 web publication engine. The current version of Heml is 0.5.1-dev
Mt. Aloysius - V - 20030213
$Id: README.WAR,v 1.7 2003/02/03 03:57:31 brucerob Exp $ Heml is a suite of xml-related tools which explore the presentation and encoding of historical events. It includes document definitions in the W3C Schema language and a web publication eng
Mt. Aloysius - MATH - 3111
Main properties of the limsup and liminfFrancesco Sica October 3, 2008Let {an }n1 be a sequence of real numbers. We define two sequences a k and ak by a = sup an and ak = inf an . knk nkNote that at any time a can equal infinity, and ak can equa
Mt. Aloysius - MATH - 4111
NEIGHBOURHOODSFRANCESCO SICAWe explore here the concept of neighbourhood, freeing ourselves from the imposing restriction that they be open. We assume the reader is acquainted with the concept of a topological space (X, ), as defined for instance
St. Mary MD - TAPOR - 347
<!DOCTYPE html PUBLIC "-/W3C/DTD XHTML 1.0 Strict/EN" "http:/www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"><html xmlns="http:/www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head> <title>Changeset 347 for branches/refactored-corpus/tests/con
Wilfrid Laurier - CPSC - 333
CPSC 333 - Lecture 13 - Monday, February 5, 1996Later Steps in Requirements AnalysisAdditional things that must be done before we're ready to spend muchtime on "design:" - Develop and model the system interface - Produce a human-computer
East Los Angeles College - MJ - 665
Nice 1981; pages 1-25; Cambridge University Press, 1982.Tools and notions for program construction: An advanced course;A SYSTEM DEVELOPMENT METHODM. A. Jackson Michael Jackson Systems Limited 101 Hamilton Terrace, London NW8 9QX, England1. Int
East Los Angeles College - SW - 6629
University of Aberdeen Department of Computing Science Technical Report AUCS/TR0407Reading errors made by skilled and unskilled readers: evaluating a system that generates reports for people with poor literacySandra Williams and Ehud Reiter Depart
East Los Angeles College - SW - 6629
Reading errors made by skilled and unskilled readers: evaluating a system that generates reports for people with poor literacySandra Williams and Ehud Reiter ( swilliam@csd.abdn.ac.uk, ereiter@csd.abdn.ac.uk )AbstractPart of an evaluation of a na
Wilfrid Laurier - CPSC - 031
CPSC 031 Mathematics Review for CPSC 413Exercise #1 Mathematical Induction (With Hints) September, 2000The problems given here are the same as the ones on the original problem set, Exercise 1, except that they include some additional information
East Los Angeles College - MJ - 665
Proc FME 2003Determining the specification of a control system from that of its environmentIan J. Hayes , Michael A. Jackson , and Cliff B. JonesSchool of Information Technology and Electrical Engineering, The University of Queensland, Brisban
East Los Angeles College - MJ - 665
In Proc TPHOLS'98, LNCS 1479, pp49-66THE VILLAGE TELEPHONE SYSTEM: A Case Study in Formal Software EngineeringKarthikeyan Bhargavan1, Carl A. Gunter1 , Elsa L. Gunter2 , Michael Jackson3, Davor Obradovic1, and Pamela Zave ? 31 2University of Pe
East Los Angeles College - MJ - 665
Some Complexities in Computer-Based Systems and Their Implications for System Development Michael Jackson 101 Hamilton Terrace London NW8 9QX +44 71 286 1814 +44 71 266 2645 (fax)Abstract Mastering complexity is central to the software development
East Los Angeles College - SW - 6629
Reading errors made by skilled and unskilled readers: evaluating a system that generates reports for people with poor literacySandra Williams and Ehud Reiter Department of Computing Science University of Aberdeen Aberdeen AB24 3UE Scotland, UK swill
Wilfrid Laurier - CPSC - 413
CPSC 413 Fall, 2000Exam Practice Problems December, 2000Here are some problems that you might practice on while preparing for the nal examination. These problems have been used in CPSC 413 in previous years: either as quiz questions, or assignment
East Los Angeles College - MJ - 665
requirementsEditor: Suzanne RobertsonIThe Atlantic Systems GuildIsuzanne@systemsguild.comSeeing More of the WorldMichael Jackson Requirements engineering experience shows that failure to look at all aspects of the problem space results in
Wilfrid Laurier - CPSC - 413
CPSC 413 Fall, 2000Proving f O(g) Using Mathematical Induction September, 2000The Problem to be SolvedA solution for the following problem was presented not entirely correctly during lectures on Thursday, September 14. Here is a version that
Wilfrid Laurier - CPSC - 413
CPSC 413 Fall, 2000Bounding a Recurrence: A Third Example October, 2000The ProblemConsider the problem of nding and proving a tight asymptotic bound in closed form for the function T (n), where 1 if n = 1, T (n) = 2 3n + 1 if n 2. T (n 1) + 3
Mt. Aloysius - V - 20030303
$Id: README.WAR,v 1.7 2003/02/03 03:57:31 brucerob Exp $ Heml is a suite of xml-related tools which explore the presentation and encoding of historical events. It includes document definitions in the W3C Schema language and a web publication eng
Wilfrid Laurier - CPSC - 413
CPSC 413 Assignment #2 Greedy Algorithms November 22, 2000Duration: Due before midnight on the evening of Monday, November 27Instructions: 1. You are to complete this assignment in a group of between one and three CPSC 413 students. You may not
Wilfrid Laurier - CPSC - 413
CPSC 413 Fall, 2000The Optimal Fee Problem Sketch of a Solution October, 20001Problem StatementIn the lecture of Thursday, October 19, a solution was presented for the following problem. Optimal Fee Problem Input: Output: A sequence of n pos
Mt. Aloysius - COMP - 4951
Cryptography COMP / MATH 4951 A (Fall 2002) Assignment 3Due date: Friday, October 11, 2002, at the beginning of class.[ 20 points ] The purpose of this assignment is to answer an unanswered question related to differential cryptanalysis of SPNs. R
Wilfrid Laurier - CPSC - 413
CPSC 413 Fall, 2000Bounding a Summation: A Second Example October, 2000The ProblemConsider the problem of nding and proving a tight asymptotic bound, in closed form, for the sumnSn =i=2i . ln iIn this handout, we will try to solve this p
Mt. Aloysius - MATH - 3231
Math 3231 Assignment 1 (2004)Correction1. Show that if a and b are relatively prime integers, then (a+2b, 2a+b) = 1 or 3. Suppose that d | a + 2b and d | 2a + b. Then d | 2(a + 2b) (2a + b) = 3b and similarly d | 3a. Then d | (3a, 3b) = 3 as can b
Wilfrid Laurier - CPSC - 413
CPSC 413 Fall, 2000Sketch of Solutions for Lab Exercise #2 September 21, 2000For each problem, please prove the stated claim in two ways: Both directly from the denition (possibly, but not necessarily, using mathematical induction in some way) an
Wilfrid Laurier - CPSC - 413
CPSC 413 Solutions for Quiz #5 October 25, 20001. (18 marks: 6 marks for each part) Each of the following three programs takes a nonnegative integer n as input and prints out a sequence of xs. The number of steps used by each program is linear in
Mt. Aloysius - MATH - 3231
Math 3231 Midterm Test (2004)Correction1. Compute the following greatest common divisor: (12345, 67890). We have 67890 = 5 12345 + 6165 12345 = 2 6165 + 15 6165 = 411 15 . Hence (12345, 67890) = 15. 2. Show that if k is a positive integer, then
Wilfrid Laurier - CPSC - 413
CPSC 413 Fall, 2000Designing a Dynamic Programming Algorithm October, 20001Design StepsHere are the steps, to design a Dynamic Programming algorithm that solves a given problem, that have been discussed in lectures in CPSC 413. 1. Design an a
Wilfrid Laurier - CPSC - 413
CPSC 413 Midterm Test Lecture Sections L01 and L02 November 1, 2000Name: Lab Section:Please DO NOT write your ID number on this page!Write all answers on the test paper in the space provided. No aids allowed. Duration: 75 minutes Total Marks Av
Mt. Aloysius - COMP - 1731
COMP 1731 (Winter 2008) Programming Techniques and Algorithms Midterm Test * SOLUTION * Wednesday, February 20, 2008 Name:Note: Answer all questions. There are 44 points in total.Problem 1 2 3 4 5 TotalPoints 8 6 10 10 10 44Grade11. [ 8
Wilfrid Laurier - CPSC - 313
CPSC 313 Winter, 2005 Tutorial Exercise #13The following problems are based on material in Sections 8.4, 8.6 and 9.1.2 of the textbook, which has been discussed in lectures on or before Friday, April 1. They will be discussed in tutorials on April
Mt. Aloysius - MATH - 4221
Math 4221 Final Examination (2005)11 April 2005Duration of test: 3 hours Total marks: 80You are not allowed to use any book or notes. The test consists of 9 exercises, numbered 1 through 9. 1. [7] Let R be a ring. An element a R is called nilpot
Mt. Aloysius - MATH - 3131
Mt. Aloysius - MATH - 1111
Mt. Aloysius - MATH - 3231
Syllabus of Number Theory (Math 3231) (2004)Francesco Sica January 15, 2004Week 1 (January 59): Greatest common divisors and the Euclidean algorithm (3.2 and 3.3). Prime numbers and the fundamental theorem of arithmetics (3.1 and 3.4). Linear dioph
Mt. Aloysius - MATH - 3131
Wilfrid Laurier - CPSC - 313
CPSC 313 Winter, 2005 Tutorial Exercise #9The following problems are based on material in Section 5.4 of the textbook, which has been discussed in lectures on or before Monday, February 28. They will be discussed in labs on March 79 and will be he
St. Mary MD - CAS - 701
Exercise 9Let f : A B and g : B C be total, and let h = g f : A C be the composition of g and f. (a) Prove that, if f and g are injective, then h is injective, but the converse is false. (b) Prove that, if f and g are surjective, then h is surje
Wilfrid Laurier - CPSC - 313
CPSC 313 Winter, 2005 Tutorial Exercise #14The following problems are based on material in Chapter 9 of the textbook, which has been discussed in lectures on or before Monday, April 11. They will be discussed in labs on April 1113 and can be used
St. Mary MD - CAS - 734
CAS 734 Winter 200505 Styles of Formal ProofInstructor: W. M. Farmer Revised: 1 February 20051Forward Reasoning An assertion is proved by reasoning forward from the assumptions to the assertion. Forward reasoning is done by: Applying rules
Wilfrid Laurier - CPSC - 313
CPSC 313 Winter, 2005 Tutorial Exercise #6The following problems are based on material in Section 3.2 of the text that has been discussed in lectures on or before Wednesday, February 2. They will be discussed in tutorials on February 79 and can be
St. Mary MD - CAS - 701
CAS 701 Fall 200201 The Nature of MathematicsInstructor: W. M. Farmer Revised: 8 September 20021Hallmarks of Mathematics1. Abstraction 2. Symbolic methods 3. Conditional reasoning 4. Proof 5. Rigor (a) Unambiguous language (b) No hidden assum
Wilfrid Laurier - CPSC - 313
CPSC 313 - Fall, 2003 Lab Exercise #3The first four problems on this exercise are based on material in Sections 2.3 and 2.5 of the text that has been discussed in lectures on or before Wednesday, September 24. They will be discussed in labs on Septe