differential propositional calculus : appendix 3

differential propositional calculus : appendix 3

Contents:

0.1

Taylor Series Expansion

0.2

Partial Differentials and Relative Differentials

0.1

Taylor Series Expansion

Taylor Series

Expansion

D

⁡

f

=

d

⁡

f

+

d

2

⁡

f

d

⁡

f

=

∂

x

⁡

f

⋅

d

⁡

x

+

∂

y

⁡

f

⋅

d

⁡

y

d

2

⁡

f

=

∂

x

⁢

y

⁡

f

⋅

d

⁡

x

⁢

d

⁡

y

d

⁡

f

|

x

⁢

y

d

⁡

f

|

x

⁢

(

y

)

d

⁡

f

|

(

x

)

⁢

y

d

⁡

f

|

(

x

)

⁢

(

y

)

f

0

0

0

0

0

0

0

f

1

f

2

f

4

f

8

(

y

)

d

⁡

x

+

(

x

)

d

⁡

y

y

d

⁡

x

+

(

x

)

d

⁡

y

(

y

)

d

⁡

x

+

x

d

⁡

y

y

d

⁡

x

+

x

d

⁡

y

d

⁡

x

⁢

d

⁡

y

d

⁡

x

⁢

d

⁡

y

d

⁡

x

⁢

d

⁡

y

d

⁡

x

⁢

d

⁡

y

0

d

⁡

x

d

⁡

y

d

⁡

x

+

d

⁡

y

d

⁡

x

0

d

⁡

x

+

d

⁡

y

d

⁡

y

d

⁡

y

d

⁡

x

+

d

⁡

y

0

d

⁡

x

d

⁡

x

+

d

⁡

y

d

⁡

y

d

⁡

x

0

f

3

f

12

d

⁡

x

d

⁡

x

0

0

d

⁡

x

d

⁡

x

d

⁡

x

d

⁡

x

d

⁡

x

d

⁡

x

d

⁡

x

d

⁡

x

f

6

f

9

d

⁡

x

+

d

⁡

y

d

⁡

x

+

d

⁡

y

0

0

d

⁡

x

+

d

⁡

y

d

⁡

x

+

d

⁡

y

d

⁡

x

+

d

⁡

y

d

⁡

x

+

d

⁡

y

d

⁡

x

+

d

⁡

y

d

⁡

x

+

d

⁡

y

d

⁡

x

+

d

⁡

y

d

⁡

x

+

d

⁡

y

f

5

f

10

d

⁡

y

d

⁡

y

0

0

d

⁡

y

d

⁡

y

d

⁡

y

d

⁡

y

d

⁡

y

d

⁡

y

d

⁡

y

d

⁡

y

f

7

f

11

f

13

f

14

y

d

⁡

x

+

x

d

⁡

y

(

y

)

d

⁡

x

+

x

d

⁡

y

y

d

⁡

x

+

(

x

)

d

⁡

y

(

y

)

d

⁡

x

+

(

x

)

d

⁡

y

d

⁡

x

⁢

d

⁡

y

d

⁡

x

⁢

d

⁡

y

d

⁡

x

⁢

d

⁡

y

d

⁡

x

⁢

d

⁡

y

d

⁡

x

+

d

⁡

y

d

⁡

y

d

⁡

x

0

d

⁡

y

d

⁡

x

+

d

⁡

y

0

d

⁡

x

d

⁡

x

0

d

⁡

x

+

d

⁡

y

d

⁡

y

0

d

⁡

x

d

⁡

y

d

⁡

x

+

d

⁡

y

f

15

0

0

0

0

0

0

0.2

Partial Differentials and Relative Differentials

Partial Differentials and Relative

Differentials

f

∂

⁡

f

∂

⁡

x

∂

⁡

f

∂

⁡

y

d

⁡

f

=

∂

x

⁡

f

⋅

d

⁡

x

+

∂

y

⁡

f

⋅

d

⁡

y

∂

⁡

x

∂

⁡

y

|

f

∂

⁡

y

∂

⁡

x

|

f

f

0

(

)

0

0

0

0

0

f

1

f

2

f

4

f

8

(

x

)

⁢

(

y

)

(

x

)

⁢

y

x

⁢

(

y

)

x

⁢

y

(

y

)

y

(

y

)

y

(

x

)

(

x

)

x

x

(

y

)

d

⁡

x

+

(

x

)

d

⁡

y

y

d

⁡

x

+

(

x

)

d

⁡

y

(

y

)

d

⁡

x

+

x

d

⁡

y

y

d

⁡

x

+

x

d

⁡

y

f

3

f

12

(

x

)

x

1

1

0

0

d

⁡

x

d

⁡

x

f

6

f

9

(

x

,

y

)

(

(

x

,

y

)

)

1

1

1

1

d

⁡

x

+

d

⁡

y

d

⁡

x

+

d

⁡

y

f

5

f

10

(

y

)

y

0

0

1

1

d

⁡

y

d

⁡

y

f

7

f

11

f

13

f

14

(

x

⁢

y

)

(

x

⁢

(

y

)

)

(

(

x

)

⁢

y

)

(

(

x

)

⁢

(

y

)

)

y

(

y

)

y

(

y

)

x

x

(

x

)

(

x

)

y

d

⁡

x

+

x

d

⁡

y

(

y

)

d

⁡

x

+

x

d

⁡

y

y

d

⁡

x

+

(

x

)

d

⁡

y

(

y

)

d

⁡

x

+

(

x

)

d

⁡

y

f

15

(

(

)

)

0

0

0

0

0

Title

differential propositional calculus

: appendix 3

Canonical name

DifferentialPropositionalCalculusAppendix3

Date of creation

2013-03-22 18:09:20

Last modified on

2013-03-22 18:09:20

Owner

Jon Awbrey (15246)

Last modified by

Jon Awbrey (15246)

Numerical id

10

Author

Jon Awbrey (15246)

Entry type

Application

Classification

msc 53A40

Classification

msc 39A12

Classification

msc 34G99

Classification

msc 03B44

Classification

msc 03B42

Classification

msc 03B05

Related topic

DifferentialLogic

Related topic

MinimalNegationOperator

Related topic

PropositionalCalculus

Related topic

ZerothOrderLogic

Generated on Fri Feb 9 22:25:00 2018 by

LaTeXML