Top Banner
Mathematic s 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity
39

Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Jan 03, 2016

Download

Documents

Arlene Perkins
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Mathematics 1Definitions

SymbolsTerminology

LogicTruth of a statement

ProofInductionArgument

CombinatoricsEquations

InequalitiesModels

LimitContinuity

Page 2: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Physics vs. mathWhat are physics and math similarities and differences?

Page 3: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

No mistakes, right decisions

It is all about making no mistakes and right decisions

Page 4: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Patterns and invariants

It is all about patterns and invariants

Page 5: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Why is math important?• Computers are mainly math• Method• Theory• Predictions• Cryptography• Etc.

Page 6: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Poincaré conjectureThe Poincaré conjecture is a theorem about the characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space. The conjecture states:Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere.

Page 7: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Math symbols• Plus• Minus• Multiplication• Division• Power• Roots• Equality• Inequality• Etc.

Page 8: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Math terminology• Discrete math• Calculus• Geometry• Etc.

Page 9: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Definitions: Mathematics

Mathematics is the study of topics such as quantity (numbers), structure, space, and change. There is a range of views among mathematicians and philosophers as to the exact scope and definition of mathematics. Mathematicians seek out patterns and use them to formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proof. When mathematical structures are good models of real phenomena, then mathematical reasoning can provide insight or predictions about nature. Through the use of abstraction and logic, mathematics developed from counting, calculation, measurement, and the systematic study of the shapes and motions of physical objects. Practical mathematics has been a human activity for as far back as written records exist. The research required to solve mathematical problems can take years or even centuries of sustained inquiry.

Page 10: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Definitions: number

A number is a mathematical object used to count, label, and measure. In mathematics, the definition of number has been extended over the years to include such numbers as 0, negative numbers, rational numbers, irrational numbers, real numbers, and complex numbers.Mathematical operations are certain procedures that take one or more numbers as input and produce a number as output. Unary operations take a single input number and produce a single output number. For example, the successor operation adds 1 to an integer, and thus the successor of 4 is 5. Binary operations take two input numbers and produce a single output number. Examples of binary operations include addition, subtraction, multiplication, division, and exponentiation. The study of numerical operations is called arithmetic.A notational symbol that represents a number is called a numeral. In addition to their use in counting and measuring, numerals are often used for labels (telephone numbers), for ordering (serial numbers), and for codes (e.g., ISBNs).In common usage, the word number can mean the abstract object, the symbol, or the word for the number.

Page 11: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Prime numberA prime number (or a prime) is a natural number greater than 1 that has no positive divisors other than 1 and itself. A natural number greater than 1 that is not a prime number is called a composite number. For example, 5 is prime because 1 and 5 are its only positive integer factors, whereas 6 is composite because it has the divisors 2 and 3 in addition to 1 and 6. The fundamental theorem of arithmetic establishes the central role of primes in number theory: any integer greater than 1 can be expressed as a product of primes that is unique up to ordering. The uniqueness in this theorem requires excluding 1 as a prime because one can include arbitrarily many instances of 1 in any factorization, e.g., 3, 1 × 3, 1 × 1 × 3, etc. are all valid factorizations of 3.

Page 12: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Irrational numberAn irrational number is any real number that cannot be expressed as a ratio of integers. Informally, this means that an irrational number cannot be represented as a simple fraction. Irrational numbers are those real numbers that cannot be represented as terminating or repeating decimals. As a consequence of Cantor's proof that the real numbers are uncountable (and the rationals countable) it follows that almost all real numbers are irrational.When the ratio of lengths of two line segments is irrational, the line segments are also described as being incommensurable, meaning they share no measure in common.Perhaps the best-known irrational numbers are: the ratio of a circle's circumference to its diameter π, Euler's number e, the golden ratio φ, and the square root of two.

Page 13: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Number systems• binary (2)• ternary (3)• quaternary (4)• quinary (5)• senary (6)• septenary (7)• octonary (8)• nonary (9)• decimal (10)• undenary (11)• duodenary (12)• hexadecimal (16)• etc.

Page 14: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

CalculusCalculus is the mathematical study of change, in the same way that geometry is the study of shape and algebra is the study of operations and their application to solving equations. It has two major branches, differential calculus (concerning rates of change and slopes of curves), and integral calculus (concerning accumulation of quantities and the areas under and between curves); these two branches are related to each other by the fundamental theorem of calculus. Both branches make use of the fundamental notions of convergence of infinite sequences and infinite series to a well-defined limit. Generally considered to have been founded in the 17th century by Isaac Newton and Gottfried Leibniz, today calculus has widespread uses in science, engineering and economics and can solve many problems that algebra alone cannot.

Page 15: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Discrete mathematicsDiscrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous. In contrast to real numbers that have the property of varying "smoothly", the objects studied in discrete mathematics – such as integers, graphs, and statements in logic – do not vary smoothly in this way, but have distinct, separated values. Discrete mathematics therefore excludes topics in "continuous mathematics" such as calculus and analysis. Discrete objects can often be enumerated by integers. More formally, discrete mathematics has been characterized as the branch of mathematics dealing with countable sets (sets that have the same cardinality as subsets of the natural numbers, including rational numbers but not real numbers). However, there is no exact definition of the term "discrete mathematics." Indeed, discrete mathematics is described less by what is included than by what is excluded: continuously varying quantities and related notions.

Page 16: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Graph (mathematics)A graph is a representation of a set of objects where some pairs of objects are connected by links. The interconnected objects are represented by mathematical abstractions called vertices, and the links that connect some pairs of vertices are called edges. Typically, a graph is depicted in diagrammatic form as a set of dots for the vertices, joined by lines or curves for the edges. Graphs are one of the objects of study in discrete mathematics.The edges may be directed or undirected. For example, if the vertices represent people at a party, and there is an edge between two people if they shake hands, then this is an undirected graph, because if person A shook hands with person B, then person B also shook hands with person A. In contrast, if there is an edge from person A to person B when person A knows of person B, then this graph is directed, because knowledge of someone is not necessarily a symmetric relation (that is, one person knowing another person does not necessarily imply the reverse; for example, many fans may know of a celebrity, but the celebrity is unlikely to know of all their fans). This latter type of graph is called a directed graph and the edges are called directed edges or arcs.

Page 17: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Graph theoryIn mathematics and computer science, graph theory is the study of graphs, which are mathematical structures used to model pairwise relations between objects. A "graph" in this context is made up of "vertices" or "nodes" and lines called edges that connect them. A graph may be undirected, meaning that there is no distinction between the two vertices associated with each edge, or its edges may be directed from one vertex to another; see graph (mathematics) for more detailed definitions and for other variations in the types of graph that are commonly considered. Graphs are one of the prime objects of study in discrete mathematics.

Page 18: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

PropositionA proposition is a statement, which can only be true or false.

Page 19: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Mathematical logicMathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Topically, mathematical logic bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.

Page 20: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Fuzzy logicFuzzy logic is a form of many-valued logic; it deals with reasoning that is approximate rather than fixed and exact. Compared to traditional binary sets (where variables may take on true or false values), fuzzy logic variables may have a truth value that ranges in degree between 0 and 1. Fuzzy logic has been extended to handle the concept of partial truth, where the truth value may range between completely true and completely false. Furthermore, when linguistic variables are used, these degrees may be managed by specific functions. Irrationality can be described in terms of what is known as the fuzzjective.

Page 21: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Quantum logicQuantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett Birkhoff and John von Neumann, who were attempting to reconcile the apparent inconsistency of classical logic with the facts concerning the measurement of complementary variables in quantum mechanics, such as position and momentum.Quantum logic can be formulated either as a modified version of propositional logic or as a noncommutative and non-associative many-valued (MV) logic.

Page 22: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

ArgumentAn argument, more fully a premise-conclusion argument, is a two-part system composed of premises and conclusion. An argument is valid if and only if its conclusion is a consequence of its premises. Every premise set has infinitely many consequences each giving rise to a valid argument. Some consequences are obviously so but most are not: most are hidden consequences. Most valid arguments are not yet known to be valid. To determine validity in non-obvious cases deductive reasoning is required. There is no deductive reasoning in an argument per se; such must come from the outside.

Page 23: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

ProofIn mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously established statements, such as theorems, can be used. In principle, a proof can be traced back to self-evident or assumed statements, known as axioms. Proofs are examples of deductive reasoning and are distinguished from inductive or empirical arguments; a proof must demonstrate that a statement is always true (occasionally by listing all possible cases and showing that it holds in each), rather than enumerate many confirmatory cases. An unproven statement that is believed true is known as a conjecture.

Page 24: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

InductionMathematical induction is a method of mathematical proof typically used to establish a given statement for all natural numbers. It is a form of direct proof, and it is done in two steps. The first step, known as the base case, is to prove the given statement for the first natural number. The second step, known as the inductive step, is to prove that the given statement for any one natural number implies the given statement for the next natural number. From these two steps, mathematical induction is the rule from which we infer that the given statement is established for all natural numbers.

Page 25: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

AxiomAn axiom or postulate is a premise or starting point of reasoning. As classically conceived, an axiom is a premise so evident as to be accepted as true without controversy. The word comes from the Greek axíōma (ἀξίωμα) 'that which is thought worthy or fit' or 'that which commends itself as evident.' As used in modern logic, an axiom is simply a premise or starting point for reasoning.[4] Axioms define and delimit the realm of analysis; the relative truth of an axiom is taken for granted within the particular domain of analysis, and serves as a starting point for deducing and inferring other relative truths. No explicit view regarding the absolute truth of axioms is ever taken in the context of modern mathematics, as such a thing is considered to be an irrelevant and impossible contradiction in terms.

Page 26: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

TheoremA theorem is a statement that has been proven on the basis of previously established statements, such as other theorems—and generally accepted statements, such as axioms. The proof of a mathematical theorem is a logical argument for the theorem statement given in accord with the rules of a deductive system. The proof of a theorem is often interpreted as justification of the truth of the theorem statement. In light of the requirement that theorems be proved, the concept of a theorem is fundamentally deductive, in contrast to the notion of a scientific theory, which is empirical.

Page 27: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Artificial neural networkArtificial neural networks (ANNs) are computational models inspired by an animal's central nervous systems (in particular the brain) which is capable of machine learning as well as pattern recognition. Artificial neural networks are generally presented as systems of interconnected "neurons" which can compute values from inputs.For example, a neural network for handwriting recognition is defined by a set of input neurons which may be activated by the pixels of an input image. After being weighted and transformed by a function (determined by the network's designer), the activations of these neurons are then passed on to other neurons. This process is repeated until finally, an output neuron is activated. This determines which character was read.Like other machine learning methods - systems that learn from data - neural networks have been used to solve a wide variety of tasks that are hard to solve using ordinary rule-based programming, including computer vision and speech recognition.

Page 28: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

CombinatoricsCombinatorics is a branch of mathematics concerning the study of finite or countable discrete structures. Aspects of combinatorics include counting the structures of a given kind and size (enumerative combinatorics), deciding when certain criteria can be met, and constructing and analyzing objects meeting the criteria (as in combinatorial designs and matroid theory), finding "largest", "smallest", or "optimal" objects (extremal combinatorics and combinatorial optimization), and studying combinatorial structures arising in an algebraic context, or applying algebraic techniques to combinatorial problems (algebraic combinatorics).

Page 29: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

EquationIn mathematics, an equation is a formula of the form A = B, where A and B are expressions that may contain one or several variables called unknowns, and "=" denotes the equality binary relation. Although written in the form of proposition, an equation is not a statement that is either true or false, but a problem consisting of finding the values, called solutions, that, when substituted for the unknowns, yield equal values of the expressions A and B. For example, 2 is the unique solution of the equation x + 2 = 4, in which the unknown is x.Historically, equations arose from the mathematical discipline of algebra, but later became ubiquitous. "Equations" should not be confused with "identities", which are presented with the same notation but have a different meaning: for example 2 + 2 = 4 and x + y = y + x are identities (which implies they are necessarily true) in arithmetic, and do not constitute a values-finding problem, even when variables are present as in the latter example.

Page 30: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

InequalityAn inequality is a relation that holds between two values when they are different

Page 31: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

ModelA mathematical model is a description of a system using mathematical concepts and language. The process of developing a mathematical model is termed mathematical modeling. Mathematical models are used not only in the natural sciences (such as physics, biology, earth science, meteorology) and engineering disciplines (e.g. computer science, artificial intelligence), but also in the social sciences (such as economics, psychology, sociology and political science); physicists, engineers, statisticians, operations research analysts and economists use mathematical models most extensively. A model may help to explain a system and to study the effects of different components, and to make predictions about behavior.

Page 32: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

FunctionA function is a relation between a set of inputs and a set of permissible outputs with the property that each input is related to exactly one output.

Page 33: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

LimitA limit is the value that a function or sequence "approaches" as the input or index approaches some value. Limits are essential to calculus (and mathematical analysis in general) and are used to define continuity, derivatives, and integrals.

Page 34: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Continuous functionA continuous function is, roughly speaking, a function for which small changes in the input result in small changes in the output. Otherwise, a function is said to be a discontinuous function.

Page 35: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Math competitions• http://www.maa.org/math-competitions• http://azspcs.net/

Page 36: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Games:• 1+2+3+…• Fermat theorem, • number puzzles, • password cracking,• graceful graphs, • chess, • Scrabble• binomial distribution, • normal distribution,• magic squares, • Fibonacci• diagonals

Page 37: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

CryptographyCryptography (or cryptology; from Greek κρυπτός kryptós, "hidden, secret"; and γράφειν graphein, "writing", or -λογία -logia, "study", respectively) is the practice and study of techniques for secure communication in the presence of third parties (called adversaries). More generally, it is about constructing and analyzing protocols that overcome the influence of adversaries and which are related to various aspects in information security such as data confidentiality, data integrity, authentication, and non-repudiation. Modern cryptography intersects the disciplines of mathematics, computer science, and electrical engineering. Applications of cryptography include ATM cards, computer passwords, and electronic commerce.

Page 38: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Exercises:• 1. Define mathematics.• 2. Why is math important? • 3. Why do you study math? • 4. List the main math symbols? • 5. Briefly explain math terminology. • 6. Define math logic, argument and proof.• 7. Explain combinatorics

Page 39: Mathematics 1 Definitions Symbols Terminology Logic Truth of a statement Proof Induction Argument Combinatorics Equations Inequalities Models Limit Continuity.

Bibliography:• [Textbooks] http://biomath.weebly.com/• [WikiPedia] http://en.wikipedia.org• [Google] https://www.google.com