Dr Prya Mathew SJCE Mysore

Similar documents
FACTORIZATION AND THE PRIMES

CMA Geometry Unit 1 Introduction Week 2 Notes

Lecture 1: Axioms and Models

Class IX Chapter 5 Introduction to Euclid's Geometry Maths

MATH 115 Concepts in Mathematics

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

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

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

CHAPTER 5 INTRODUCTION TO EUCLID S GEOMETRY. 5.1 Introduction

Chapter 5 Vocabulary:

PROOFS IN MATHEMATICS

CSE 1400 Applied Discrete Mathematics Proofs

Affine Planes: An Introduction to Axiomatic Geometry

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

Exercise 5.1: Introduction To Euclid s Geometry

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

Introduction to Logic

Geometry - Chapter 2 Corrective 1

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

The roots of computability theory. September 5, 2016

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

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

35 Chapter CHAPTER 4: Mathematical Proof

Geometry Unit 2 Notes Logic, Reasoning and Proof

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

Geometry I (CM122A, 5CCM122B, 4CCM122A)

With Question/Answer Animations. Chapter 2

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

INTRODUCTION TO LOGIC

CN#4 Biconditional Statements and Definitions

Euclidean Geometry Proofs

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

Abstract. History of the problem

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



Reasoning and Proof Unit

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

- 1.2 Implication P. Danziger. Implication

Mathematical Reasoning & Proofs

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

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

Geometry: Notes

PHIL 50 - Introduction to Logic

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

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

Logic, Proof, Axiom Systems

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.

Introduction to Geometry

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

Pre-Algebra (6/7) Pacing Guide

Revised College and Career Readiness Standards for Mathematics

MAT 3271: Selected solutions to problem set 7

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

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

Variable/Equality Concept

Meaning of Proof Methods of Proof

STAAR STANDARDS ALGEBRA I ALGEBRA II GEOMETRY

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

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

Grade 8 Chapter 7: Rational and Irrational Numbers


Section 3.1: Direct Proof and Counterexample 1

ADARSHA VIDYALAYA HUNASHYAL P.B

The Learning Objectives of the Compulsory Part Notes:

THE FIVE GROUPS OF AXIOMS.

Chapter 2. Reasoning and Proof

Review Sheet for the Final Exam of MATH Fall 2009

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

Geometry and Philosophy

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

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

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

Geometry beyond Euclid

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

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

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

Geometry Unit 2 Notes Logic, Reasoning and Proof

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic

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.

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

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


COURSE STRUCTURE CLASS -IX

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

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

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

MATH10040: Chapter 0 Mathematics, Logic and Reasoning

Major Matrix Mathematics Education 7-12 Licensure - NEW

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

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

CBSE Class IX Syllabus. Mathematics Class 9 Syllabus

MATHEMATICS (MATH) Calendar

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

SPECIALIST MATHEMATICS

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

Nine Week SOL Time Allotment

Proofs. Joe Patten August 10, 2018

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

Strand 1: Statistics and Probability

Transcription:

1

2

3

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

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

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

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

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

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

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

12

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

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

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

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

The general statements which are accepted without question and which are applicable to all branches of science 1. 2. 3. 4. 5. 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

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

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

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