Dr Prya Mathew SJCE Mysore

Size: px
Start display at page:

Download "Dr Prya Mathew SJCE Mysore"

Transcription

1 1

2 2

3 3

4 The word Mathematics derived from two Greek words Manthanein means learning Techne means an art or technique So Mathematics means the art of learning related to disciplines or faculties disciplines = mental training 4

5 Mathematics reveals hidden patterns that helps us to understand the world around us. Mathematics is a study of patterns and order dealing with numbers, geometrical objects, forms, algorithms, chance and change. Mathematics is either the science of number and space or the science of measurement, quantity and magnitude - Dictionary meaning It is a systematised, organised and exact branch of science. 5

6 It is a diverse discipline and It deals with measurements, data analysis, observations from various fields of knowledge, inductive generalizations, proofs, logical deductions, etc Mathematics relies on logical reasoning rather than observation as its measure of validity of truth; Yet it employs observation, simulation and even experimentation as means of discovering truth. 6

7 In addition to theorems and theories mathematics offers distinctive models of thought which are versatile and powerful, including abstraction, optimisation, generalisation, logical analysis, inference and use of symbols. 7

8 Mathematics is the queen of sciences and arithmetic is the queen of all mathematics - Gauss Mathematics is a science of order and measure Descartes Mathematics is the indispensible instrument of all physical resources- Kant Mathematics is the gate way and key to all sciences Bacon 8

9 Mathematics is the study of quantity Aristotle Mathematics is a subject identical with logic Bertrand Russel Mathematics is a way to settle in the mind a habit of reasoning- Locke 9

10 What is the origin of the mathematical concepts which is used in the school curriculum?????? Arithmetic : need for counting Basic algebra : need for simple operations in daily life Geometry & Trigonometry : human quest for possession of land other properties needed, curiosity & quest for the understanding of the universe & Happenings around us. Calculus : understaning the processes in physics New branches of Maths: problems faced by scientists, social scientists, commerce and trade organisations 10

11 11

12 12

13 Some terms cannot be defined precisely in mathematics The members of a minimal set of mathematical terms whose meaning we take for granted without explaining in terms of other mathematical terms, and give meaning of other mathematical terms in terms of these mathematical terms are known as undefined terms. Start with some terms which are taken as undefined The choice of undefined terms is completely arbitrary and generally to facilitate the development of the structure. Example: Point, line, plane, number, natural number, etc. They are only abstract ideas. Eg: Define rational numbers in terms of integers in terms of natural numbers what about natural numbers?????????? 13

14 14

15 of a term is a characteristics explanation involving terms which are either undefined or terms which have been already defined. Characteristics explanation of a term is an explanation which characterizes the given term i.e the explanation which is true for and only for the given term. Definition 15

16 In case of triangle, if A, B, and C are three noncollinear points, then triangles ABC is the union of line segments AB, BC, and AC. here we used the terms collinear, point, union, line segments An equilateral triangle is a triangle in which all sides are equal. Common divisor of two integers is a number which divides both the given integers. 16

17 A postulate or axiom is an accepted statement of fact. They are the self- evident truth Basic building blocks of the logical system in mathematics Euclid is the father of geometry Euclidean geometry is the work of Euclid which is deduced from a small number of Axioms and Geometrical Postulates 17

18 The general statements which are accepted without question and which are applicable to all branches of science Accepted as true because of their conformity with common experience and sound judgment. Example: (Common Notions -5 axioms) Things which are equal to the same thing are equal to one another. If equals are added to equals, the wholes are equal If equals are subtracted from equals, the n the remainders are equal The things which coincide with one another must be equal to one another. The whole is greater than its part. 18

19 Axioms are propositions which are assumed and accepted without any evidence to prove it. Axioms are consistent in the sense that by using other axioms and applying rules of logic, we should not be able to arrive at anything contrary to any of the axioms Axioms are not superfluous: we should not be able to prove any axioms using other axioms. Axioms are adequate: it should be possible to prove any known results of the Mathematical theory with the help of the set of axioms. 19

20 The statements which are particular to Geometry and accepted without questions are the statements which specify relationship among the basic geometric facts and concepts which are assumed to be true without logical proof. Example: 1. one and only one straight line can be drawn through two points 2. any number of lines can be drawn through a point. 3. A straight line may be produced to any length on either side. 20

21 Mathematical theorem is a logically valid conclusion drawn from a set of premises, axioms, and already established theorems of Mathematical system. Theorems are usually in the form of an implication (or a biconditional) with premises followed by connective if then (or if and only if) Eg. If p is a prime number and p divides ab then either p divides a or p dived b If in a quadrilateral the diagonals bisect each other then the quadrilateral is a parallelogram. 21

FACTORIZATION AND THE PRIMES

FACTORIZATION AND THE PRIMES I FACTORIZATION AND THE PRIMES 1. The laws of arithmetic The object of the higher arithmetic is to discover and to establish general propositions concerning the natural numbers 1, 2, 3,... of ordinary

More information

CMA Geometry Unit 1 Introduction Week 2 Notes

CMA Geometry Unit 1 Introduction Week 2 Notes CMA Geometry Unit 1 Introduction Week 2 Notes Assignment: 9. Defined Terms: Definitions betweenness of points collinear points coplanar points space bisector of a segment length of a segment line segment

More information

Lecture 1: Axioms and Models

Lecture 1: Axioms and Models Lecture 1: Axioms and Models 1.1 Geometry Although the study of geometry dates back at least to the early Babylonian and Egyptian societies, our modern systematic approach to the subject originates in

More information

Class IX Chapter 5 Introduction to Euclid's Geometry Maths

Class IX Chapter 5 Introduction to Euclid's Geometry Maths Class IX Chapter 5 Introduction to Euclid's Geometry Maths Exercise 5.1 Question 1: Which of the following statements are true and which are false? Give reasons for your answers. (i) Only one line can

More information

MATH 115 Concepts in Mathematics

MATH 115 Concepts in Mathematics South Central College MATH 115 Concepts in Mathematics Course Outcome Summary Course Information Description Total Credits 4.00 Total Hours 64.00 Concepts in Mathematics is a general education survey course

More information

Math 1230, Notes 2. Aug. 28, Math 1230, Notes 2 Aug. 28, / 17

Math 1230, Notes 2. Aug. 28, Math 1230, Notes 2 Aug. 28, / 17 Math 1230, Notes 2 Aug. 28, 2014 Math 1230, Notes 2 Aug. 28, 2014 1 / 17 This fills in some material between pages 10 and 11 of notes 1. We first discuss the relation between geometry and the quadratic

More information

JANE LONG ACADEMY HIGH SCHOOL MATH SUMMER PREVIEW PACKET SCHOOL YEAR. Geometry

JANE LONG ACADEMY HIGH SCHOOL MATH SUMMER PREVIEW PACKET SCHOOL YEAR. Geometry JANE LONG ACADEMY HIGH SCHOOL MATH SUMMER PREVIEW PACKET 2015-2016 SCHOOL YEAR Geometry STUDENT NAME: THE PARTS BELOW WILL BE COMPLETED ON THE FIRST DAY OF SCHOOL: DUE DATE: MATH TEACHER: PERIOD: Algebra

More information

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24 Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using

More information

CHAPTER 5 INTRODUCTION TO EUCLID S GEOMETRY. 5.1 Introduction

CHAPTER 5 INTRODUCTION TO EUCLID S GEOMETRY. 5.1 Introduction 78 MATHEMATICS INTRODUCTION TO EUCLID S GEOMETRY CHAPTER 5 5.1 Introduction The word geometry comes form the Greek words geo, meaning the earth, and metrein, meaning to measure. Geometry appears to have

More information

Chapter 5 Vocabulary:

Chapter 5 Vocabulary: Geometry Week 11 ch. 5 review sec. 6.3 ch. 5 review Chapter 5 Vocabulary: biconditional conclusion conditional conjunction connective contrapositive converse deductive reasoning disjunction existential

More information

PROOFS IN MATHEMATICS

PROOFS IN MATHEMATICS Appendix 1 PROOFS IN MATHEMATICS Proofs are to Mathematics what calligraphy is to poetry. Mathematical works do consist of proofs just as poems do consist of characters. VLADIMIR ARNOLD A.1.1 Introduction

More information

CSE 1400 Applied Discrete Mathematics Proofs

CSE 1400 Applied Discrete Mathematics Proofs CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4

More information

Affine Planes: An Introduction to Axiomatic Geometry

Affine Planes: An Introduction to Axiomatic Geometry Affine Planes: An Introduction to Axiomatic Geometry Here we use Euclidean plane geometry as an opportunity to introduce axiomatic systems. Keep in mind that the axiomatic approach is not the only approach

More information

Logical Form, Mathematical Practice, and Frege s Begriffsschrift. Danielle Macbeth Haverford College

Logical Form, Mathematical Practice, and Frege s Begriffsschrift. Danielle Macbeth Haverford College Logical Form, Mathematical Practice, and Frege s Begriffsschrift Danielle Macbeth Haverford College Logic Colloquium 2015, Helsinki, August 3 8, 2015 Outline written mathematics report of reasoning display

More information

Exercise 5.1: Introduction To Euclid s Geometry

Exercise 5.1: Introduction To Euclid s Geometry Exercise 5.1: Introduction To Euclid s Geometry Email: info@mywayteaching.com Q1. Which of the following statements are true and which are false? Give reasons for your answers. (i)only one line can pass

More information

9th and 10th Grade Math Proficiency Objectives Strand One: Number Sense and Operations

9th and 10th Grade Math Proficiency Objectives Strand One: Number Sense and Operations Strand One: Number Sense and Operations Concept 1: Number Sense Understand and apply numbers, ways of representing numbers, the relationships among numbers, and different number systems. Justify with examples

More information

Introduction to Logic

Introduction to Logic Introduction to Logic L. Marizza A. Bailey June 21, 2014 The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra

More information

Geometry - Chapter 2 Corrective 1

Geometry - Chapter 2 Corrective 1 Name: Class: Date: Geometry - Chapter 2 Corrective 1 Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Make a table of values for the rule x 2 16x + 64 when

More information

Euclid Geometry And Non-Euclid Geometry. Have you ever asked yourself why is it that if you walk to a specific place from

Euclid Geometry And Non-Euclid Geometry. Have you ever asked yourself why is it that if you walk to a specific place from Hu1 Haotian Hu Dr. Boman Math 475W 9 November 2016 Euclid Geometry And Non-Euclid Geometry Have you ever asked yourself why is it that if you walk to a specific place from somewhere, you will always find

More information

The roots of computability theory. September 5, 2016

The roots of computability theory. September 5, 2016 The roots of computability theory September 5, 2016 Algorithms An algorithm for a task or problem is a procedure that, if followed step by step and without any ingenuity, leads to the desired result/solution.

More information

MATHEMATICS (IX-X) (CODE NO. 041) Session

MATHEMATICS (IX-X) (CODE NO. 041) Session MATHEMATICS (IX-X) (CODE NO. 041) Session 2018-19 The Syllabus in the subject of Mathematics has undergone changes from time to time in accordance with growth of the subject and emerging needs of the society.

More information

EUCLID S AXIOMS A-1 A-2 A-3 A-4 A-5 CN-1 CN-2 CN-3 CN-4 CN-5

EUCLID S AXIOMS A-1 A-2 A-3 A-4 A-5 CN-1 CN-2 CN-3 CN-4 CN-5 EUCLID S AXIOMS In addition to the great practical value of Euclidean Geometry, the ancient Greeks also found great aesthetic value in the study of geometry. Much as children assemble a few kinds blocks

More information

35 Chapter CHAPTER 4: Mathematical Proof

35 Chapter CHAPTER 4: Mathematical Proof 35 Chapter 4 35 CHAPTER 4: Mathematical Proof Faith is different from proof; the one is human, the other is a gift of God. Justus ex fide vivit. It is this faith that God Himself puts into the heart. 21

More information

Geometry Unit 2 Notes Logic, Reasoning and Proof

Geometry Unit 2 Notes Logic, Reasoning and Proof Geometry Unit 2 Notes Logic, Reasoning and Proof Review Vocab.: Complementary, Supplementary and Vertical angles. Syllabus Objective: 2.1 - The student will differentiate among definitions, postulates,

More information

October 16, Geometry, the Common Core, and Proof. John T. Baldwin, Andreas Mueller. The motivating problem. Euclidean Axioms and Diagrams

October 16, Geometry, the Common Core, and Proof. John T. Baldwin, Andreas Mueller. The motivating problem. Euclidean Axioms and Diagrams October 16, 2012 Outline 1 2 3 4 5 Agenda 1 G-C0-1 Context. 2 Activity: Divide a line into n pieces -with string; via construction 3 Reflection activity (geometry/ proof/definition/ common core) 4 mini-lecture

More information

Geometry I (CM122A, 5CCM122B, 4CCM122A)

Geometry I (CM122A, 5CCM122B, 4CCM122A) Geometry I (CM122A, 5CCM122B, 4CCM122A) Lecturer: Giuseppe Tinaglia Office: S5.31 Office Hours: Wed 1-3 or by appointment. E-mail: giuseppe.tinaglia@kcl.ac.uk Course webpage: http://www.mth.kcl.ac.uk/

More information

With Question/Answer Animations. Chapter 2

With Question/Answer Animations. Chapter 2 With Question/Answer Animations Chapter 2 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Sequences and Summations Types of

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

More information

INTRODUCTION TO LOGIC

INTRODUCTION TO LOGIC INTRODUCTION TO LOGIC L. MARIZZA A. BAILEY 1. The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra and geometry.

More information

CN#4 Biconditional Statements and Definitions

CN#4 Biconditional Statements and Definitions CN#4 s and Definitions OBJECTIVES: STUDENTS WILL BE ABLE TO WRITE AND ANALYZE BICONDITIONAL STATEMENTS. Vocabulary biconditional statement definition polygon triangle quadrilateral When you combine a conditional

More information

Euclidean Geometry Proofs

Euclidean Geometry Proofs Euclidean Geometry Proofs History Thales (600 BC) First to turn geometry into a logical discipline. Described as the first Greek philosopher and the father of geometry as a deductive study. Relied on rational

More information

Algebra SEMESTER ONE. K12.com { Pg. 1 } Course Overview. Unit 1: Algebra Basics. Unit 2: Properties of Real Numbers

Algebra SEMESTER ONE. K12.com { Pg. 1 } Course Overview. Unit 1: Algebra Basics. Unit 2: Properties of Real Numbers Algebra Course Overview Students develop algebraic fluency by learning the skills needed to solve equations and perform manipulations with numbers, variables, equations, and inequalities. They also learn

More information

Abstract. History of the problem

Abstract. History of the problem HOW THE GREEKS MIGHT HAVE DISCOVERED AND APPROXIMATE IRRATIONAL NUMBERS László Filep, PhD Institute of Mathematics and Computer Science, College of Nyíregyháza, Nyíregyháza, Hungary Web: www.nyf.hu E-mail:

More information

Correlation of 2012 Texas Essential Knowledge and Skills (TEKS) for Algebra I and Geometry to Moving with Math SUMS Moving with Math SUMS Algebra 1

Correlation of 2012 Texas Essential Knowledge and Skills (TEKS) for Algebra I and Geometry to Moving with Math SUMS Moving with Math SUMS Algebra 1 Correlation of 2012 Texas Essential Knowledge and Skills (TEKS) for Algebra I and Geometry to Moving with Math SUMS Moving with Math SUMS Algebra 1 ALGEBRA I A.1 Mathematical process standards. The student

More information

1 FUNDAMENTALS OF LOGIC NO.1 WHAT IS LOGIC Tatsuya Hagino hagino@sfc.keio.ac.jp lecture URL https://vu5.sfc.keio.ac.jp/slide/ 2 Course Summary What is the correct deduction? Since A, therefore B. It is

More information

How Does Mathematics Compare to Other Subjects? Other subjects: Study objects anchored in physical space and time. Acquire and prove knowledge primarily by inductive methods. Have subject specific concepts

More information

Reasoning and Proof Unit

Reasoning and Proof Unit Reasoning and Proof Unit 1 2 2 Conditional Statements Conditional Statement if, then statement the if part is hypothesis the then part is conclusion Conditional Statement How? if, then Example If an angle

More information

D - E - F - G (1967 Jr.) Given that then find the number of real solutions ( ) of this equation.

D - E - F - G (1967 Jr.) Given that then find the number of real solutions ( ) of this equation. D - E - F - G - 18 1. (1975 Jr.) Given and. Two circles, with centres and, touch each other and also the sides of the rectangle at and. If the radius of the smaller circle is 2, then find the radius of

More information

- 1.2 Implication P. Danziger. Implication

- 1.2 Implication P. Danziger. Implication Implication There is another fundamental type of connectives between statements, that of implication or more properly conditional statements. In English these are statements of the form If p then q or

More information

Mathematical Reasoning & Proofs

Mathematical Reasoning & Proofs Mathematical Reasoning & Proofs MAT 1362 Fall 2018 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0

More information

Math 6 Extended Prince William County Schools Pacing Guide (Crosswalk)

Math 6 Extended Prince William County Schools Pacing Guide (Crosswalk) Math 6 Extended Prince William County Schools Pacing Guide 2017-2018 (Crosswalk) Teacher focus groups have assigned a given number of days to each unit based on their experiences and knowledge of the curriculum.

More information

Hawai`i Post-Secondary Math Survey -- Content Items

Hawai`i Post-Secondary Math Survey -- Content Items Hawai`i Post-Secondary Math Survey -- Content Items Section I: Number sense and numerical operations -- Several numerical operations skills are listed below. Please rank each on a scale from 1 (not essential)

More information

Geometry: Notes

Geometry: Notes Geometry: 2.1-2.3 Notes NAME 2.1 Be able to write all types of conditional statements. Date: Define Vocabulary: conditional statement if-then form hypothesis conclusion negation converse inverse contrapositive

More information

PHIL 50 - Introduction to Logic

PHIL 50 - Introduction to Logic Euclid Archimedes Gerhard Gentzen PHIL 50 - Introduction to Logic Marcello Di Bello, Stanford University, Spring 2014 Week 3 Monday Class - Derivations in Propositional Logic The Semantic and the Syntactic

More information

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

More information

The central problem: what are the objects of geometry? Answer 1: Perceptible objects with shape. Answer 2: Abstractions, mere shapes.

The central problem: what are the objects of geometry? Answer 1: Perceptible objects with shape. Answer 2: Abstractions, mere shapes. The central problem: what are the objects of geometry? Answer 1: Perceptible objects with shape. Answer 2: Abstractions, mere shapes. The central problem: what are the objects of geometry? Answer 1: Perceptible

More information

Logic, Proof, Axiom Systems

Logic, Proof, Axiom Systems Logic, Proof, Axiom Systems MA 341 Topics in Geometry Lecture 03 29-Aug-2011 MA 341 001 2 Rules of Reasoning A tautology is a sentence which is true no matter what the truth value of its constituent parts.

More information

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday.

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday. Friday, February 15 Today we will begin Course Notes 3.2: Methods of Proof. Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due

More information

Introduction to Geometry

Introduction to Geometry Introduction to Geometry What is Geometry Why do we use Geometry What is Geometry? Geometry is a branch of mathematics that concerns itself with the questions of shape, size, position of figures, and the

More information

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. (a) Circle the prime

More information

Pre-Algebra (6/7) Pacing Guide

Pre-Algebra (6/7) Pacing Guide Pre-Algebra (6/7) Pacing Guide Vision Statement Imagine a classroom, a school, or a school district where all students have access to high-quality, engaging mathematics instruction. There are ambitious

More information

Revised College and Career Readiness Standards for Mathematics

Revised College and Career Readiness Standards for Mathematics Revised College and Career Readiness Standards for Mathematics I. Numeric Reasoning II. A. Number representations and operations 1. Compare relative magnitudes of rational and irrational numbers, [real

More information

MAT 3271: Selected solutions to problem set 7

MAT 3271: Selected solutions to problem set 7 MT 3271: Selected solutions to problem set 7 Chapter 3, Exercises: 16. Consider the Real ffine Plane (that is what the text means by the usual Euclidean model ), which is a model of incidence geometry.

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

Definition: A vector is a directed line segment which represents a displacement from one point P to another point Q.

Definition: A vector is a directed line segment which represents a displacement from one point P to another point Q. THE UNIVERSITY OF NEW SOUTH WALES SCHOOL OF MATHEMATICS AND STATISTICS MATH Algebra Section : - Introduction to Vectors. You may have already met the notion of a vector in physics. There you will have

More information

Variable/Equality Concept

Variable/Equality Concept Congruences and equations Mathematics Unit 8: A transition to Algebra Variable/Equality Concept What is algebra? How would you characterize when a student moves from studying arithmetic to algebra? What

More information

Meaning of Proof Methods of Proof

Meaning of Proof Methods of Proof Mathematical Proof Meaning of Proof Methods of Proof 1 Dr. Priya Mathew SJCE Mysore Mathematics Education 4/7/2016 2 Introduction Proposition: Proposition or a Statement is a grammatically correct declarative

More information

STAAR STANDARDS ALGEBRA I ALGEBRA II GEOMETRY

STAAR STANDARDS ALGEBRA I ALGEBRA II GEOMETRY STANDARDS ALGEBRA I ALGEBRA II GEOMETRY STANDARDS ALGEBRA I TEKS Snapshot Algebra I (New TEKS 2015-16) Mathematical Process Standards A.1 Mathematical process standards. The student uses mathematical processes

More information

Integrated Math III. IM3.1.2 Use a graph to find the solution set of a pair of linear inequalities in two variables.

Integrated Math III. IM3.1.2 Use a graph to find the solution set of a pair of linear inequalities in two variables. Standard 1: Algebra and Functions Students solve inequalities, quadratic equations, and systems of equations. They graph polynomial, rational, algebraic, and piece-wise defined functions. They graph and

More information

Analysis I. Classroom Notes. H.-D. Alber

Analysis I. Classroom Notes. H.-D. Alber Analysis I Classroom Notes H-D Alber Contents 1 Fundamental notions 1 11 Sets 1 12 Product sets, relations 5 13 Composition of statements 7 14 Quantifiers, negation of statements 9 2 Real numbers 11 21

More information

Grade 8 Chapter 7: Rational and Irrational Numbers

Grade 8 Chapter 7: Rational and Irrational Numbers Grade 8 Chapter 7: Rational and Irrational Numbers In this chapter we first review the real line model for numbers, as discussed in Chapter 2 of seventh grade, by recalling how the integers and then the

More information

3. MATHEMATICS (CODE NO. 041) The Syllabus in the subject of Mathematics has undergone changes from time to time in accordance with growth of the subject and emerging needs of the society. The present

More information

Section 3.1: Direct Proof and Counterexample 1

Section 3.1: Direct Proof and Counterexample 1 Section 3.1: Direct Proof and Counterexample 1 In this chapter, we introduce the notion of proof in mathematics. A mathematical proof is valid logical argument in mathematics which shows that a given conclusion

More information

ADARSHA VIDYALAYA HUNASHYAL P.B

ADARSHA VIDYALAYA HUNASHYAL P.B ADARSHA VIDYALAYA HUNASHYAL P.B SUBJECT : MATHEMATICS MATHEMATICS FA 1 SL.N O CONTENTS TOPIC FA 1 PLYING WITH-NUMBERS ARITHMETIC FA - 1 2 SQUARE,SQUARE ROOTS CUBES AND CUBE ROOTS ARITHMETIC FA - 1 3 RATIONAL

More information

The Learning Objectives of the Compulsory Part Notes:

The Learning Objectives of the Compulsory Part Notes: 17 The Learning Objectives of the Compulsory Part Notes: 1. Learning units are grouped under three strands ( Number and Algebra, Measures, Shape and Space and Data Handling ) and a Further Learning Unit.

More information

THE FIVE GROUPS OF AXIOMS.

THE FIVE GROUPS OF AXIOMS. 2 THE FIVE GROUPS OF AXIOMS. 1. THE ELEMENTS OF GEOMETRY AND THE FIVE GROUPS OF AXIOMS. Let us consider three distinct systems of things. The things composing the first system, we will call points and

More information

Chapter 2. Reasoning and Proof

Chapter 2. Reasoning and Proof Chapter 2 Reasoning and Proof 2.1 Inductive Reasoning 2.2 Analyze Conditional Statements 2.3 Apply Deductive Reasoning 2.4 Use Postulates and Diagrams 2.5 Algebraic Proofs 2.6 Segments and Angles Proofs

More information

Review Sheet for the Final Exam of MATH Fall 2009

Review Sheet for the Final Exam of MATH Fall 2009 Review Sheet for the Final Exam of MATH 1600 - Fall 2009 All of Chapter 1. 1. Sets and Proofs Elements and subsets of a set. The notion of implication and the way you can use it to build a proof. Logical

More information

p, p or its negation is true, and the other false

p, p or its negation is true, and the other false Logic and Proof In logic (and mathematics) one often has to prove the truthness of a statement made. A proposition is a (declarative) sentence that is either true or false. Example: An odd number is prime.

More information

Geometry and Philosophy

Geometry and Philosophy Geometry and Philosophy Russell Marcus Hamilton College November 2007 Philosophy and Geometry, Slide 1 Plato s Academy Let no one ignorant of geometry enter here Philosophy and Geometry, Slide 2 The Big

More information

MATHE 4800C FOUNDATIONS OF ALGEBRA AND GEOMETRY CLASS NOTES FALL 2011

MATHE 4800C FOUNDATIONS OF ALGEBRA AND GEOMETRY CLASS NOTES FALL 2011 MATHE 4800C FOUNDATIONS OF ALGEBRA AND GEOMETRY CLASS NOTES FALL 2011 MATTHEW AUTH, LECTURER OF MATHEMATICS 1. Foundations of Euclidean Geometry (Week 1) During the first weeks of the semester we will

More information

SUBAREA I MATHEMATIC REASONING AND COMMUNICATION Understand reasoning processes, including inductive and deductive logic and symbolic logic.

SUBAREA I MATHEMATIC REASONING AND COMMUNICATION Understand reasoning processes, including inductive and deductive logic and symbolic logic. SUBAREA I MATHEMATIC REASONING AND COMMUNICATION 0001. Understand reasoning processes, including inductive and deductive logic and symbolic logic. Conditional statements are frequently written in "if-then"

More information

Natural Deduction. Formal Methods in Verification of Computer Systems Jeremy Johnson

Natural Deduction. Formal Methods in Verification of Computer Systems Jeremy Johnson Natural Deduction Formal Methods in Verification of Computer Systems Jeremy Johnson Outline 1. An example 1. Validity by truth table 2. Validity by proof 2. What s a proof 1. Proof checker 3. Rules of

More information

Geometry beyond Euclid

Geometry beyond Euclid Geometry beyond Euclid M.S. Narasimhan IISc & TIFR, Bangalore narasim@math.tifrbng.res.in 1 Outline: Aspects of Geometry which have gone beyond Euclid Two topics which have played important role in development

More information

Course Goals and Course Objectives, as of Fall Math 102: Intermediate Algebra

Course Goals and Course Objectives, as of Fall Math 102: Intermediate Algebra Course Goals and Course Objectives, as of Fall 2015 Math 102: Intermediate Algebra Interpret mathematical models such as formulas, graphs, tables, and schematics, and draw inferences from them. Represent

More information

Mapping Australian Curriculum (AC) Mathematics and VELS Mathematics. Australian Curriculum (AC) Year 9 Year 10/10A

Mapping Australian Curriculum (AC) Mathematics and VELS Mathematics. Australian Curriculum (AC) Year 9 Year 10/10A Mapping Australian Curriculum (AC) Mathematics and VELS Mathematics In the following document, the left hand column shows AC content that matches VELS content at the corresponding levels. Teaching programs

More information

Why write proofs? Why not just test and repeat enough examples to confirm a theory?

Why write proofs? Why not just test and repeat enough examples to confirm a theory? P R E F A C E T O T H E S T U D E N T Welcome to the study of mathematical reasoning. The authors know that many students approach this material with some apprehension and uncertainty. Some students feel

More information

Geometry Unit 2 Notes Logic, Reasoning and Proof

Geometry Unit 2 Notes Logic, Reasoning and Proof Geometry Unit Notes Logic, Reasoning and Proof Review Vocab.: Complementary, Supplementary and Vertical angles. Syllabus Objective:. - The student will justify conjectures and solve problem using inductive

More information

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic CHAPER 1 MAHEMAICAL LOGIC 1.1 undamentals of Mathematical Logic Logic is commonly known as the science of reasoning. Some of the reasons to study logic are the following: At the hardware level the design

More information

2. Associative Law: A binary operator * on a set S is said to be associated whenever (A*B)*C = A*(B*C) for all A,B,C S.

2. Associative Law: A binary operator * on a set S is said to be associated whenever (A*B)*C = A*(B*C) for all A,B,C S. BOOLEAN ALGEBRA 2.1 Introduction Binary logic deals with variables that have two discrete values: 1 for TRUE and 0 for FALSE. A simple switching circuit containing active elements such as a diode and transistor

More information

Part I, Number Systems. CS131 Mathematics for Computer Scientists II Note 1 INTEGERS

Part I, Number Systems. CS131 Mathematics for Computer Scientists II Note 1 INTEGERS CS131 Part I, Number Systems CS131 Mathematics for Computer Scientists II Note 1 INTEGERS The set of all integers will be denoted by Z. So Z = {..., 2, 1, 0, 1, 2,...}. The decimal number system uses the

More information

GTPS Curriculum 6 th Grade Math. Topic: Topic 1- Numeration

GTPS Curriculum 6 th Grade Math. Topic: Topic 1- Numeration 9 days / September Compute fluently with multi-digit numbers and find common factors and multiples. 6.NS.3 Fluently add, subtract, multiply, and divide multi-digit decimals using the standard algorithm

More information

http://jfratup.weebly.com/math-195-2016-2017.html MATH 195 Part 1 Science What is science? Formal Sciences Natural Sciences (physical sciences and life sciences) Social Sciences HISTORY Aristotle: Deductive

More information

COURSE STRUCTURE CLASS -IX

COURSE STRUCTURE CLASS -IX environment, observance of small family norms, removal of social barriers, elimination of gender biases; mathematical softwares. its beautiful structures and patterns, etc. COURSE STRUCTURE CLASS -IX Units

More information

APPENDIX B SUMMARIES OF SUBJECT MATTER TOPICS WITH RELATED CALIFORNIA AND NCTM STANDARDS PART 1

APPENDIX B SUMMARIES OF SUBJECT MATTER TOPICS WITH RELATED CALIFORNIA AND NCTM STANDARDS PART 1 APPENDIX B SUMMARIES OF SUBJECT MATTER TOPICS WITH RELATED CALIFORNIA AND NCTM STANDARDS This appendix lists the summaries of the subject matter topics presented in Section 2 of the Statement. After each

More information

MATHEMATICS (IX-X) (Code No. 041)

MATHEMATICS (IX-X) (Code No. 041) MATHEMATICS (IX-X) (Code No. 041) The Syllabus in the subject of Mathematics has undergone changes from time to time in accordance with growth of the subject and emerging needs of the society. The present

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics Introductory Notes in Discrete Mathematics Solution Guide Marcel B. Finan c All Rights Reserved 2015 Edition Contents

More information

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

MATH10040: Chapter 0 Mathematics, Logic and Reasoning MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly

More information

Major Matrix Mathematics Education 7-12 Licensure - NEW

Major Matrix Mathematics Education 7-12 Licensure - NEW Course Name(s) Number(s) Choose One: MATH 303Differential Equations MATH 304 Mathematical Modeling MATH 305 History and Philosophy of Mathematics MATH 405 Advanced Calculus MATH 406 Mathematical Statistics

More information

Math Number 842 Professor R. Roybal MATH History of Mathematics 24th October, Project 1 - Proofs

Math Number 842 Professor R. Roybal MATH History of Mathematics 24th October, Project 1 - Proofs Math Number 842 Professor R. Roybal MATH 331 - History of Mathematics 24th October, 2017 Project 1 - Proofs Mathematical proofs are an important concept that was integral to the development of modern mathematics.

More information

The Evolution and Discovery of the Species of Equality in Euclid s Elements

The Evolution and Discovery of the Species of Equality in Euclid s Elements From the SelectedWorks of Lee T Nutini 2010 The Evolution and Discovery of the Species of Equality in Euclid s Elements Lee T Nutini Available at: https://works.bepress.com/nutini/2/ Nutini 1 The Evolution

More information

CBSE Class IX Syllabus. Mathematics Class 9 Syllabus

CBSE Class IX Syllabus. Mathematics Class 9 Syllabus Mathematics Class 9 Syllabus Course Structure First Term Units Unit Marks I Number System 17 II Algebra 25 III Geometry 37 IV Co-ordinate Geometry 6 V Mensuration 5 Total 90 Second Term Units Unit Marks

More information

MATHEMATICS (MATH) Calendar

MATHEMATICS (MATH) Calendar MATHEMATICS (MATH) This is a list of the Mathematics (MATH) courses available at KPU. For information about transfer of credit amongst institutions in B.C. and to see how individual courses transfer, go

More information

Logical Agents. Knowledge based agents. Knowledge based agents. Knowledge based agents. The Wumpus World. Knowledge Bases 10/20/14

Logical Agents. Knowledge based agents. Knowledge based agents. Knowledge based agents. The Wumpus World. Knowledge Bases 10/20/14 0/0/4 Knowledge based agents Logical Agents Agents need to be able to: Store information about their environment Update and reason about that information Russell and Norvig, chapter 7 Knowledge based agents

More information

SPECIALIST MATHEMATICS

SPECIALIST MATHEMATICS SPECIALIST MATHEMATICS (Year 11 and 12) UNIT A A1: Combinatorics Permutations: problems involving permutations use the multiplication principle and factorial notation permutations and restrictions with

More information

Foundations for Functions Knowledge and Skills: Foundations for Functions Knowledge and Skills:

Foundations for Functions Knowledge and Skills: Foundations for Functions Knowledge and Skills: Texas University Interscholastic League Contest Event: Number Sense This 80-question mental math contest covers all high school mathematics curricula. All answers must be derived without using scratch

More information

Nine Week SOL Time Allotment

Nine Week SOL Time Allotment 6/5/2018 Nine Week SOL Time Allotment 1 Prerequisite Skills and Beginning of year activities A.1 Translating and Evaluating Expressions and Equations A.4 ace Solve Multi-step equations including variables

More information

Proofs. Joe Patten August 10, 2018

Proofs. Joe Patten August 10, 2018 Proofs Joe Patten August 10, 2018 1 Statements and Open Sentences 1.1 Statements A statement is a declarative sentence or assertion that is either true or false. They are often labelled with a capital

More information

Geometry Unit 2 Review Show all work and follow the criteria for credit.

Geometry Unit 2 Review Show all work and follow the criteria for credit. Competency 1: Angles and Angle Bisectors 1. What is the classification of an angle that has a measure of less than 90 o? 4. Given the diagram below where BD is an angle bisector. A D 2. Given the following

More information

Strand 1: Statistics and Probability

Strand 1: Statistics and Probability Strand 1: Statistics and Probability Topic 1.1 Counting Listing outcomes of experiments in a systematic way, such as in a table, using sample spaces, tree diagrams. 1.2 C oncepts of The probability of

More information