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
Maths Puzzle: Bear Family and Honey
Graph Chatbot
Related lectures (27)
Previous
Page 1 of 3
Next
George Boole: Logic and Computers
Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.
Logic in Mathematics: Properties and Propositions
Explores the significance of logic in mathematics and science through properties and propositions.
International Mathematical and Logical Games Championship
Introduces the International Mathematical and Logical Games Championship, a fun and challenging event for participants aged 8 to 88.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Propositional Logic: Normal Forms and Applications
Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.
Sets and Operations: Introduction to Mathematics
Covers the basics of sets and operations in mathematics, from set properties to advanced operations.
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.
Discrete Mathematics: Logic, Structures, Algorithms
Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.
Discrete Mathematics: Logic & Structures
Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.
Propositional Logic: Basics and Applications
Covers the basics of propositional logic, its history, language, and computing applications.
