Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Logical reasoning
Humanities
Philosophy
Epistemology
Reason
Graph Chatbot
Related lectures (31)
Login to filter by course
Login to filter by course
Reset
Exam Preparation Strategies
Provides exam preparation strategies emphasizing problem-solving approaches and critical thinking in physics.
Inductive Propositions: Understanding Evaluation in Coq
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
Propositional Logic: Inference Rules
Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.
Transforms of the Place
Explores the intuition behind transforms of the place and addresses audience questions on integral calculations and function choices.
Assumption of Machine Learning
Explores the philosophy of machine learning and the importance of smoothness assumptions in training sets.
Induction for SMT Solvers
Explores techniques for induction in SMT solvers, focusing on CVC4's implementation and competitive performance with other provers.
Propositional Logic: Inference Rules and Valid Arguments
Covers inference rules in propositional logic and common logical fallacies.
Beliefs: Definition and Mechanisms
Delves into the definition of beliefs, the influence on behavior, classification, and the relationship with science.
Origins of Religious Beliefs
Delves into the origins of religious beliefs, exploring psychological, developmental, and neuroscientific perspectives on faith.
Causal Reasoning in Healthcare: ML Guidelines & Dataset Shifts
Explores causal reasoning in healthcare AI, ML guidelines, dataset shifts, bias impact, and multimodal learning.
Analyse 1: Introduction
Introduces the EPFL MOOC Analyse 1, emphasizing understanding over memorization.
Previous
Page 2 of 2
Next