Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Propositional Logic

Showing: 26 courses
NPTEL

Artificial Intelligence: Knowledge Representation and Reasoning

3 rewiews
Explore knowledge representation and reasoning in AI, covering logic, rule-based systems, natural language semantics, and advanced topics like circumscription and epistemic logic.
Add to list
72 Lesons
1 day 15 hours
On-Demand
Free-Video
TrevTutor

The Ultimate Guide to Propositional Logic for Discrete Mathematics

2 rewiews
Comprehensive guide to propositional logic in discrete mathematics, covering key concepts, truth tables, logical equivalence, and practical applications with exercises for reinforced learning.
Add to list
14 Lesons
54 minutes
On-Demand
Free-Video
Great Learning

Basics of Discrete Mathematics

1 rewiews
Explore set theory, relations, functions, counting principles, and propositional logic in this comprehensive introduction to discrete mathematics, essential for computer science and AI.
Add to list
31 Lesons
3 hours 42 minutes
On-Demand
Free-Video
Stanford University

Safety and Liveness of Robot Behaviors

0 rewiews
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.
Add to list
15 Lesons
58 minutes
On-Demand
Free-Video
Dr Trefor Bazett

The Longest Mathematical Proof Ever: Exploring Schur Number Five

0 rewiews
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.
Add to list
8 Lesons
20 minutes
On-Demand
Free-Video
Conference on Computer-Aided Verification

Privacy-preserving Automated Reasoning

0 rewiews
Explore privacy-preserving formal reasoning techniques, including ppSAT solver and zero-knowledge protocols for Boolean formula unsatisfiability, advancing automated verification while maintaining data privacy.
Add to list
1 Lesons
1 hour 16 minutes
On-Demand
Free-Video

Mathematical Logic

0 rewiews
Explore statements, propositions, connectives, truth tables, tautology, and contradiction in mathematical logic.
Add to list
3 Lesons
30 minutes
On-Demand
Free-Video
Kimberly Brehm

Discrete Math I

0 rewiews
Comprehensive exploration of discrete mathematics, covering logic, sets, functions, algorithms, number theory, induction, counting, probability, relations, and graphs with practical applications.
Add to list
80 Lesons
19 hours
On-Demand
Free-Video

Maths Chapter 1 University Freshman

0 rewiews
Explore propositional logic, compound propositions, tautologies, and contradictions in this comprehensive introduction to mathematical reasoning for university freshmen.
Add to list
3 Lesons
1 hour 30 minutes
On-Demand
Free-Video
Simons Institute

The Limits of Proof

0 rewiews
Explore proof systems, from classical logic to modern computational approaches, examining their strengths, limitations, and applications in mathematics and computer science.
Add to list
31 Lesons
56 minutes
On-Demand
Free-Video
Insights into Mathematics

The Holy Grail of Propositional Logic - MathFoundations - N J Wildberger

0 rewiews
Explore mechanized reasoning in propositional logic through Boole's Algebra, featuring two solutions to a Sir Galahad puzzle: Boole Reduction and Boole-Mobius transform.
Add to list
8 Lesons
28 minutes
On-Demand
Free-Video
Insights into Mathematics

Replacing Truth Tables and Boolean Equivalences - N J Wildberger

0 rewiews
Explore the Algebra of Boole as a mathematical framework for propositional logic, replacing truth tables with simpler computations using 0's and 1's to verify logical statements.
Add to list
6 Lesons
35 minutes
On-Demand
Free-Video
Insights into Mathematics

Propositional Logic and the Algebra of Boole - N J Wildberger

0 rewiews
Overview of propositional logic, exploring atomic statements, connectives, truth values, and techniques for analysis. Covers tautologies, contradictions, truth tables, and equivalences, with a focus on Boole's algebraic approach.
Add to list
9 Lesons
33 minutes
On-Demand
Free-Video
Insights into Mathematics

Inference Rules via the Algebra of Boole - MathFoundations 275

0 rewiews
Explore propositional logic inference rules using Boolean algebra, simplifying complex logical concepts and eliminating the need for memorization. Includes application to a Lewis Carroll puzzle.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
Insights into Mathematics

Aristotle's Syllogisms Revisited with the Algebra of Boole - MathFoundations 280

0 rewiews
Explore Aristotle's syllogisms through modern propositional logic and Boolean algebra, offering new insights into classical reasoning and its contemporary applications.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
NCCR SwissMAP

An Introduction to Mathematical Logic

0 rewiews
Explore fundamental concepts of mathematical logic, including propositional calculus, first-order logic, and formal reasoning techniques.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Paul G. Allen School

Money, Circuits, Mythic Figures, and More - Theory in the Allen School

0 rewiews
Diverse theoretical computer science research: algorithms, data structures, complexity, combinatorics, and economics. Insights from UW Allen School's theory group on cutting-edge topics.
Add to list
19 Lesons
53 minutes
On-Demand
Free-Video
Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Deductive Systems

0 rewiews
Explore deductive systems in theoretical computer science, covering topics like Hilbert's 10th problem, binary trees, propositional logic, and logical equivalence.
Add to list
17 Lesons
1 hour 22 minutes
On-Demand
Free-Video
CppNow

Trees for Logic and Parsing in C++

0 rewiews
Explore efficient implementation of recursive tree-types in C++ for logic and parsing, with insights on construction, inspection, and replacement of subtrees.
Add to list
31 Lesons
1 hour 25 minutes
On-Demand
Free-Video
Scala Days Conferences

The Essence of Testing

0 rewiews
Explore the core principles of software testing, focusing on ScalaTest's evolution, propositional and predicate logic, and property-based testing advancements.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
NPTEL-NOC IITM

Logical Reasoning: Deductive Logic - Part 1

0 rewiews
Explore inductive reasoning, propositional logic, and probabilistic inductive reasoning methods to enhance logical thinking and problem-solving skills.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
Neuro Symbolic

Introduction to Propositional Logic for AI

0 rewiews
Explore propositional logic fundamentals, including syntax, semantics, and key concepts for AI applications. Gain insights into logic programming and its role in neuro-symbolic AI.
Add to list
11 Lesons
18 minutes
On-Demand
Free-Video
Neuro Symbolic

Inference in Propositional Logic: From Basics to Lattice Theory Applications

0 rewiews
Explore propositional logic inference, including lattice theory and fixpoint operators for entailment queries. Gain insights into logic programming and knowledge reasoning fundamentals.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
NPTEL-NOC IITM

Logical Reasoning: Inductive Logic - Lecture 7

0 rewiews
Explore inductive reasoning, propositional logic, and probabilistic inductive reasoning to enhance your logical thinking skills and problem-solving abilities.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
Neuro Symbolic

Introduction to Propositional Logic

0 rewiews
Explore propositional logic fundamentals: atoms, operators, truth tables, natural language meaning, and inference rules for enhanced logical reasoning skills.
Add to list
6 Lesons
36 minutes
On-Demand
Free-Video
Simons Institute

Automated Functional Synthesis: An Ideal Meeting Ground for Symbolic Reasoning and Machine Learning

0 rewiews
Explores Manthan, a data-driven approach combining machine learning and symbolic reasoning to improve scalability in functional synthesis, viewing it as a classification problem.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video