Lectures related to Psychology of reasoning

Computer Vision: History Recap & Logistics

Provides an overview of computer vision history and logistics, focusing on neural networks and logical reasoning.

Counterexample to Induction Theorem

Explores a counterexample to the induction principle, demonstrating a property of natural numbers.

Logical Reasoning: Quiz Analysis

Analyzes a quiz on logical reasoning, discussing correct and incorrect answers.

George Boole: Logic and Computers

Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.

Spatial Analysis Processes: Modeling and Essentials

Covers spatial analysis processes, including modeling and essentials.

Rule Systems, Simulations, and Parallel Worlds

Delves into rule systems, simulations, and parallel worlds, exploring Prolog, backtracking algorithms, logic complexity, the Game of Life simulation, and the concept of Simulats.

Real Estate Law: Exam Review and Legal Principles

Focuses on resolving real estate law exam questions and legal principles for effective exam preparation.

Exam Preparation Strategies

Provides exam preparation strategies emphasizing problem-solving approaches and critical thinking in physics.

Programming Thymio with VPL

Explores using VPL to program Thymio robots and addresses students' and teachers' challenges in programming.

Logic in Mathematics: Properties and Propositions

Explores the significance of logic in mathematics and science through properties and propositions.

Quantum Machine Learning: Theory and Applications

Explores quantum machine learning, representations of molecules, kernel regression, and the interplay between physics and machine learning.

Induction for SMT Solvers

Explores techniques for induction in SMT solvers, focusing on CVC4's implementation and competitive performance with other provers.

Assumption of Machine Learning

Explores the philosophy of machine learning and the importance of smoothness assumptions in training sets.

Verifying Programs with Stainless: How Stainless Works

Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.

Transforms of the Place

Explores the intuition behind transforms of the place and addresses audience questions on integral calculations and function choices.

Beliefs: Definition and Mechanisms

Delves into the definition of beliefs, the influence on behavior, classification, and the relationship with science.

Search Algorithms: Abductive Reasoning

Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.

Propositional Logic: Inference Rules

Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.

Propositional Logic: Inference Rules and Valid Arguments

Covers inference rules in propositional logic and common logical fallacies.

Ordinary Differential Equations: Definitions and Methods

Explores ordinary differential equations, proof methods, and historical examples from Euclid, emphasizing logical reasoning and step-by-step derivations.