JavaScript Crash Course - Master JavaScript in One Video
Master JavaScript fundamentals in one comprehensive video, covering variables, data types, operators, control flow, and functions. Perfect for beginners seeking a solid foundation in modern JavaScript.
Artificial Intelligence: Knowledge Representation and Reasoning
Explore knowledge representation and reasoning in AI, covering logic, rule-based systems, natural language semantics, and advanced topics like circumscription and epistemic logic.
The Ultimate Guide to Propositional Logic for Discrete Mathematics
Comprehensive guide to propositional logic in discrete mathematics, covering key concepts, truth tables, logical equivalence, and practical applications with exercises for reinforced learning.
Math in Real Life
Explore real-world applications of mathematics through engaging riddles, puzzles, and thought experiments. Discover how math shapes our world, from art and nature to technology and everyday life.
Embedded Systems - Design Verification and Test
Explore modeling, design, verification, and testing techniques for embedded systems, covering hardware/software partitioning, scheduling, temporal logic, and fault tolerance.
The Unity Tutorial for Complete Beginners
Comprehensive beginner's guide to Unity game development, covering installation, UI, physics, programming, object spawning, logic, and game creation, with hands-on learning and practical examples.
Philosophy of the Humanities
Explore key philosophical concepts and thinkers in humanities, from logic and scientific reasoning to historical interpretations, hermeneutics, structuralism, and postmodern critiques of truth and language.
Basics of Discrete Mathematics
Explore set theory, relations, functions, counting principles, and propositional logic in this comprehensive introduction to discrete mathematics, essential for computer science and AI.
Artificial Intelligence
Comprehensive exploration of AI fundamentals, covering search algorithms, logic, planning, reasoning under uncertainty, and machine learning techniques like decision trees and neural networks.
Logic and Economic Thinking - Reasoning
Explore logical reasoning, economic concepts, and critical thinking skills through concise explanations of fallacies, biases, investment strategies, and financial theories.
Safety and Liveness of Robot Behaviors
Explore formal methods for designing robots, guaranteeing behavior, and identifying potential issues. Learn about safety and liveness properties in robotic systems, including multi-robot and human-robot interactions.
Divide and Conquer - Concept-based Models for Efficient Transfer Learning
Exploring concept-based interpretable AI models for efficient transfer learning in healthcare, focusing on generalizability and minimal data requirements for domain adaptation in medical imaging.
Introduction to Freshman Organic Chemistry - How Do You Know?
Explore the foundations of scientific inquiry through experimentation and logic, using historical examples to illustrate key principles in organic chemistry and scientific thinking.
Artificial Intelligence
Comprehensive exploration of AI concepts, from search algorithms and logic to planning, expert systems, uncertainty reasoning, fuzzy logic, machine learning, and natural language processing.
An Introduction to Artificial Intelligence
Comprehensive exploration of AI fundamentals, covering search algorithms, game theory, logic, uncertainty, Bayesian networks, and reinforcement learning, with historical context and practical applications.
Fundamentals of Artificial Intelligence
Comprehensive exploration of AI concepts, from problem-solving and search algorithms to knowledge representation, reasoning, planning, decision-making, and various machine learning techniques.
Argument-Making in the Wild
Explore the art of crafting persuasive arguments in real-world contexts, enhancing your ability to communicate effectively and influence others through logical reasoning.
Appealing to Intuitions - The Necessity and Limitations in Mathematics and Ethics
Explore the role of intuitions in reasoning and decision-making, from mathematics to ethics. Discover why we can't eliminate intuitions despite their limitations and paradoxes.
Transformer Expressivity and Formal Logic
Explore the relationship between transformers and formal logic, uncovering their abilities, limitations, and implications for computational models.
The Longest Mathematical Proof Ever: Exploring Schur Number Five
Dive into the world's longest mathematical proof, exploring Schur number five and its 2-petabyte size. Uncover propositional logic, SAT solvers, and proof verification in this fascinating journey.
Privacy-preserving Automated Reasoning
Explore privacy-preserving formal reasoning techniques, including ppSAT solver and zero-knowledge protocols for Boolean formula unsatisfiability, advancing automated verification while maintaining data privacy.