Lectures related to Propositional Logic

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

Explores real functions, covering parity, periodicity, and polynomial functions.

Explores recursively defined sets, natural numbers, strings, functions, string concatenation, and well-formed formulae.

Covers examples related to the existence of limits of functions.

Covers the estimation of integrals using various propositions and demonstrations.

Covers algebraic operations on limits and their application in limit calculations.

Covers entropy, its definition, and its implications in thermodynamics.

Covers functions, including even and odd functions, periodicity, and function operations.

Explores differentiability, propositions evaluation, and solutions to equations using derivatives.