Lectures related to Propositional formula

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Discrete Mathematics: Logic & Structures

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Explores finite transition systems, propositional logic, truth interpretation, satisfiability, and boolean function representation with circuits.

Propositional Logic: Basic Logical Connectives

Covers propositions, logical connectives, truth tables, and propositional logic language.

Predicate Logic: Universal and Existential Quantifier

Explains variables, predicates, propositional functions, and quantifiers in predicate logic.

Linear Algebra: Sets and Propositional Language

Covers sets, propositional language, reading, writing, containment, and cardinality.

Untitled

Jordan Curve Theorem

Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.

Untitled

Propositional Logic: Normal Forms

Explains constructing DNF and CNF in propositional logic and their complexity.

Introduction & Propositional Logic

Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.

Counter-example of basic condition

Explores the basic counter-example of a condition's insufficiency for series representation.

Discrete Mathematics: Logic, Structures, Algorithms

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

Predicate Logic: Basics and Applications

Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.

Sets and Operations: Introduction to Mathematics

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Subgroups Criteria: Propositions and Examples

Covers the criteria for subgroups and provides examples and proofs.

Coordinate Calculations: Scalar Product in Coordinates

Covers the calculation of scalar products in coordinates and extends the concept to three-dimensional space.

The Discriminant and Ideal Class Group in Mathematics

Explores the discriminant in matrices, ideal class groups, and optimal embeddings in mathematics.

Stability of Networked Control Systems

Explores the stability analysis of Networked Control Systems under stochastic packet dropouts, emphasizing mean-square stability and practical implications.