Implication (6A) Young Won Lim 3/17/18
|
|
- Neil Reed
- 5 years ago
- Views:
Transcription
1 Implication (6A) 3/17/18
2 Copyright (c) Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". Please send corrections (or suggestions) to youngwlim@hotmail.com. This document was produced by using LibreOffice and Octave. 3/17/18
3 Material Implication & Logical Implication Given two propositions A and B, If A B is a tautology It is said that A logically implies B (A B) in every interpretation Material Implication A B Logical Implication A B (not a tautology) (a tautology) A B A B A B A B T T T T F F F T T F F T A B A B A B A T T T T T F F T F T F T F F F T tautology A B A Logic (6A) Implication 4 3/17/18
4 Logic and Venn diagram (1) case case case case S N S N T T T T F F F T T F F T S N Logic (6A) Implication 12 3/17/18
5 Logic and Venn diagram (2) p r q case case case case case case case case p q r p q T T T T T T F T T F T F T F F F F T T T F T F T F F T T F F F T Logic (6A) Implication 13 3/17/18
6 Material Implication and Venn Diagram case case case case S N S N T T T T F F F T T F F T S N When S N is True S N S N S N Logic (6A) Implication 14 3/17/18
7 When S N is a true statement case case case case S N S N T T T T F F F T T F F T (1) (2) S N S N is True cases ++ (1) (2) if the conditional statement (S N) is a true statement, then the consequent N must be true if S is true the antecedent S can not be true without N being true Logic (6A) Implication 15 3/17/18
8 S N if the conditional statement (S N) is a true statement, then the consequent N must be true if S is true S N S N case cases + S N x S x N Logic (6A) Implication 16 3/17/18
9 ~N ~S if the conditional statement (S N) is a true statement, the antecedent S can not be true without N being true N S N N S case cases + N S x N x S Logic (6A) Implication 17 3/17/18
10 Material Implication vs. Logical Consequence Material Implication Logical Consequences S N S N S N N S T F exists Always True (Tautology) entailment S N S N syntactic (proof) semantic (model) Logic (6A) Implication 18 3/17/18
11 Implication S N S N If S, then N. S implies N. N whenever S. S is sufficient for N. S only if N. not S if not N. not S without N. N is necessary S. Logic (6A) Implication 19 3/17/18
12 Necessity and Sufficiency S N condition that guarantees N sufficiency for N S satisfies at least N N if S condition that must be satisfied for S necessity for S without N, it can t be S S only if N N S Logic (6A) Implication 20 3/17/18
13 Other Necessary Conditions requirement 2 S N Get A Term Paper submitted Midterm taken Get A Term Paper Final test taken Rank < 15% necessary conditions of S requirement 1 requirement n S only if N not S if not N Logic (6A) Implication 21 3/17/18
14 Other Sufficient Conditions S N Case 2 score 100 on every work Get A Case 1 Get A score 100 on every work Case 3 case 1: 100, 95, 90, case 2: 80, 95, 99, Case n sufficient conditions of N Term Paper necessary conditions of Get A N if S N whenever S Implication (2A) 22 3/17/18
15 Resolution (7A) 3/19/18
16 Copyright (c) Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". Please send corrections (or suggestions) to youngwlim@hotmail.com. This document was produced by using LibreOffice and Octave. 3/19/18
17 Argument ( p q) ( p r) q r ( p q) ( p r) q r Logic (7A) Resolution 3 3/19/18
18 Truth Table p q r p q T T T T T T F T T F T T T F F T F T T T F T F T F F T F F F F F p q r p p r T T T F T T T F F F T F T F T T F F F F F T T T T F T F T T F F T T T F F F T T p q r ( p q) ( p r) q r T T T T T T T F F T T F T T T T F F F F F T T T T F T F T T F F T F T F F F F F ( p q) ( p r) q r Logic (7A) Resolution 4 3/19/18
19 Interpretation of this truth table case case case case case case case case A B p q r p q p r ( p q) ( p r) q r T T T T T T T T T F T F F T T F T T T T T T F F T F F F F T T T T T T F T F T T T T F F T F T F T F F F F T F F A B T T T T T T T T Whenever p q and p r are true, q r is true ( p q) ( p r) q r Logic (7A) Resolution 5 3/19/18
20 Venn diagram for p q p q case case case case case case case case p q r p q T T T T T T F T T F T T T F F T F T T T F T F T F F T F F F F F Logic (7A) Resolution 6 3/19/18
21 Venn diagram for p r p r case case case case case case case case p q r p p q T T T F T T T F F F T F T F T T F F F F F T T T T F T F T T F F T T T F F F T T Logic (7A) Resolution 7 3/19/18
22 When ( p q) ( p r) is true p q p r When p q and p r is true is true ( p q) ( p r) cases +++ Logic (7A) Resolution 8 3/19/18
23 When ( p q) ( p r) is true, q r is also true p q p r q r cases +++ ( p q) ( p r) q r cases Logic (7A) Resolution 9 3/19/18
24 Argument Case 1: p is false Case 2: p is true p q p r q r F q T r q T q F r r when p is false, q must be true. when p is true, r must be true. Therefore regardless of truth value of p, If both premises hold, then the conclusion q r is true Logic (7A) Resolution 10 3/19/18
25 Resolution Examples p q p r q r p q p r p q p r q r p p q q p p q p p q q p p r r p p r p p r r Logic (7A) Resolution 11 3/19/18
26 Resolution in Prolog Conjunctive Norm Form (CNF) is assumed ( ) ( ) ( ) the variables A, B, C, D, and E are in conjunctive normal form: A ( B C ) ( A B ) ( B C D ) ( D E ) A B A B The following formulas are not in conjunctive normal form: ( B C ) ( A B ) C A ( B ( D E ) ) Logic (7A) Resolution 12 3/19/18
27 Example A p q p r p q q r q p r q r p r r p ( p q) ( p r) ( p q) ( q r) ( p q) ( p r) ( p q) ( q r) (q) ( p q) ( p r) ( p q) ( q r) (q) (r) ( p q) ( p r) ( p q) ( q r) (q) (r) ( p) James Aspnes, Notes on Discrete Mathematics, CS 202: Fall 2013 Logic (7A) Resolution 15 3/19/18
28 Example B (1) p q r p q r q p q r p q r q q q r r q r q q q r = T r = T p q r p q r q p q r p q r q p r Discrete Mathematics, Johnsonbough Logic (7A) Resolution 16 3/19/18
29 Example B (2) p q r p q r q p q r p q q r p q r q p q r p r Discrete Mathematics, Johnsonbough Logic (7A) Resolution 17 3/19/18
30 Truth Table p q r p p q r T T T F T T T F F T T F T F T T F F F F F T T T T F T F T T F F T T T F F F T T p q r q p q T T T F T T T F F T T F T T T T F F T T F T T F F F T F F F F F T T T F F F T T p q r q r T T T T T T F T T F T T T F F F F T T T F T F T F F T T F F F F p q r p q r p q q r H 1 H 2 H 3 p r T T T T T T T T T T F T T T T T T F T T T T T T T F F F T F F T F T T T F T F T F T F T F T F F F F T T T T T T F F F T T F F F H 1 = p q r H 2 = p q H 3 = q r H 1 H 2 H 3 H 3 H 1 H 2 H 3 H 2 H 1 H 2 H 3 H 1 H 1 H 2 H 3 (p r) Logic (7A) Resolution 18 3/19/18
31 References [1] [2] 3/19/18
32 Functions (4A) 3/16/18
33 Copyright (c) 2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". Please send corrections (or suggestions) to youngwlim@hotmail.com. This document was produced by using OpenOffice and Octave. 3/16/18
34 Function A function f takes an input x, and returns a single output f(x). One metaphor describes the function as a "machine" or "black box" that for each input returns a corresponding output. A function that associates any of the four colored shapes to its color. Functions (4A) 3 3/16/18
35 Function The above diagram represents a function with domain {1, 2, 3}, codomain {A, B, C, D} and set of ordered pairs {(1,D), (2,C), (3,C)}. The image is {C,D}. However, this second diagram does not represent a function. One reason is that 2 is the first element in more than one ordered pair. In particular, (2, B) and (2, C) are both elements of the set of ordered pairs. Another reason, sufficient by itself, is that 3 is not the first element (input) for any ordered pair. A third reason, likewise, is that 4 is not the first element of any ordered pair. Functions (4A) 4 3/16/18
36 Domain, Codomain, and Range X : domain Y : domain range Functions (4A) 5 3/16/18
37 Function condition : One emanating arrow Each, one starting arrow Some, no starting arrow Some, two starting arrows Function (O) Function (X) Function (X) Relation (O) Relation (O) Relation (O) Functions (4A) 6 3/16/18
38 Composite Function A composite function g(f(x)) can be visualized as the combination of two "machines". The first takes input x and outputs f(x). The second takes as input the value f(x) and outputs g(f(x)). Functions (4A) 7 3/16/18
39 Injective Function An injective nonsurjective function (injection, not a bijection) An injective surjective function (bijection) A non-injective surjective function (surjection, not a bijection) Functions (4A) 8 3/16/18
40 Injective Function In mathematics, an injective function or injection or one-to-one function is a function that preserves distinctness: it never maps distinct elements of its domain to the same element of its codomain. every element of the function's codomain is the image of at most one element of its domain. The term one-to-one function must not be confused with one-to-one correspondence (a.k.a. bijective function), which uniquely maps all elements in both domain and codomain to each other. Functions (4A) 9 3/16/18
41 Surjective Function A surjective function from domain X to codomain Y. The function is surjective because every point in the codomain is the value of f(x) for at least one point x in the domain. A non-surjective function from domain X to codomain Y. The smaller oval inside Y is the image (also called range) of f. This function is not surjective, because the image does not fill the whole codomain. In other words, Y is colored in a two-step process: First, for every x in X, the point f(x) is colored yellow; Second, all the rest of the points in Y, that are not yellow, are colored blue. The function f is surjective only if there are no blue points. Functions (4A) 10 3/16/18
42 Surjective Functions Range = Codomain Every, arriving arrow(s) Surjective (O) Surjective (X) Surjective (X) Functions (4A) 11 3/16/18
43 Injective Functions Every, Less than one arriving arrow Injective (O) Injective (O) Injective (X) Functions (4A) 12 3/16/18
44 Surjective Function A surjective function is a function whose image is equal to its codomain. a function f with domain X and codomain Y is surjective if for every y in Y there exists at least one x in X with f(x) = y. Functions (4A) 13 3/16/18
45 Surjective Functions Surjective composition: the first function need not be surjective. Another surjective function. (This one happens to be a bijection) A non-surjective function. (This one happens to be an injection) Functions (4A) 14 3/16/18
46 Types of Functions injection surjection bijection Functions (4A) 15 3/16/18
47 References [1] [2] 3/16/18
48 Set Operations (15A) 3/5/18
49 Copyright (c) Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". Please send corrections (or suggestions) to youngwlim@hotmail.com. This document was produced by using LibreOffice and Octave. 3/5/18
50 Unions Set Operations (15A) 3 3/5/18
51 Properties of Unions Set Operations (15A) 4 3/5/18
52 Intersections Set Operations (15A) 5 3/5/18
53 Properties of Intersections Set Operations (15A) 6 3/5/18
54 Complements Set Operations (15A) 7 3/5/18
55 Complements Set Operations (15A) 8 3/5/18
56 Complements Set Operations (15A) 9 3/5/18
57 Inclusion and Exclusion Set Operations (15A) 11 3/5/18
58 De Morgan s Law Set Operations (15A) 13 3/5/18
59 The Same Cardinality Set Operations (15A) 14 3/5/18
60 References [1] [2] 3/5/18
61 Matrix (2A) 3/13/18
62 Copyright (c) Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". Please send corrections (or suggestions) to youngwlim@hotmail.com. This document was produced by using LibreOffice and Octave. 3/13/18
63 Row Vector, Column Vector, Square Matrix Functions (4A) 3 3/13/18
64 Matrix Notation Functions (4A) 4 3/13/18
65 Matrix Addition Functions (4A) 5 3/13/18
66 Scalar Multiplication Functions (4A) 6 3/13/18
67 Transposition Functions (4A) 7 3/13/18
68 Matrix Multiplication Functions (4A) 8 3/13/18
69 Properties Functions (4A) 9 3/13/18
70 Matrix Types Functions (4A) 10 3/13/18
71 Identity Matrix Functions (4A) 11 3/13/18
72 Inverse Matrix Functions (4A) 12 3/13/18
73 Inverse Matrix Examples Functions (4A) 13 3/13/18
74 Solving Linear Equations A set of linear equations If the inverse matrix exists a x + b y = e [ a b d][ x ] c y = [ e ] [ x ] c x + d y = f f y = [ a b c d] 1[ e f ] a d b c = ad bc 0 [ x y ] = 1 [ d b ][ e ] ad bc c a f e f d b = de bf [ x y ] = 1 ad bc [ de bf ce+af ] a c e f = af ce Cramer's Rule x = e f a c d b b d y = a c a c e f b d Functions (4A) 14 3/13/18
75 Rule of Sarrus (1) Determinant of order 3 only [a11 a1 2 a13 a 21 a 2 2 a 23 a 31 a 3 2 a 33] [a1 1 a12 a13 a 2 1 a 22 a 23 a11 a12 a 3 1 a 32 a 33] a 21 a 2 2 a 31 a 3 2 Rule of Sarrus [a1 1 a12 a1 a1 3 a 2 1 a 22 a 2 3 a 3 1 a 32 a 3 3] 1 a12 a 2 1 a 22 a 3 1 a 32 Copy and concatenate [a1 1 a12 a1 a1 3 a 2 1 a 22 a 2 3 a 3 1 a 32 a 3 3] 1 a12 a 2 1 a 22 a 3 1 a 32 + a 11 a 22 a 33 + a 1 2 a 2 3 a a 13 a 21 a 3 2 a 13 a 22 a 3 1 a 1 1 a 2 3 a 32 a 12 a 2 1 a 3 3 Determinant (3A) 15 03/13/2018
76 Linear Equations (Eq 1) (Eq 2) a 11 x 1 + a 1 2 x a 1 n x n = b 1 a 2 1 x 1 + a 22 x a 2n x n = b 2 (Eq 3) a n1 x 1 + a n 2 x a n n x n = b n a 11 a 1 2 a 1 n x 1 = b 1 a 2 1 a 22 a 2n x 2 = b 2 A x = b a n1 a n 2 a n n x n = b n Determinant (3A) 16 03/13/2018
77 Cramer's Rule (1) solutions A a 11 a 1 2 a 1 n a 2 1 a 22 a 2n a n1 a n2 a n n x x 1 x 2 x n b = b 1 = b 2 = b n A 1 ab 11 1 a 1 2 a 1 n ab 21 a 2 2 a 2 n a 11 ab 1 2 a 1 n a 2 1 a 2 2 a 2 n b 2 A 2 A n a 11 a 1 2 ba 1 n a 2 1 a 2 2 ba 22n ab m1 n a n 2 a n n a n 1 a m2 a n n b n a n 1 a n 2 ba nmn x 1 = det( A 1) det( A) x 2 = det( A 2 ) det( A) x n = det( A n ) det( A) Determinant (3A) 17 03/13/2018
78 References [1] [2] 3/13/18
Implication (6A) Young Won Lim 3/12/18
(6A) Copyright (c) 2015 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationResolution (7A) Young Won Lim 4/21/18
(7A) Coyright (c) 215 218 Young W. Lim. Permission is granted to coy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version ublished
More informationPropositional Logic Resolution (6A) Young W. Lim 12/12/16
Propositional Logic Resolution (6A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,
More informationPropositional Logic Resolution (6A) Young W. Lim 12/31/16
Propositional Logic Resolution (6A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,
More informationPropositional Logic Logical Implication (4A) Young W. Lim 4/11/17
Propositional Logic Logical Implication (4A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationPropositional Logic Arguments (5A) Young W. Lim 11/30/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationFirst Order Logic Implication (4A) Young W. Lim 4/6/17
First Order Logic (4A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationPropositional Logic (2A) Young W. Lim 11/8/15
Propositional Logic (2A) Young W. Lim Copyright (c) 2014 2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU ree Documentation License, Version
More informationPropositional Logic Logical Implication (4A) Young W. Lim 4/21/17
Propositional Logic Logical Implication (4A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationRelations (3A) Young Won Lim 3/27/18
Relations (3A) Copyright (c) 2015 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationPropositional Logic Arguments (5A) Young W. Lim 10/11/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationPropositional Logic Arguments (5A) Young W. Lim 11/8/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationExpected Value (10D) Young Won Lim 6/12/17
Expected Value (10D) Copyright (c) 2017 Young W. Lim. Permissios granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationPropositional Logic Arguments (5A) Young W. Lim 2/23/17
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationHigher Order ODE's (3A) Young Won Lim 7/7/14
Higher Order ODE's (3A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationThe Growth of Functions (2A) Young Won Lim 4/6/18
Copyright (c) 2015-2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published
More informationHigher Order ODE's (3A) Young Won Lim 12/27/15
Higher Order ODE's (3A) Copyright (c) 2011-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationLogic Background (1A) Young W. Lim 5/14/18
Young W. Lim Copyright (c) 2014 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationMatrix Transformation (2A) Young Won Lim 11/10/12
Matrix (A Copyright (c 0 Young W. im. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation icense, Version. or any later version published
More informationRoot Locus (2A) Young Won Lim 10/15/14
Root Locus (2A Copyright (c 2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationDFT Frequency (9A) Each Row of the DFT Matrix. Young Won Lim 7/31/10
DFT Frequency (9A) Each ow of the DFT Matrix Copyright (c) 2009, 2010 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GU Free Documentation License,
More informationPropositional Logic Arguments (5A) Young W. Lim 11/29/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationHamiltonian Cycle (3A) Young Won Lim 5/5/18
Hamiltonian Cycle (3A) Copyright (c) 015 018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1. or any
More informationHigher Order ODE's (3A) Young Won Lim 7/8/14
Higher Order ODE's (3A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationPropositional Logic Arguments (5B) Young W. Lim 11/30/16
Propositional Logic (5B) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationBayes Theorem (4A) Young Won Lim 3/5/18
Bayes Theorem (4A) Copyright (c) 2017-2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any
More informationCT Rectangular Function Pairs (5B)
C Rectangular Function Pairs (5B) Continuous ime Rect Function Pairs Copyright (c) 009-013 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU
More informationGeneral CORDIC Description (1A)
General CORDIC Description (1A) Copyright (c) 2010, 2011, 2012 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,
More informationBackground Trigonmetry (2A) Young Won Lim 5/5/15
Background Trigonmetry (A) Copyright (c) 014 015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1. or
More informationFourier Analysis Overview (0A)
CTFS: Fourier Series CTFT: Fourier Transform DTFS: Fourier Series DTFT: Fourier Transform DFT: Discrete Fourier Transform Copyright (c) 2011-2016 Young W. Lim. Permission is granted to copy, distribute
More informationBayes Theorem (10B) Young Won Lim 6/3/17
Bayes Theorem (10B) Copyright (c) 2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationFirst Order Logic Arguments (5A) Young W. Lim 2/24/17
First Order Logic (5A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationComplex Trigonometric and Hyperbolic Functions (7A)
Complex Trigonometric and Hyperbolic Functions (7A) 07/08/015 Copyright (c) 011-015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationIntroduction to ODE's (0A) Young Won Lim 3/9/15
Introduction to ODE's (0A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2
More informationDetect Sensor (6B) Eddy Current Sensor. Young Won Lim 11/19/09
Detect Sensor (6B) Eddy Current Sensor Copyright (c) 2009 Young W. Lim. Permission is granteo copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationGeneral Vector Space (2A) Young Won Lim 11/4/12
General (2A Copyright (c 2012 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationSeparable Equations (1A) Young Won Lim 3/24/15
Separable Equations (1A) Copyright (c) 2011-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationFourier Analysis Overview (0A)
CTFS: Fourier Series CTFT: Fourier Transform DTFS: Fourier Series DTFT: Fourier Transform DFT: Discrete Fourier Transform Copyright (c) 2011-2016 Young W. Lim. Permission is granted to copy, distribute
More informationLine Integrals (4A) Line Integral Path Independence. Young Won Lim 10/22/12
Line Integrals (4A Line Integral Path Independence Copyright (c 2012 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,
More informationFirst Order Logic (1A) Young W. Lim 11/5/13
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationCapacitor Young Won Lim 06/22/2017
Capacitor Copyright (c) 2011 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationMatrix Transformation (2A) Young Won Lim 11/9/12
Matrix (A Copyright (c 01 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1. or any later version published
More informationLogic (3A) Young W. Lim 10/29/13
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationSignal Functions (0B)
Signal Functions (0B) Signal Functions Copyright (c) 2009-203 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,
More informationODE Background: Differential (1A) Young Won Lim 12/29/15
ODE Background: Differential (1A Copyright (c 2011-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationLinear Equations with Constant Coefficients (2A) Young Won Lim 4/13/15
Linear Equations with Constant Coefficients (2A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationFirst Order Logic Arguments (5A) Young W. Lim 3/10/17
First Order Logic (5A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationCapacitor and Inductor
Capacitor and Inductor Copyright (c) 2015 2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationCapacitor and Inductor
Capacitor and Inductor Copyright (c) 2015 2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationDiscrete Time Rect Function(4B)
Discrete Time Rect Function(4B) Discrete Time Rect Functions Copyright (c) 29-213 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationDifferentiation Rules (2A) Young Won Lim 1/30/16
Differentiation Rules (2A) Copyright (c) 2011-2016 Young W. Lim. Permission is grante to copy, istribute an/or moify this ocument uner the terms of the GNU Free Documentation License, Version 1.2 or any
More informationFSM Examples. Young Won Lim 11/6/15
/6/5 Copyright (c) 2 25 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version.2 or any later version published
More informationGeneral Vector Space (3A) Young Won Lim 11/19/12
General (3A) /9/2 Copyright (c) 22 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version.2 or any later version
More informationLogic Background (1A) Young W. Lim 12/14/15
Young W. Lim 12/14/15 Copyright (c) 2014-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any
More informationLogic (3A) Young W. Lim 11/2/13
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationLogic (3A) Young W. Lim 10/31/13
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationHigher Order ODE's, (3A)
Higher Order ODE's, (3A) Initial Value Problems, and Boundary Value Problems Copyright (c) 2011-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms
More informationDiscrete Time Rect Function(4B)
Discrete Time Rect Function(4B) Discrete Time Rect Functions Copyright (c) 29-23 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationAudio Signal Generation. Young Won Lim 1/29/18
Generation Copyright (c) 2016-2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationDispersion (3A) 1-D Dispersion. Young W. Lim 10/15/13
1-D Dispersion Copyright (c) 013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1. or any later version published
More informationFirst Order Logic (1A) Young W. Lim 11/18/13
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationSignal Processing. Young Won Lim 2/20/18
Copyright (c) 2016 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published
More informationSequential Circuit Timing. Young Won Lim 11/6/15
Copyright (c) 2011 2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published
More informationFourier Analysis Overview (0B)
CTFS: Continuous Time Fourier Series CTFT: Continuous Time Fourier Transform DTFS: Fourier Series DTFT: Fourier Transform DFT: Discrete Fourier Transform Copyright (c) 2009-2016 Young W. Lim. Permission
More informationCapacitor in an AC circuit
Capacitor in an AC circuit Copyright (c) 2011 2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2
More informationComplex Functions (1A) Young Won Lim 2/22/14
Complex Functions (1A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationProbability (10A) Young Won Lim 6/12/17
Probability (10A) Copyright (c) 2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationGroup & Phase Velocities (2A)
(2A) 1-D Copyright (c) 2011 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published
More informationCSC Discrete Math I, Spring Propositional Logic
CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)
More informationPropagating Wave (1B)
Wave (1B) 3-D Wave Copyright (c) 2011 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationMagnetic Sensor (3B) Magnetism Hall Effect AMR Effect GMR Effect. Young Won Lim 9/23/09
Magnetic Sensor (3B) Magnetism Hall Effect AMR Effect GMR Effect Copyright (c) 2009 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationDown-Sampling (4B) Young Won Lim 10/25/12
Down-Sampling (4B) /5/ Copyright (c) 9,, Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version. or any later
More informationComplex Series (3A) Young Won Lim 8/17/13
Complex Series (3A) 8/7/3 Copyright (c) 202, 203 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version.2 or
More informationReview 1. Andreas Klappenecker
Review 1 Andreas Klappenecker Summary Propositional Logic, Chapter 1 Predicate Logic, Chapter 1 Proofs, Chapter 1 Sets, Chapter 2 Functions, Chapter 2 Sequences and Sums, Chapter 2 Asymptotic Notations,
More informationCSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!
CSCE 222 Discrete Structures for Computing Review for Exam 1 Dr. Hyunyoung Lee 1 Topics Propositional Logic (Sections 1.1, 1.2 and 1.3) Predicate Logic (Sections 1.4 and 1.5) Rules of Inferences and Proofs
More informationLine Integrals (4A) Line Integral Path Independence. Young Won Lim 11/2/12
Line Integrals (4A Line Integral Path Independence Copyright (c 2012 Young W. Lim. Permission is granted to copy, distriute and/or modify this document under the terms of the GNU Free Documentation License,
More informationPhasor Young Won Lim 05/19/2015
Phasor Copyright (c) 2009-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationBackground for Discrete Mathematics
Background for Discrete Mathematics Huck Bennett Northwestern University These notes give a terse summary of basic notation and definitions related to three topics in discrete mathematics: logic, sets,
More informationDefinitions of the Laplace Transform (1A) Young Won Lim 1/31/15
Definitions of the Laplace Transform (A) Copyright (c) 24 Young W. Lim. Permission is granted to copy, distriute and/or modify this document under the terms of the GNU Free Documentation License, Version.2
More informationDown-Sampling (4B) Young Won Lim 11/15/12
Down-Sampling (B) /5/ Copyright (c) 9,, Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version. or any later
More informationMTH202 Discrete Mathematics
LATSEST MCQS FROM MIDTERM PAPERS 10 MAY 011 MC10040185 moaaz.pk@gmail.com Moaaz siddiq MTH0 Discrete Mathematics Question No. 1: If p= It is raining q = She will go to college "It is raining and she will
More informationHANDOUT AND SET THEORY. Ariyadi Wijaya
HANDOUT LOGIC AND SET THEORY Ariyadi Wijaya Mathematics Education Department Faculty of Mathematics and Natural Science Yogyakarta State University 2009 1 Mathematics Education Department Faculty of Mathematics
More informationUp-Sampling (5B) Young Won Lim 11/15/12
Up-Sampling (5B) Copyright (c) 9,, Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version. or any later version
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationDigital Signal Octave Codes (0A)
Digital Signal Periodic Conditions Copyright (c) 2009-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationFinite State Machine (1A) Young Won Lim 6/9/18
Finite State Machine (A) 6/9/8 Copyright (c) 23-28 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free ocumentation License, Version.2 or
More informationCompound Propositions
Discrete Structures Compound Propositions Producing new propositions from existing propositions. Logical Operators or Connectives 1. Not 2. And 3. Or 4. Exclusive or 5. Implication 6. Biconditional Truth
More informationDifferentiation Rules (2A) Young Won Lim 2/22/16
Differentiation Rules (2A) Copyright (c) 2011-2016 Young W. Lim. Permission is grante to copy, istribute an/or moify this ocument uner the terms of the GNU Free Documentation License, Version 1.2 or any
More informationSets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions
Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.
More informationAudio Signal Generation. Young Won Lim 2/2/18
Generation Copyright (c) 2016-2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationAutomata Theory (2A) Young Won Lim 5/31/18
Automata Theory (2A) Copyright (c) 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationPropositional Logic, Predicates, and Equivalence
Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If
More informationIntroduction to ODE's (0P) Young Won Lim 12/27/14
Introuction to ODE's (0P) Copyright (c) 2011-2014 Young W. Lim. Permission is grante to copy, istribute an/or moify this ocument uner the terms of the GNU Free Documentation License, Version 1.2 or any
More informationWhat is Logic? Introduction to Logic. Simple Statements. Which one is statement?
What is Logic? Introduction to Logic Peter Lo Logic is the study of reasoning It is specifically concerned with whether reasoning is correct Logic is also known as Propositional Calculus CS218 Peter Lo
More informationFirst Order Logic Semantics (3A) Young W. Lim 8/9/17
First Order Logic (3A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationHyperbolic Functions (1A)
Hyperbolic Functions (A) 08/3/04 Copyright (c) 0-04 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version. or
More informationGroup Delay and Phase Delay (1A) Young Won Lim 7/19/12
Group Delay and Phase Delay (A) 7/9/2 Copyright (c) 2 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version.2
More informationDigital Signal Octave Codes (0A)
Digital Signal Periodic Conditions Copyright (c) 2009-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationMATH 13 SAMPLE FINAL EXAM SOLUTIONS
MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.
More informationn Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B
Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.7, 5.5) TOPICS Sets and Functions Propositional and Predicate Logic Logical Operators and Truth Tables Logical Equivalences and Inference
More information