Concept
Propositional attitude
Related lectures (33)
Discrete Mathematics: Logic, Structures, Algorithms
Covers the basics of discrete mathematics, including logic, structures, and algorithms.
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.
Differentiability in Analysis
Explores differentiability in analysis, discussing conditions for functions to be differentiable and continuous.
The inhomogeneous Ising chain
Covers the inhomogeneous Ising chain, Gibbs measures, and the Borel-Cantelli lemma.
Variational Calculus: Quasicovexity
Explores quasicovexity in variational calculus, discussing necessary conditions and implications on functional optimization.
Short Coq Tutorial
Offers a tutorial on Coq, covering inductive definitions, recursive functions, propositions, theorems, and tactics.
Propositions as Types: Logic and Programming Correspondence
Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.
Propositional Logic: Examples
Covers interesting facts about propositional logic and Sudoku solving strategies.
Introduction to Euclidean Elements
Introduces Euclidean Elements, discussing logical structure, types of propositions, definitions, common notions, and postulates.