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
Lecture
Exam Preparation Strategies
Graph Chatbot
Related lectures (31)
Previous
Page 3 of 4
Next
Verifying Programs with Stainless: How Stainless Works
Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.
George Boole: Logic and Computers
Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.
Answering questions with questions
Discusses the strategy of answering every question with a question as a teaching method.
Getting Help in Exercise Sessions
Emphasizes self-preparation, effective communication, and critical thinking in exercise sessions.
Grant Proposal Writing: Tips from Martin Gijs
Explores tips for writing persuasive grant proposals and highlights the importance of balancing scientific detail and accessibility for different audiences.
Induction for SMT Solvers
Explores techniques for induction in SMT solvers, focusing on CVC4's implementation and competitive performance with other provers.
Cognition, Language & Emotions
Explores cognitive biases, emotions, and language evolution, covering memory failures, decision-making heuristics, and the origins of language.
Modern NLP and Ethics in NLP
Delves into advancements and challenges in NLP, along with ethical considerations and potential harms.
Problem Solving Strategies: Math Word Problems
Discusses problem-solving strategies for math word problems and engaging activity design.
A Method for Solving Complex Problems
Introduces a method for solving complex problems, emphasizing the importance of understanding the problem statement accurately.
