SlideShare une entreprise Scribd logo
1  sur  14
Chapter 1- Preliminaries
1.1 History of Algebra
The word “algebra”-al jebr (in Arabic)
• was first used by Mohammed Al-Khwarizmi -muslim Math.
• ninth century, when taught mathematics in Baghdad.
• means “reunion”,decribes his method for collecting the terms
of an equations in order to solve it.
• Omar Khayyam, another Mathematician, defined it as
the science of solving equations.

Elementary Algebra (Classical age of Algebra)
• its central theme is clearly identified as the solving of eqs.
- method of solving linear, qudratic, cubic, quartic equations.
- 1824, Niels Abel – there does not exits any formula for
1
equations degree 5 or greater.
Modern Age

• new varieties of algebra arose
connection with the application in math to practical problems.
- Matrix Algebra
- Bolean Algebra
- Algebra of vectors and tensors
- ~200 different kinds of algebra.
• the awareness grew
- algebra can no longer be conceived merely as the
science of solving equations.
- It had to be viewed as much more broadly as a
branch of mathematics.
revealing general principles which apply equally to
all known and all possible algebras:
* What is it that all algebras have in common?
* What trait do they share which lets us refer to all of
them as algebras? Algebraic Structure
• Abstract Algebra (Modern Algebra) -more adv. course
2
The study algebraic structures.
1.2 Logic and Proof
Undefined Terms
- Understand these terms and feel comfortable using them
to define new terms.

Important Terms
• Statement or Proposition
- Declarative sentence that is either true or false, but not both.
• Postulates
- Statements that are assumed to be true.
• Definition
- A precise meaning to a mathematical term.
3
• Theorem
- A major landmark in the mathematical theory.
- Postulates and definitions are used to prove theorems.
- Once a theorem is proved to be true, it can be used.
• Lemma
- A result that is needed to prove a theorem.
• Corollary
- A result that follows immediately from a theorem.
• Example
- Is not a general result but is a particular case.
• Proof
- Mathematical argument intended to convince us that
a result is correct.

4
Conjunction, Disjunction and Negation
Definition:
Let P and Q be statements.
i) The statement P AND Q, P ∧ Q,
is called the conjunction of P and Q.
ii) The statement P OR Q, P ∨ Q,
is called the disjunction of P and Q.
iii) The negation of P is denoted by NOT P or ~ P
Conditional and Biconditional Statement
Conditional statement: “If P then Q”, P ⇒ Q.
Biconditional statement: “P if and only if Q”, P ⇔ Q.
5
Quantifiers
Consider a statement P(x) :

x >5

- Statement P(x) is depending on the variable x.
- Adding quantifiers can convert statement P(x) into a
statement that is either true or false.
• Universal quantifier

(∀)

P(x) is true for all values of x, denoted by

∀x, P ( x)

or
For all x, P(x).
For every x, P(x).
For each x, P(x).
P(x), for all x.

6
• Existential quantifier (∃)
There exist an x for which P(x) is true
or
For some x, P(x).
P(x), for some x.

: ∃x, P ( x)

Example
1.

∀x ∈ R, x −1 = ( x −1)( x + x + 1)
3

2

- True or false statement? Why?
2.

∀x ∈ R, x + x − 6 = 0
2

- True or False statement? Why?
3.

∃x ∈ R, x + x − 6 = 0
2

- True or False statement? Why?

7
Proofs
- Many mathematical theorems can be expressed
symbolically in the form of

P ⇒Q
Assumption
Or
hypothesis

Conclusion

may consists of one or more
statements.

- The theorem says that if the assumption is true than the
conclusion is true.
- How do you go about thinking up ways to prove a
theorem?
• Understand the definitions
• Try examples
• Try standard proof methods

8
Methods of Proof ( P ⇒ Q)
1. Direct Method
• find a series of statements P1,P2,…,Pn
• verify that each of the implications below is true
P →P , P →P2 , P2 →P3 .....Pn −1 →Pn and Pn → Q
1
1
Example
An integer n is defined to be even if n = 2m for some integer m.
Show that the sum of two even integers is even.
Proof

9
2. Contrapositive Method
• may prove ¬Q → ¬P
Example
Proposition:
If x is a real number such that

x + 7 x < 9, then x < 1.1
3

2

Proof

10
3. Proof by Contradiction
• assume that P is true and not Q is true (Q is false)
• will end up with a false statement S
• Conclude that not Q must be false, i.e., Q is true
Example
Proposition:
If x is an integer and x2 is even then x is an even integer.
Proof

11
4. Proof by Induction
• assume that for each positive integer n,
a statement P(n) is given. If
1. P(1) is a true statement; and
2. Whenever P(k) is a true statement, then P(k+1) is also true,
• then P(n) is a true statement for every n in positive integer.
Example
Prove:

1
1
1
1
n
+
+
+ ... +
=
1• 3 3 • 5 5 • 7
(2n − 1)(2n + 1) 2n + 1
Proof
12
5. Proof by Counterexamples
• Sometimes a conjectured result in mathematics is not true.
• Would not be able to prove it.
• Could try to disprove it.
• The conjecture in the form of ∀x, P ( x )
• Take the negation: NOT (∀x, P ( x ))
Equivalent to:

∃x, NOT P ( x)

• Hence to disprove the statement

∀x, P ( x)

need only to find one value, say c, such that P(c) is false.
• The value c is called a counterexample to the conjecture.

13
Example
Let x be a real number. Disprove the statement
If x2 >9 then x >3.
Solution

Remark
• To disprove the conjecture in the form of

∃x, P ( x)

cannot use counter example!!!
Its negation is equivalently in the form of ∀x, NOT
Need to show that P(x) is false for all values of x.
• To prove

P ( x)

P ⇔ Q : Prove P ⇒Q and Q ⇒P

14

Contenu connexe

Tendances

Inductive Reasoning
Inductive ReasoningInductive Reasoning
Inductive Reasoningjcirulli
 
Deductive and Inductive Reasoning with Vizzini
Deductive and Inductive Reasoning with VizziniDeductive and Inductive Reasoning with Vizzini
Deductive and Inductive Reasoning with VizziniJessamyn Morisette
 
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1taimoor iftikhar
 
Remainder and Factor Theorem
Remainder and Factor TheoremRemainder and Factor Theorem
Remainder and Factor TheoremTrish Hammond
 
Goldbach Conjecture
Goldbach ConjectureGoldbach Conjecture
Goldbach ConjectureAnil1091
 
Math 150 fall 2020 homework 1 due date friday, october 15,
Math 150 fall 2020 homework 1 due date friday, october 15,Math 150 fall 2020 homework 1 due date friday, october 15,
Math 150 fall 2020 homework 1 due date friday, october 15,MARRY7
 
1.1 patterns & inductive reasoning
1.1 patterns & inductive reasoning1.1 patterns & inductive reasoning
1.1 patterns & inductive reasoningvickihoover
 
Applications of set theory
Applications of  set theoryApplications of  set theory
Applications of set theoryTarun Gehlot
 
BCA_Semester-I_Mathematics-I_Set theory and function
BCA_Semester-I_Mathematics-I_Set theory and functionBCA_Semester-I_Mathematics-I_Set theory and function
BCA_Semester-I_Mathematics-I_Set theory and functionRai University
 
On Review of the Cluster Point of a Set in a Topological Space
On Review of the Cluster Point of a Set in a Topological SpaceOn Review of the Cluster Point of a Set in a Topological Space
On Review of the Cluster Point of a Set in a Topological SpaceBRNSS Publication Hub
 
5.2 arithmetic sequences and sums
5.2 arithmetic sequences and sums5.2 arithmetic sequences and sums
5.2 arithmetic sequences and sumsmath260
 
Set theory
Set theorySet theory
Set theoryAN_Rajin
 
Geometry 1.1 patterns and inductive reasoning
Geometry 1.1 patterns and inductive reasoningGeometry 1.1 patterns and inductive reasoning
Geometry 1.1 patterns and inductive reasoningkca1528
 
Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Kwonpyo Ko
 
1.3.1B Inductive Reasoning
1.3.1B Inductive Reasoning1.3.1B Inductive Reasoning
1.3.1B Inductive Reasoningsmiller5
 

Tendances (19)

Inductive Reasoning
Inductive ReasoningInductive Reasoning
Inductive Reasoning
 
Ppt on polynomial
Ppt on polynomial Ppt on polynomial
Ppt on polynomial
 
Deductive and Inductive Reasoning with Vizzini
Deductive and Inductive Reasoning with VizziniDeductive and Inductive Reasoning with Vizzini
Deductive and Inductive Reasoning with Vizzini
 
Polynomials Class 9th
Polynomials Class 9thPolynomials Class 9th
Polynomials Class 9th
 
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
Disrete mathematics and_its application_by_rosen _7th edition_lecture_1
 
Remainder and Factor Theorem
Remainder and Factor TheoremRemainder and Factor Theorem
Remainder and Factor Theorem
 
Goldbach Conjecture
Goldbach ConjectureGoldbach Conjecture
Goldbach Conjecture
 
Logic
LogicLogic
Logic
 
Math 150 fall 2020 homework 1 due date friday, october 15,
Math 150 fall 2020 homework 1 due date friday, october 15,Math 150 fall 2020 homework 1 due date friday, october 15,
Math 150 fall 2020 homework 1 due date friday, october 15,
 
1.1 patterns & inductive reasoning
1.1 patterns & inductive reasoning1.1 patterns & inductive reasoning
1.1 patterns & inductive reasoning
 
Applications of set theory
Applications of  set theoryApplications of  set theory
Applications of set theory
 
BCA_Semester-I_Mathematics-I_Set theory and function
BCA_Semester-I_Mathematics-I_Set theory and functionBCA_Semester-I_Mathematics-I_Set theory and function
BCA_Semester-I_Mathematics-I_Set theory and function
 
On Review of the Cluster Point of a Set in a Topological Space
On Review of the Cluster Point of a Set in a Topological SpaceOn Review of the Cluster Point of a Set in a Topological Space
On Review of the Cluster Point of a Set in a Topological Space
 
5.2 arithmetic sequences and sums
5.2 arithmetic sequences and sums5.2 arithmetic sequences and sums
5.2 arithmetic sequences and sums
 
Set theory
Set theorySet theory
Set theory
 
Geometry 1.1 patterns and inductive reasoning
Geometry 1.1 patterns and inductive reasoningGeometry 1.1 patterns and inductive reasoning
Geometry 1.1 patterns and inductive reasoning
 
Set Theory
Set TheorySet Theory
Set Theory
 
Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Ch1 sets and_logic(1)
Ch1 sets and_logic(1)
 
1.3.1B Inductive Reasoning
1.3.1B Inductive Reasoning1.3.1B Inductive Reasoning
1.3.1B Inductive Reasoning
 

En vedette

MATH GRADE 10 LEARNER'S MODULE
MATH GRADE 10 LEARNER'S MODULEMATH GRADE 10 LEARNER'S MODULE
MATH GRADE 10 LEARNER'S MODULEPRINTDESK by Dan
 
What Makes Great Infographics
What Makes Great InfographicsWhat Makes Great Infographics
What Makes Great InfographicsSlideShare
 
Masters of SlideShare
Masters of SlideShareMasters of SlideShare
Masters of SlideShareKapost
 
STOP! VIEW THIS! 10-Step Checklist When Uploading to Slideshare
STOP! VIEW THIS! 10-Step Checklist When Uploading to SlideshareSTOP! VIEW THIS! 10-Step Checklist When Uploading to Slideshare
STOP! VIEW THIS! 10-Step Checklist When Uploading to SlideshareEmpowered Presentations
 
10 Ways to Win at SlideShare SEO & Presentation Optimization
10 Ways to Win at SlideShare SEO & Presentation Optimization10 Ways to Win at SlideShare SEO & Presentation Optimization
10 Ways to Win at SlideShare SEO & Presentation OptimizationOneupweb
 
How To Get More From SlideShare - Super-Simple Tips For Content Marketing
How To Get More From SlideShare - Super-Simple Tips For Content MarketingHow To Get More From SlideShare - Super-Simple Tips For Content Marketing
How To Get More From SlideShare - Super-Simple Tips For Content MarketingContent Marketing Institute
 
2015 Upload Campaigns Calendar - SlideShare
2015 Upload Campaigns Calendar - SlideShare2015 Upload Campaigns Calendar - SlideShare
2015 Upload Campaigns Calendar - SlideShareSlideShare
 
What to Upload to SlideShare
What to Upload to SlideShareWhat to Upload to SlideShare
What to Upload to SlideShareSlideShare
 
How to Make Awesome SlideShares: Tips & Tricks
How to Make Awesome SlideShares: Tips & TricksHow to Make Awesome SlideShares: Tips & Tricks
How to Make Awesome SlideShares: Tips & TricksSlideShare
 
Getting Started With SlideShare
Getting Started With SlideShareGetting Started With SlideShare
Getting Started With SlideShareSlideShare
 

En vedette (11)

MATH GRADE 10 LEARNER'S MODULE
MATH GRADE 10 LEARNER'S MODULEMATH GRADE 10 LEARNER'S MODULE
MATH GRADE 10 LEARNER'S MODULE
 
What Makes Great Infographics
What Makes Great InfographicsWhat Makes Great Infographics
What Makes Great Infographics
 
Masters of SlideShare
Masters of SlideShareMasters of SlideShare
Masters of SlideShare
 
STOP! VIEW THIS! 10-Step Checklist When Uploading to Slideshare
STOP! VIEW THIS! 10-Step Checklist When Uploading to SlideshareSTOP! VIEW THIS! 10-Step Checklist When Uploading to Slideshare
STOP! VIEW THIS! 10-Step Checklist When Uploading to Slideshare
 
You Suck At PowerPoint!
You Suck At PowerPoint!You Suck At PowerPoint!
You Suck At PowerPoint!
 
10 Ways to Win at SlideShare SEO & Presentation Optimization
10 Ways to Win at SlideShare SEO & Presentation Optimization10 Ways to Win at SlideShare SEO & Presentation Optimization
10 Ways to Win at SlideShare SEO & Presentation Optimization
 
How To Get More From SlideShare - Super-Simple Tips For Content Marketing
How To Get More From SlideShare - Super-Simple Tips For Content MarketingHow To Get More From SlideShare - Super-Simple Tips For Content Marketing
How To Get More From SlideShare - Super-Simple Tips For Content Marketing
 
2015 Upload Campaigns Calendar - SlideShare
2015 Upload Campaigns Calendar - SlideShare2015 Upload Campaigns Calendar - SlideShare
2015 Upload Campaigns Calendar - SlideShare
 
What to Upload to SlideShare
What to Upload to SlideShareWhat to Upload to SlideShare
What to Upload to SlideShare
 
How to Make Awesome SlideShares: Tips & Tricks
How to Make Awesome SlideShares: Tips & TricksHow to Make Awesome SlideShares: Tips & Tricks
How to Make Awesome SlideShares: Tips & Tricks
 
Getting Started With SlideShare
Getting Started With SlideShareGetting Started With SlideShare
Getting Started With SlideShare
 

Similaire à Tma2033 chap1.1&1.2handout

MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMarjorie Malveda
 
Presentation1.pptx
Presentation1.pptxPresentation1.pptx
Presentation1.pptxPradeeshSAI
 
Discrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdfDiscrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdfMuhammadUmerIhtisham
 
Mathematical reasoning
Mathematical reasoningMathematical reasoning
Mathematical reasoningAza Alias
 
Mcs lecture19.methods ofproof(1)
Mcs lecture19.methods ofproof(1)Mcs lecture19.methods ofproof(1)
Mcs lecture19.methods ofproof(1)kevinwu1994
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proofAbdur Rehman
 
desmath(1).ppt
desmath(1).pptdesmath(1).ppt
desmath(1).pptMemMem25
 
Predicates and Quantifiers
Predicates and Quantifiers Predicates and Quantifiers
Predicates and Quantifiers Istiak Ahmed
 
Predicates and quantifiers
Predicates and quantifiersPredicates and quantifiers
Predicates and quantifiersIstiak Ahmed
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategyallyn joy calcaben
 
Discrete mathematics suraj ppt
Discrete mathematics suraj pptDiscrete mathematics suraj ppt
Discrete mathematics suraj pptAshiskumarDash2
 
Theory of Knowledge - mathematics philosophies
Theory of Knowledge -  mathematics philosophiesTheory of Knowledge -  mathematics philosophies
Theory of Knowledge - mathematics philosophiesplangdale
 
Predicate logic_2(Artificial Intelligence)
Predicate logic_2(Artificial Intelligence)Predicate logic_2(Artificial Intelligence)
Predicate logic_2(Artificial Intelligence)SHUBHAM KUMAR GUPTA
 

Similaire à Tma2033 chap1.1&1.2handout (20)

MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.ppt
 
Logic
LogicLogic
Logic
 
Presentation1.pptx
Presentation1.pptxPresentation1.pptx
Presentation1.pptx
 
Discrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdfDiscrete Structure Lecture #5 & 6.pdf
Discrete Structure Lecture #5 & 6.pdf
 
Mathematical reasoning
Mathematical reasoningMathematical reasoning
Mathematical reasoning
 
Mcs lecture19.methods ofproof(1)
Mcs lecture19.methods ofproof(1)Mcs lecture19.methods ofproof(1)
Mcs lecture19.methods ofproof(1)
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proof
 
desmath(1).ppt
desmath(1).pptdesmath(1).ppt
desmath(1).ppt
 
Predicates and Quantifiers
Predicates and Quantifiers Predicates and Quantifiers
Predicates and Quantifiers
 
Predicates and quantifiers
Predicates and quantifiersPredicates and quantifiers
Predicates and quantifiers
 
Logic.ppt
Logic.pptLogic.ppt
Logic.ppt
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
 
PropositionalLogic.ppt
PropositionalLogic.pptPropositionalLogic.ppt
PropositionalLogic.ppt
 
Course notes1
Course notes1Course notes1
Course notes1
 
Logic agent
Logic agentLogic agent
Logic agent
 
Discrete mathematics suraj ppt
Discrete mathematics suraj pptDiscrete mathematics suraj ppt
Discrete mathematics suraj ppt
 
Theory of Knowledge - mathematics philosophies
Theory of Knowledge -  mathematics philosophiesTheory of Knowledge -  mathematics philosophies
Theory of Knowledge - mathematics philosophies
 
AI-Unit4.ppt
AI-Unit4.pptAI-Unit4.ppt
AI-Unit4.ppt
 
1019Lec1.ppt
1019Lec1.ppt1019Lec1.ppt
1019Lec1.ppt
 
Predicate logic_2(Artificial Intelligence)
Predicate logic_2(Artificial Intelligence)Predicate logic_2(Artificial Intelligence)
Predicate logic_2(Artificial Intelligence)
 

Dernier

18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdfssuser54595a
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxGaneshChakor2
 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactPECB
 
Introduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxIntroduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxpboyjonauth
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphThiyagu K
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxheathfieldcps1
 
Employee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxEmployee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxNirmalaLoungPoorunde1
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfchloefrazer622
 
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...Marc Dusseiller Dusjagr
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Educationpboyjonauth
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)eniolaolutunde
 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdfSoniaTolstoy
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeThiyagu K
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13Steve Thomason
 

Dernier (20)

18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAСY_INDEX-DM_23-1-final-eng.pdf
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptx
 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
 
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
 
Introduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxIntroduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptx
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot Graph
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptx
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Employee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxEmployee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptx
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
 
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
 
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Education
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)
 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
 
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdfTataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and Mode
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13
 

Tma2033 chap1.1&1.2handout

  • 1. Chapter 1- Preliminaries 1.1 History of Algebra The word “algebra”-al jebr (in Arabic) • was first used by Mohammed Al-Khwarizmi -muslim Math. • ninth century, when taught mathematics in Baghdad. • means “reunion”,decribes his method for collecting the terms of an equations in order to solve it. • Omar Khayyam, another Mathematician, defined it as the science of solving equations. Elementary Algebra (Classical age of Algebra) • its central theme is clearly identified as the solving of eqs. - method of solving linear, qudratic, cubic, quartic equations. - 1824, Niels Abel – there does not exits any formula for 1 equations degree 5 or greater.
  • 2. Modern Age • new varieties of algebra arose connection with the application in math to practical problems. - Matrix Algebra - Bolean Algebra - Algebra of vectors and tensors - ~200 different kinds of algebra. • the awareness grew - algebra can no longer be conceived merely as the science of solving equations. - It had to be viewed as much more broadly as a branch of mathematics. revealing general principles which apply equally to all known and all possible algebras: * What is it that all algebras have in common? * What trait do they share which lets us refer to all of them as algebras? Algebraic Structure • Abstract Algebra (Modern Algebra) -more adv. course 2 The study algebraic structures.
  • 3. 1.2 Logic and Proof Undefined Terms - Understand these terms and feel comfortable using them to define new terms. Important Terms • Statement or Proposition - Declarative sentence that is either true or false, but not both. • Postulates - Statements that are assumed to be true. • Definition - A precise meaning to a mathematical term. 3
  • 4. • Theorem - A major landmark in the mathematical theory. - Postulates and definitions are used to prove theorems. - Once a theorem is proved to be true, it can be used. • Lemma - A result that is needed to prove a theorem. • Corollary - A result that follows immediately from a theorem. • Example - Is not a general result but is a particular case. • Proof - Mathematical argument intended to convince us that a result is correct. 4
  • 5. Conjunction, Disjunction and Negation Definition: Let P and Q be statements. i) The statement P AND Q, P ∧ Q, is called the conjunction of P and Q. ii) The statement P OR Q, P ∨ Q, is called the disjunction of P and Q. iii) The negation of P is denoted by NOT P or ~ P Conditional and Biconditional Statement Conditional statement: “If P then Q”, P ⇒ Q. Biconditional statement: “P if and only if Q”, P ⇔ Q. 5
  • 6. Quantifiers Consider a statement P(x) : x >5 - Statement P(x) is depending on the variable x. - Adding quantifiers can convert statement P(x) into a statement that is either true or false. • Universal quantifier (∀) P(x) is true for all values of x, denoted by ∀x, P ( x) or For all x, P(x). For every x, P(x). For each x, P(x). P(x), for all x. 6
  • 7. • Existential quantifier (∃) There exist an x for which P(x) is true or For some x, P(x). P(x), for some x. : ∃x, P ( x) Example 1. ∀x ∈ R, x −1 = ( x −1)( x + x + 1) 3 2 - True or false statement? Why? 2. ∀x ∈ R, x + x − 6 = 0 2 - True or False statement? Why? 3. ∃x ∈ R, x + x − 6 = 0 2 - True or False statement? Why? 7
  • 8. Proofs - Many mathematical theorems can be expressed symbolically in the form of P ⇒Q Assumption Or hypothesis Conclusion may consists of one or more statements. - The theorem says that if the assumption is true than the conclusion is true. - How do you go about thinking up ways to prove a theorem? • Understand the definitions • Try examples • Try standard proof methods 8
  • 9. Methods of Proof ( P ⇒ Q) 1. Direct Method • find a series of statements P1,P2,…,Pn • verify that each of the implications below is true P →P , P →P2 , P2 →P3 .....Pn −1 →Pn and Pn → Q 1 1 Example An integer n is defined to be even if n = 2m for some integer m. Show that the sum of two even integers is even. Proof 9
  • 10. 2. Contrapositive Method • may prove ¬Q → ¬P Example Proposition: If x is a real number such that x + 7 x < 9, then x < 1.1 3 2 Proof 10
  • 11. 3. Proof by Contradiction • assume that P is true and not Q is true (Q is false) • will end up with a false statement S • Conclude that not Q must be false, i.e., Q is true Example Proposition: If x is an integer and x2 is even then x is an even integer. Proof 11
  • 12. 4. Proof by Induction • assume that for each positive integer n, a statement P(n) is given. If 1. P(1) is a true statement; and 2. Whenever P(k) is a true statement, then P(k+1) is also true, • then P(n) is a true statement for every n in positive integer. Example Prove: 1 1 1 1 n + + + ... + = 1• 3 3 • 5 5 • 7 (2n − 1)(2n + 1) 2n + 1 Proof 12
  • 13. 5. Proof by Counterexamples • Sometimes a conjectured result in mathematics is not true. • Would not be able to prove it. • Could try to disprove it. • The conjecture in the form of ∀x, P ( x ) • Take the negation: NOT (∀x, P ( x )) Equivalent to: ∃x, NOT P ( x) • Hence to disprove the statement ∀x, P ( x) need only to find one value, say c, such that P(c) is false. • The value c is called a counterexample to the conjecture. 13
  • 14. Example Let x be a real number. Disprove the statement If x2 >9 then x >3. Solution Remark • To disprove the conjecture in the form of ∃x, P ( x) cannot use counter example!!! Its negation is equivalently in the form of ∀x, NOT Need to show that P(x) is false for all values of x. • To prove P ( x) P ⇔ Q : Prove P ⇒Q and Q ⇒P 14