Linear Algebra Fall mathx.kaist.ac.kr/~schoi/teaching.html.
|
|
- Diana Houston
- 6 years ago
- Views:
Transcription
1 Linear Algebra Fall 2013 mathx.kaist.ac.kr/~schoi/teaching.html.
2 Course HPs klms.kaist.ac.kr: some announcements, can ask questions here, also link to my page. Also, grades for quizzes and exames. math.kaist.ac.kr/~schoi: homework, schedules, sample exams, class assistants, how to survive
3 Purpose of mathematics Mathematics originates with Pythagoras. Babylonians and Egyptians had many computations but no proofs. Proofs are ways to justify your reasoning systematically so that the truth is democratically verified. That is most people agree with the statements. (Science starts with Ionians in the same way. )
4 We now grow out of high school mathematics Mathematics are taught as means to compute numbers. This is useful and very relevant to society and is what politicians and company presidents want. What is wrong with this? The real purpose of mathematics is to verify results and organize them into an understandable system of theorems and proofs. In this course, we begin. This is an opportunity for you to be more than just an engineer computing out numbers without understanding. A system of knowledge will aid you in finding right computations to do and verify your results often.
5 What is a proof? Proofs can be given only in a system with given axioms and logical operations as in Euclidean geometry. In the system, we have a way of organizing ideas so that experts agree and are not confused about the validity Rigorous proof is a certification of validity which we can rely on. Experimental scientists claim to use experiments to verify their results but science always involves models and assumptions which are not verifiable by experiments only.
6 Rigorous proof mathematics is very different In other fields, such as engineering, biology, statistics, chemisty, physics, a lot of reasoning that occur are often not acceptable to mathematics in pure point of view. What Science does is to set up some loose system which can be verified or falsified. This uses a lot of tradition and logic and imaginations. Often precise logical steps are missing. In pure mathematical proofs, we strive to eliminate any gaps in logic however plausible the reasoning might be. In applying mathematics to other fields, one needs to be careful about this distinction. Often, this is not followed completely. The other fields rely on authority more.
7 Learning rigorous mathematics The type of theorem and proof presentation of mathematics are formal and maybe is not the best way to learn. Communications with other people help. Abstract notions can be understood by specifying. That is find examples. Proofs can be more easily understood by using specific examples. Doing exercises.
8 Greek mathematics Pythagoras: first introduced formal methods of proofs. Proved Pythagoras theorem. Existence of Icohahedrons. Tried to show that universe is made of numbers. Plato: Tried to develop geometry to understand everything Euclide: A system of geometry Archimedes: integration, series, mechanics, physics Greek mathematics became a lost subject in the dark ages. Maybe people lost interest in thinking
9 Beginning of abstract mathematics In 17th century, Newton discovered calculus and invented Newtonian mechanics. There were many applications. A golden age of mathematics in Europe 17-20th century follows. By 19th century, so much mathematics were developed and confusions began to arise. Existence questions were unanswerable in many cases.
10 Sets and logic Frege started logic and set theory. Everything should be put in logical fom. Russell, Whitehead tried to give foundations of mathematics using logic and set theory. Hilbert thought that this was possible. Godel found some problems with it. Brouwer began intuitionism. However, today most mathematicians are not following intuitionism.
11 What is an abstract mathematics? We pretend that only sets exists and logic is the only means to study sets. From set theory, we build objects such as numbers, vectors, functions so on and introduce definitions about them and study their relationships to one another. We prove theorems, lemmas, corollaries using logic and definitions. These mathematical objects and results are applied in many general situations by making concrete things abstract and conversely.
12 Why use abstract notions? An abstract notion stands for many things at the same time. (Like Object oriented programming in computer science) Sometimes abstract objects can be viewed as an another type of abstract objects. This gives us much freedom. Many problems can be viewed completely elementary if interpreted differently in abstract manner. If abstract ideas do work, it brings significant improvements.
13 Logic: the ethods of proofs (more at logics notes at the course HP) To prove P è Q: Assume P is true and then prove Q. Given Goal -, -, P è Q Given Goal -,-, P Q (Direct proof)
14 Convert to ~Q è ~P: Assume Q is false and prove P is false. Given Goal -,- P è Q Given Goal -,-, ~Q ~P Example: Given: Goal Given: Goal:
15 To prove ~P: 1. Re-express in positive form. 2. Assume P and reach a contradiction. Given: -,- Goal: ~P Given:-,-. P Goal: contradiction To use Pè Q: modus ponens: P, Pè Q : Q modus tollens: Pè Q, ~Q; ~P To prove a goal of form P^Q: Prove P and Q separately. To use P^Q: Given as separate P and Q. To prove : Prove Pè Q and Qè P. To use : Given as separate Pè Q and Qè P
16 To use a given of form : Divide into cases: 1. Assume P and case 2. Assume Q. Given Goal: --- Case 1: Given P, Goal: -- Case 2: Given Q, Goal:--- To prove a goal of form (1) Either prove P or prove Q (2) Assume P is false and show Q is true
17 Example: Given: Given: (divide by x here.) Goal: Goal: To prove a goal of form Given -,- Goal Given -,-, x arbitrary Goal P(x) To prove a goal of from Given -,- Goal Given -,-, x guessed Goal P(x)
18 Example: Given x>0, Guess work Goal: Given Goal y(y+1)=x To use a given of form x o introduced new variable P(x o ) existential instantiation To use a given of form We can plug in any value a for x.
19 Course outline Abstract vector spaces and linear transformations Review matrices: solving equations by row operations. Reduced forms. Vector spaces: abstract device Linear transformations Classifications of linear transformations: invariants. Polynomials: Ideals, generators Determinants: invariant of linear maps Elementary canonical forms Rational form, Jordan forms Inner product spaces
20 Purpose of the course How to prove things: introductions to pure mathematics (and applied). Understand abstract notions. Using and finding examples Understand vector spaces, linear transformations Classify linear transformations independent of coordinate expressions.
21 Purpose of linear algebra People can add, subtract, multiply. Nonliear mathematics are hard Linearizations are good approximations (1st step) Linearizations are good design principles. Mathematical analysis, Quantum physics are linear (but infinite dimensional). Most of mathematics consist of linear objects or linear maps.
22 Linear algebra and higher level courses In algebra, field theory, rings, modules are generalizations of vector spaces or uses linear algebra. Number theory also uses linear alg. Linear maps are generalized to Lie groups, useful in many areas. Infinite dimensional generalization gives us mathematical analysis and quantum theory Geometries are analysized locally by linear algebra
23 Chapter 1. Linear equations Fields System of linear equations: Row equivalences, Row reduced echelon form, elementary marices Invertible matrice
1. Introduction to commutative rings and fields
1. Introduction to commutative rings and fields Very informally speaking, a commutative ring is a set in which we can add, subtract and multiply elements so that the usual laws hold. A field is a commutative
More informationDirect Proof and Counterexample I:Introduction
Direct Proof and Counterexample I:Introduction Copyright Cengage Learning. All rights reserved. Goal Importance of proof Building up logic thinking and reasoning reading/using definition interpreting :
More informationDirect Proof and Counterexample I:Introduction. Copyright Cengage Learning. All rights reserved.
Direct Proof and Counterexample I:Introduction Copyright Cengage Learning. All rights reserved. Goal Importance of proof Building up logic thinking and reasoning reading/using definition interpreting statement:
More informationSection 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 information1. Introduction to commutative rings and fields
1. Introduction to commutative rings and fields Very informally speaking, a commutative ring is a set in which we can add, subtract and multiply elements so that the usual laws hold. A field is a commutative
More informationLecture 2: What is Proof?
Lecture 2: What is Proof? Math 295 08/26/16 Webster Proof and Its History 8/2016 1 / 1 Evolution of Proof Proof, a relatively new idea Modern mathematics could not be supported at its foundation, nor construct
More informationGödel s Incompleteness Theorems
Seminar Report Gödel s Incompleteness Theorems Ahmet Aspir Mark Nardi 28.02.2018 Supervisor: Dr. Georg Moser Abstract Gödel s incompleteness theorems are very fundamental for mathematics and computational
More informationThe Process of Mathematical Proof
1 The Process of Mathematical Proof Introduction. Mathematical proofs use the rules of logical deduction that grew out of the work of Aristotle around 350 BC. In previous courses, there was probably an
More informationElementary Matrices. MATH 322, Linear Algebra I. J. Robert Buchanan. Spring Department of Mathematics
Elementary Matrices MATH 322, Linear Algebra I J. Robert Buchanan Department of Mathematics Spring 2015 Outline Today s discussion will focus on: elementary matrices and their properties, using elementary
More informationLast Time. x + 3y = 6 x + 2y = 1. x + 3y = 6 y = 1. 2x + 4y = 8 x 2y = 1. x + 3y = 6 2x y = 7. Lecture 2
January 9 Last Time 1. Last time we ended with saying that the following four systems are equivalent in the sense that we can move from one system to the other by a special move we discussed. (a) (b) (c)
More informationA Simple Proof That Finite Mathematics Is More Fundamental Than Classical One. Felix M. Lev
A Simple Proof That Finite Mathematics Is More Fundamental Than Classical One Felix M. Lev Artwork Conversion Software Inc., 1201 Morningside Drive, Manhattan Beach, CA 90266, USA (Email: felixlev314@gmail.com)
More informationClass 29 - November 3 Semantics for Predicate Logic
Philosophy 240: Symbolic Logic Fall 2010 Mondays, Wednesdays, Fridays: 9am - 9:50am Hamilton College Russell Marcus rmarcus1@hamilton.edu Class 29 - November 3 Semantics for Predicate Logic I. Proof Theory
More informationLinear equations The first case of a linear equation you learn is in one variable, for instance:
Math 52 0 - Linear algebra, Spring Semester 2012-2013 Dan Abramovich Linear equations The first case of a linear equation you learn is in one variable, for instance: 2x = 5. We learned in school that this
More informationWe have seen that the symbols,,, and can guide the logical
CHAPTER 7 Quantified Statements We have seen that the symbols,,, and can guide the logical flow of algorithms. We have learned how to use them to deconstruct many English sentences into a symbolic form.
More informationCITS2211 Discrete Structures Proofs
CITS2211 Discrete Structures Proofs Unit coordinator: Rachel Cardell-Oliver August 13, 2017 Highlights 1 Arguments vs Proofs. 2 Proof strategies 3 Famous proofs Reading Chapter 1: What is a proof? Mathematics
More informationCHAPTER 11. Introduction to Intuitionistic Logic
CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated
More informationMath 309 Notes and Homework for Days 4-6
Math 309 Notes and Homework for Days 4-6 Day 4 Read Section 1.2 and the notes below. The following is the main definition of the course. Definition. A vector space is a set V (whose elements are called
More informationJennifer Duong Daniel Szara October 9, 2009
Jennifer Duong Daniel Szara October 9, 2009 By around 2000 BC, Geometry was developed further by the Babylonians who conquered the Sumerians. By around 2000 BC, Rational and Irrational numbers were used
More informationWhat is proof? Lesson 1
What is proof? Lesson The topic for this Math Explorer Club is mathematical proof. In this post we will go over what was covered in the first session. The word proof is a normal English word that you might
More informationContact. Emina. Office: East Hall 1825 Phone:
to Contact Emina Email: eminaa@umich.edu Office: East Hall 1825 Phone: 734 647 5518 About me Born in Bosnia: Real home Utah Family Your turn Please fill out the questionnaire Back to business Class website
More informationA Simple Proof That Finite Mathematics Is More Fundamental Than Classical One. Felix M. Lev
A Simple Proof That Finite Mathematics Is More Fundamental Than Classical One Felix M. Lev Artwork Conversion Software Inc., 1201 Morningside Drive, Manhattan Beach, CA 90266, USA (Email: felixlev314@gmail.com)
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationVocabulary atom atomos Dalton's atomic theory law of constant composition law of definite proportions law of multiple proportions matter.
1.3 Early Atomic Theory Lesson Objectives The student will: define matter and explain how it is composed of building blocks known as atoms. give a short history of how the concept of the atom developed.
More information3 Fields, Elementary Matrices and Calculating Inverses
3 Fields, Elementary Matrices and Calculating Inverses 3. Fields So far we have worked with matrices whose entries are real numbers (and systems of equations whose coefficients and solutions are real numbers).
More informationIndustrial revolution and reform of mathematics
UDC 51(091) Industrial revolution and reform of mathematics G. A. Zverkina Moscow State University of Railway Engineering (MIIT) 9b9 Obrazcova Street, Moscow, 127994, Russia V. A. Trapeznikov Institute
More informationDiscrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 016 Seshia and Walrand Note 1 Proofs In science, evidence is accumulated through experiments to assert the validity of a statement. Mathematics, in
More information1.3 Linear Dependence & span K
( ) Conversely, suppose that every vector v V can be expressed uniquely as v = u +w for u U and w W. Then, the existence of this expression for each v V is simply the statement that V = U +W. Moreover,
More informationGrade 7/8 Math Circles Winter March 20/21/22 Types of Numbers
Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Grade 7/8 Math Circles Winter 2018 - March 20/21/22 Types of Numbers Introduction Today, we take our number
More informationProofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction
Introduction I Proofs Computer Science & Engineering 235 Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu A proof is a proof. What kind of a proof? It s a proof. A proof is a proof. And when
More informationPart 1: You are given the following system of two equations: x + 2y = 16 3x 4y = 2
Solving Systems of Equations Algebraically Teacher Notes Comment: As students solve equations throughout this task, have them continue to explain each step using properties of operations or properties
More informationGreece In 700 BC, Greece consisted of a collection of independent city-states covering a large area including modern day Greece, Turkey, and a multitu
Chapter 3 Greeks Greece In 700 BC, Greece consisted of a collection of independent city-states covering a large area including modern day Greece, Turkey, and a multitude of Mediterranean islands. The Greeks
More informationCHAPTER 0: BACKGROUND (SPRING 2009 DRAFT)
CHAPTER 0: BACKGROUND (SPRING 2009 DRAFT) MATH 378, CSUSM. SPRING 2009. AITKEN This chapter reviews some of the background concepts needed for Math 378. This chapter is new to the course (added Spring
More informationLogic and Proof. Aiichiro Nakano
Logic and Proof Aiichiro Nakano Collaboratory for Advanced Computing & Simulations Department of Computer Science Department of Physics & Astronomy Department of Chemical Engineering & Materials Science
More informationINTRODUCTION 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 informationJane and Joe are measuring the circumference of a dime with a string. Jane' s result is: 55 mm Joe's result is: 58 mm
A LESSON ON ABSOLUTE VALUE Jane and Joe are measuring the circumference of a dime with a string. Jane' s result is: 55 mm Joe's result is: 58 mm Tom knows the true length of the circumference: 56 mm. He
More information[Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 400 lecture note #2. 1) Basics
400 lecture note #2 [Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 1) Basics An argument is a sequence of statements ( s1, s2,, sn). All statements in an argument, excet for
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date April 29, 23 2 Contents Motivation for the course 5 2 Euclidean n dimensional Space 7 2. Definition of n Dimensional Euclidean Space...........
More informationAxiomatic set theory. Chapter Why axiomatic set theory?
Chapter 1 Axiomatic set theory 1.1 Why axiomatic set theory? Essentially all mathematical theories deal with sets in one way or another. In most cases, however, the use of set theory is limited to its
More informationAffine 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 information7.6 The Inverse of a Square Matrix
7.6 The Inverse of a Square Matrix Copyright Cengage Learning. All rights reserved. What You Should Learn Verify that two matrices are inverses of each other. Use Gauss-Jordan elimination to find inverses
More informationGrade 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 informationDiscrete Mathematics and Probability Theory Fall 2018 Alistair Sinclair and Yun Song Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 018 Alistair Sinclair and Yun Song Note 1 Proofs In science, evidence is accumulated through experiments to assert the validity of a statement. Mathematics,
More informationFinal Exam Extra Credit Opportunity
Final Exam Extra Credit Opportunity For extra credit, counted toward your final exam grade, you can write a 3-5 page paper on (i) Chapter II, Conceptions in Antiquity, (ii) Chapter V, Newton and Leibniz,
More informationRussell s logicism. Jeff Speaks. September 26, 2007
Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date May 9, 29 2 Contents 1 Motivation for the course 5 2 Euclidean n dimensional Space 7 2.1 Definition of n Dimensional Euclidean Space...........
More informationCOMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University
COMP 182 Algorithmic Thinking Proofs Luay Nakhleh Computer Science Rice University 1 Reading Material Chapter 1, Section 3, 6, 7, 8 Propositional Equivalences The compound propositions p and q are called
More informationChapter 3. The Logic of Quantified Statements
Chapter 3. The Logic of Quantified Statements 3.1. Predicates and Quantified Statements I Predicate in grammar Predicate refers to the part of a sentence that gives information about the subject. Example:
More informationMath 144 Summer 2012 (UCR) Pro-Notes June 24, / 15
Before we start, I want to point out that these notes are not checked for typos. There are prbally many typeos in them and if you find any, please let me know as it s extremely difficult to find them all
More informationIntroduction 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 informationchapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS
chapter MORE MATRIX ALGEBRA GOALS In Chapter we studied matrix operations and the algebra of sets and logic. We also made note of the strong resemblance of matrix algebra to elementary algebra. The reader
More information35 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 informationLinear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University
Linear Algebra Done Wrong Sergei Treil Department of Mathematics, Brown University Copyright c Sergei Treil, 2004, 2009 Preface The title of the book sounds a bit mysterious. Why should anyone read this
More informationManual of Logical Style
Manual of Logical Style Dr. Holmes January 9, 2015 Contents 1 Introduction 2 2 Conjunction 3 2.1 Proving a conjunction...................... 3 2.2 Using a conjunction........................ 3 3 Implication
More informationNumbers, proof and all that jazz.
CHAPTER 1 Numbers, proof and all that jazz. There is a fundamental difference between mathematics and other sciences. In most sciences, one does experiments to determine laws. A law will remain a law,
More informationBoolean Algebra and Proof. Notes. Proving Propositions. Propositional Equivalences. Notes. Notes. Notes. Notes. March 5, 2012
March 5, 2012 Webwork Homework. The handout on Logic is Chapter 4 from Mary Attenborough s book Mathematics for Electrical Engineering and Computing. Proving Propositions We combine basic propositions
More informationSystems of Linear Equations and Inequalities
Systems of Linear Equations and Inequalities Alex Moore February 4, 017 1 What is a system? Now that we have studied linear equations and linear inequalities, it is time to consider the question, What
More informationChapter 1: The Logic of Compound Statements. January 7, 2008
Chapter 1: The Logic of Compound Statements January 7, 2008 Outline 1 1.1 Logical Form and Logical Equivalence 2 1.2 Conditional Statements 3 1.3 Valid and Invalid Arguments Central notion of deductive
More information3. The Logic of Quantified Statements Summary. Aaron Tan August 2017
3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,
More informationWorkshop 1- Building on the Axioms. The First Proofs
Boston University Summer I 2009 Workshop 1- Building on the Axioms. The First Proofs MA341 Number Theory Kalin Kostadinov The goal of this workshop was to organize our experience with the common integers
More informationReadings: Conjecture. Theorem. Rosen Section 1.5
Readings: Conjecture Theorem Lemma Lemma Step 1 Step 2 Step 3 : Step n-1 Step n a rule of inference an axiom a rule of inference Rosen Section 1.5 Provide justification of the steps used to show that a
More informationmeans is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.
1 Notation For those unfamiliar, we have := means equal by definition, N := {0, 1,... } or {1, 2,... } depending on context. (i.e. N is the set or collection of counting numbers.) In addition, means for
More information2. Introduction to commutative rings (continued)
2. Introduction to commutative rings (continued) 2.1. New examples of commutative rings. Recall that in the first lecture we defined the notions of commutative rings and field and gave some examples of
More informationJust-in-Time-Teaching and other gadgets. Richard Cramer-Benjamin Niagara University
Just-in-Time-Teaching and other gadgets Richard Cramer-Benjamin Niagara University http://faculty.niagara.edu/richcb The Class MAT 443 Euclidean Geometry 26 Students 12 Secondary Ed (9-12 or 5-12 Certification)
More informationCMA 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 informationLinear Algebra I. Ronald van Luijk, 2015
Linear Algebra I Ronald van Luijk, 2015 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents Dependencies among sections 3 Chapter 1. Euclidean space: lines and hyperplanes 5 1.1. Definition
More informationVector Spaces. 9.1 Opening Remarks. Week Solvable or not solvable, that s the question. View at edx. Consider the picture
Week9 Vector Spaces 9. Opening Remarks 9.. Solvable or not solvable, that s the question Consider the picture (,) (,) p(χ) = γ + γ χ + γ χ (, ) depicting three points in R and a quadratic polynomial (polynomial
More informationCM10196 Topic 2: Sets, Predicates, Boolean algebras
CM10196 Topic 2: Sets, Predicates, oolean algebras Guy McCusker 1W2.1 Sets Most of the things mathematicians talk about are built out of sets. The idea of a set is a simple one: a set is just a collection
More informationLecture 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 informationDeterminant: 3.3 Properties of Determinants
Determinant: 3.3 Properties of Determinants Summer 2017 The most incomprehensible thing about the world is that it is comprehensible. - Albert Einstein Goals Learn some basic properties of determinant.
More informationMath 308 Midterm Answers and Comments July 18, Part A. Short answer questions
Math 308 Midterm Answers and Comments July 18, 2011 Part A. Short answer questions (1) Compute the determinant of the matrix a 3 3 1 1 2. 1 a 3 The determinant is 2a 2 12. Comments: Everyone seemed to
More informationMthEd/Math 300 Williams Fall 2011 Midterm Exam 2
Name: MthEd/Math 300 Williams Fall 2011 Midterm Exam 2 Closed Book / Closed Note. Answer all problems. You may use a calculator for numerical computations. Section 1: For each event listed in the first
More informationColumbus State Community College Mathematics Department Public Syllabus
Columbus State Community College Mathematics Department Public Syllabus Course and Number: MATH 2568 Elementary Linear Algebra Credits: 4 Class Hours Per Week: 4 Prerequisites: MATH 2153 with a C or higher
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationMAGIC Set theory. lecture 1
MAGIC Set theory lecture 1 David Asperó University of East Anglia 15 October 2014 Welcome Welcome to this set theory course. This will be a 10 hour introduction to set theory. The only prerequisite is
More informationLogic, Sets, and Proofs
Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Operators. A logical statement is a mathematical statement that can be assigned a value either true or false.
More informationNotes on arithmetic. 1. Representation in base B
Notes on arithmetic The Babylonians that is to say, the people that inhabited what is now southern Iraq for reasons not entirely clear to us, ued base 60 in scientific calculation. This offers us an excuse
More informationThe 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 informationGeometry 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 informationLecture 14 Rosser s Theorem, the length of proofs, Robinson s Arithmetic, and Church s theorem. Michael Beeson
Lecture 14 Rosser s Theorem, the length of proofs, Robinson s Arithmetic, and Church s theorem Michael Beeson The hypotheses needed to prove incompleteness The question immediate arises whether the incompleteness
More informationEuclid 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 information0.2 Vector spaces. J.A.Beachy 1
J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a
More informationLinear Algebra II. 2 Matrices. Notes 2 21st October Matrix algebra
MTH6140 Linear Algebra II Notes 2 21st October 2010 2 Matrices You have certainly seen matrices before; indeed, we met some in the first chapter of the notes Here we revise matrix algebra, consider row
More informationMathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture - 15 Propositional Calculus (PC)
Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras Lecture - 15 Propositional Calculus (PC) So, now if you look back, you can see that there are three
More informationCurves in the configuration space Q or in the velocity phase space Ω satisfying the Euler-Lagrange (EL) equations,
Physics 6010, Fall 2010 Hamiltonian Formalism: Hamilton s equations. Conservation laws. Reduction. Poisson Brackets. Relevant Sections in Text: 8.1 8.3, 9.5 The Hamiltonian Formalism We now return to formal
More informationP1-763.PDF Why Proofs?
P1-763.PDF Why Proofs? During the Iron Age men finally started questioning mathematics which eventually lead to the creating of proofs. People wanted to know how and why is math true, rather than just
More informationSection 1.3: Valid and Invalid Arguments
Section 1.3: Valid and Invalid Arguments Now we have developed the basic language of logic, we shall start to consider how logic can be used to determine whether or not a given argument is valid. In order
More informationPractice Midterm Exam Solutions
CSE 311: Foundations of Computing I Practice Midterm Exam Solutions Name: Sample Solutions ID: TA: Section: INSTRUCTIONS: You have 50 minutes to complete the exam. The exam is closed book. You may not
More informationMath 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 informationCS3110 Fall 2013 Lecture 11: The Computable Real Numbers, R (10/3)
CS3110 Fall 2013 Lecture 11: The Computable Real Numbers, R (10/3) Robert Constable 1 Lecture Plan More about the rationals dependent types enumerating Q (Q is countable) Function inverses bijections one-one
More informationCHAPTER 1. Introduction
CHAPTER 1 Introduction A typical Modern Geometry course will focus on some variation of a set of axioms for Euclidean geometry due to Hilbert. At the end of such a course, non-euclidean geometries (always
More informationInference and Proofs (1.6 & 1.7)
EECS 203 Spring 2016 Lecture 4 Page 1 of 9 Introductory problem: Inference and Proofs (1.6 & 1.7) As is commonly the case in mathematics, it is often best to start with some definitions. An argument for
More informationLecture 1 Systems of Linear Equations and Matrices
Lecture 1 Systems of Linear Equations and Matrices Math 19620 Outline of Course Linear Equations and Matrices Linear Transformations, Inverses Bases, Linear Independence, Subspaces Abstract Vector Spaces
More informationLecture 2: Proof Techniques Lecturer: Lale Özkahya
BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 2: Proof Techniques Lecturer: Lale Özkahya Resources: Kenneth Rosen, Discrete Mathematics and App. cs.colostate.edu/
More informationModern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur
Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur Lecture 02 Groups: Subgroups and homomorphism (Refer Slide Time: 00:13) We looked
More informationPropositional Logic. Fall () Propositional Logic Fall / 30
Propositional Logic Fall 2013 () Propositional Logic Fall 2013 1 / 30 1 Introduction Learning Outcomes for this Presentation 2 Definitions Statements Logical connectives Interpretations, contexts,... Logically
More informationUnit 3: Definitions, Theorems and Proofs
LINEAR ALGEBRA AND VECTOR ANALYSIS MATH 22A Unit 3: Definitions, Theorems and Proofs Seminar 3.1. Theorems are mathematical statements which can be verified using proofs. Theorems are the backbone of mathematics.
More informationProof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof:
Proof Terminology Proof Techniques (Rosen, Sections 1.7 1.8) TOPICS Direct Proofs Proof by Contrapositive Proof by Contradiction Proof by Cases Theorem: statement that can be shown to be true Proof: a
More informationTHE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. Predicates
More informationArgument. whenever all the assumptions are true, then the conclusion is true. If today is Wednesday, then yesterday is Tuesday. Today is Wednesday.
Logic and Proof Argument An argument is a sequence of statements. All statements but the first one are called assumptions or hypothesis. The final statement is called the conclusion. An argument is valid
More informationComprehensive Introduction to Linear Algebra
Comprehensive Introduction to Linear Algebra WEB VERSION Joel G Broida S Gill Williamson N = a 11 a 12 a 1n a 21 a 22 a 2n C = a 11 a 12 a 1n a 21 a 22 a 2n a m1 a m2 a mn a m1 a m2 a mn Comprehensive
More information