The tutor translates p→q to the boolean expression ¬A or B. In my beginning post about symbolic logic, I mention that the statement p implies q, also stated p→q, has the following truth table: p q p→q 0 0 1 …

Math: symbolic logic meets digital circuits: p→q means ¬A or B Read more »

The tutor shows the quadratic method (pka, characteristic equation) behind 2nd order LDEs w/ constant coefficients. An exponential function of the form y=ekt has the first derivative y’=kekt and second derivative y”=k2ekt Seeing an equation like, for example, y” -3y’ …

How to solve second-order homogeneous linear differential equations w/ constant coefficients: basic idea Read more »

The MINVERSE() function can be tricky to use; the tutor tells how. Example: find the inverse of matrix A: -5 0 1 3 8 9 0 1 0 Solution: Enter the matrix in Excel or LibreOffice Calc. Let’s imagine, for …

Spreadsheets: Matrix inverse on Excel or LibreOffice Calc Read more »

The tutor shows an example to find the equation of a quadratic function from three points. The method is to construct and solve a three-variable linear system. Example: Find the quadratic function that passes through the points (2,17), (6,5), and …

Math: finding a quadratic function from three points when you don’t know the vertex Read more »