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

#Logic

#Propositional Logic #Truth-tables #Temporal Logic #First-Order Logic #Deductive Reasoning #Formal Logic #Syllogisms #Proof Theory
Showing: 272 courses
JavaScript Mastery

JavaScript Crash Course - Master JavaScript in One Video

5 rewiews
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.
Add to list
7 Lesons
2 hours 9 minutes
On-Demand
Free-Video
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
TED-Ed

Math in Real Life

1 rewiews
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.
Add to list
87 Lesons
8 hours
On-Demand
Free-Video
NPTEL

Embedded Systems - Design Verification and Test

1 rewiews
Explore modeling, design, verification, and testing techniques for embedded systems, covering hardware/software partitioning, scheduling, temporal logic, and fault tolerance.
Add to list
38 Lesons
1 day 8 hours
On-Demand
Free-Video

The Unity Tutorial for Complete Beginners

1 rewiews
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.
Add to list
12 Lesons
47 minutes
On-Demand
Free-Video
Leiden University

Philosophy of the Humanities

1 rewiews
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.
Add to list
26 Lesons
4 hours 30 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
NPTEL

Artificial Intelligence

1 rewiews
Comprehensive exploration of AI fundamentals, covering search algorithms, logic, planning, reasoning under uncertainty, and machine learning techniques like decision trees and neural networks.
Add to list
28 Lesons
1 day 4 hours
On-Demand
Free-Video

Logic and Economic Thinking - Reasoning

1 rewiews
Explore logical reasoning, economic concepts, and critical thinking skills through concise explanations of fallacies, biases, investment strategies, and financial theories.
Add to list
68 Lesons
1 hour 30 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
Stanford University

Divide and Conquer - Concept-based Models for Efficient Transfer Learning

0 rewiews
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.
Add to list
1 Lesons
1 hour
On-Demand
Free-Video
Yale University

Introduction to Freshman Organic Chemistry - How Do You Know?

0 rewiews
Explore the foundations of scientific inquiry through experimentation and logic, using historical examples to illustrate key principles in organic chemistry and scientific thinking.
Add to list
5 Lesons
47 minutes
On-Demand
Free-Video
NPTEL

Artificial Intelligence

0 rewiews
Comprehensive exploration of AI concepts, from search algorithms and logic to planning, expert systems, uncertainty reasoning, fuzzy logic, machine learning, and natural language processing.
Add to list
40 Lesons
1 day 14 hours
On-Demand
Free-Video
NPTEL

An Introduction to Artificial Intelligence

0 rewiews
Comprehensive exploration of AI fundamentals, covering search algorithms, game theory, logic, uncertainty, Bayesian networks, and reinforcement learning, with historical context and practical applications.
Add to list
98 Lesons
1 day 8 hours
On-Demand
Free-Video
NPTEL

Fundamentals of Artificial Intelligence

0 rewiews
Comprehensive exploration of AI concepts, from problem-solving and search algorithms to knowledge representation, reasoning, planning, decision-making, and various machine learning techniques.
Add to list
35 Lesons
1 day 1 hour
On-Demand
Free-Video
Santa Fe Institute

Argument-Making in the Wild

0 rewiews
Explore the art of crafting persuasive arguments in real-world contexts, enhancing your ability to communicate effectively and influence others through logical reasoning.
Add to list
1 Lesons
1 hour 16 minutes
On-Demand
Free-Video
Santa Fe Institute

Appealing to Intuitions - The Necessity and Limitations in Mathematics and Ethics

0 rewiews
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.
Add to list
23 Lesons
1 hour 22 minutes
On-Demand
Free-Video
Simons Institute

Transformer Expressivity and Formal Logic

0 rewiews
Explore the relationship between transformers and formal logic, uncovering their abilities, limitations, and implications for computational models.
Add to list
1 Lesons
46 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

Verbal Reasoning for NTA-UGC NET

0 rewiews
Comprehensive verbal reasoning preparation for NTA-UGC NET Paper 1, covering key concepts, practice questions, and exam strategies to enhance logical thinking skills.
Add to list
28 Lesons
17 hours
On-Demand
Free-Video

UGC NET-JRF - Logical Reasoning

0 rewiews
You will learn about types of definitions, squares of opposition, inductive and deductive reasoning, types of arguments, deductive argument, means of knowledge, syllogism, strategies, and much more.
Add to list
16 Lesons
6 hours
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
Serious Science

Mathematics

0 rewiews
Explore fundamental concepts in mathematics, logic, and decision theory through expert lectures on topics like prime numbers, paradoxes, group theory, and neural networks.
Add to list
12 Lesons
2 hours 30 minutes
On-Demand
Free-Video
Serious Science

Philosophy

0 rewiews
Explore diverse philosophical topics from ethics and logic to neuroscience and religion with expert lectures on key concepts, debates, and thinkers throughout history.
Add to list
32 Lesons
7 hours
On-Demand
Free-Video
The Bright Side of Mathematics

Start Learning Mathematics

0 rewiews
Comprehensive introduction to mathematical foundations, covering logic, set theory, number systems, real numbers, and complex numbers with a focus on rigorous definitions and proofs.
Add to list
30 Lesons
4 hours 30 minutes
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

Basic Concepts of Logic University Freshman

0 rewiews
Explore fundamental logic concepts, including argument recognition, conditional statements, and evaluating deductive and inductive arguments for Ethiopian university freshmen.
Add to list
7 Lesons
3 hours 30 minutes
On-Demand
Free-Video

Informal Fallacy Logic

0 rewiews
Explore informal fallacies in logic, including appeal to people, straw man arguments, hasty generalizations, and more. Enhance critical thinking and argument analysis skills.
Add to list
13 Lesons
6 hours
On-Demand
Free-Video
The Organic Chemistry Tutor

Logic Gates, Truth Tables, Boolean Algebra - AND, OR, NOT, NAND & NOR

0 rewiews
Comprehensive introduction to digital logic fundamentals, covering gates, truth tables, and Boolean algebra. Ideal for electronics beginners and college students in logic design.
Add to list
15 Lesons
54 minutes
On-Demand
Free-Video

Logic 101 MOOC

0 rewiews
Master sentential logic through comprehensive lessons on simple sentences, compound statements, truth tables, logical rules, and proof strategies.
Add to list
50 Lesons
4 hours 30 minutes
On-Demand
Free-Video

Discrete Math 1

0 rewiews
Explore fundamental concepts in discrete mathematics, including set theory, logic, counting, functions, number theory, and formal languages. Develop problem-solving skills through proofs and practical examples.
Add to list
71 Lesons
12 hours
On-Demand
Free-Video

Reasoning Foundation Batch for Bank Exams

0 rewiews
Comprehensive reasoning preparation for banking exams, covering syllogism, inequalities, coding-decoding, blood relations, puzzles, and more through expert-led video lessons.
Add to list
57 Lesons
2 days 1 hour
On-Demand
Free-Video
Unacademy

Complete Reasoning for Prelims

0 rewiews
In this course, Shyam Asare teaches you important topics for Complete Reasoning for Prelims, and his various preparation strategies, along with examples, to help you crack bank exams.
Add to list
76 Lesons
3 days 4 hours
On-Demand
Free-Video

Reasoning Bank by Deepak Sir

0 rewiews
Comprehensive reasoning preparation for IBPS PO/Clerk exams, covering syllogism, puzzles, seating arrangements, and more. Enhance logical skills for competitive exams.
Add to list
82 Lesons
2 days 15 hours
On-Demand
Free-Video
Institute for Advanced Study

A Brief Tour of Proof Complexity - Lower Bounds and Open Problems - Toniann Pitassi

0 rewiews
Explore proof complexity, lower bounds, and open problems in computer science and discrete mathematics with insights on proof systems and their limitations.
Add to list
12 Lesons
1 hour 46 minutes
On-Demand
Free-Video
TEDx

Despre Veritabilitate - Filosofie, Iubire și Viață

0 rewiews
O explorare profundă a filosofiei, iubirii și vieții de către profesorul Gabriel Săndoiu, inspirând generații de elevi să caute cunoașterea și să dezvolte gândirea critică.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
5 Minutes Engineering

Discrete Mathematics Fundamentals - A Comprehensive 4-Hour Course in Hindi

0 rewiews
Comprehensive overview of discrete mathematics concepts, including set theory, logic, graph theory, and number theory, explained in Hindi for engineering students.
Add to list
1 Lesons
4 hours 36 minutes
On-Demand
Free-Video
IMSA

Mathematics in the Talmud - The Case of the Three Widows

0 rewiews
Explore mathematical concepts in the Talmud through the intriguing case of three widows, presented by Nobel laureate Prof. Yisrael Aumann.
Add to list
1 Lesons
48 minutes
On-Demand
Free-Video
TEDx

Series Lógicas y Crímenes en Serie - Anticipando Patrones en Ciencia y Literatura

0 rewiews
Exploración fascinante de la intersección entre lógica matemática y narrativa criminal, cuestionando la previsibilidad de patrones en series y literatura.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Translating HOL-Light Proofs to Coq

0 rewiews
Découvrez la traduction des preuves HOL-Light vers Coq, explorant les défis et solutions pour la vérification formelle entre systèmes logiques différents.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

A Quick and Partial Survey on the Complexity of Query Answering

0 rewiews
Explore the complexity of query answering in this survey, covering key concepts and recent developments in discrete mathematics and logic.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Differential Categories

0 rewiews
Explorez les catégories différentielles et leur application en logique linéaire différentielle dans cette conférence mathématique approfondie.
Add to list
1 Lesons
1 hour 29 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 01

0 rewiews
Explore fundamentos de computação, lógica e teoria dos conjuntos em aula de mestrado. Aborde linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
1 hour 48 minutes
On-Demand
Free-Video
Fields Institute

Tame Control Theory

0 rewiews
Explore tame geometry in control theory, covering basic definitions, motivation, logic, and vector fields. Gain insights into descriptive set theory and generic structures.
Add to list
18 Lesons
48 minutes
On-Demand
Free-Video
CAE in Cybersecurity Community

AI and Cybersecurity - The Twain Shall Meet

0 rewiews
Explore AI's role in cybersecurity, focusing on advanced persistent threats, intrusion detection systems, and vulnerability analysis using ontologies and reasoning techniques.
Add to list
8 Lesons
48 minutes
On-Demand
Free-Video
Simons Institute

Feedback Control Theory - Architectures and Tools for Real-Time Decision Making II

0 rewiews
Explore advanced control systems, design patterns, and optimization techniques for real-time decision making in complex systems. Learn about PID control, robustness, and temporal logic.
Add to list
19 Lesons
1 hour 17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Solving Infinite-State Games via Acceleration

0 rewiews
Explore novel symbolic semi-algorithms for solving infinite-state games with temporal winning conditions, introducing acceleration techniques to enhance fixpoint-based game-solving methods.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Solving Two-Player Games under Progress Assumptions

0 rewiews
Explore solving infinite two-player games with progress assumptions in cyber-physical system design. Analyze complexity classes and efficient algorithms for augmented games.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

The True Colors of Memory - A Tour of Chromatic-Memory Strategies in Zero-Sum Games

0 rewiews
Explore chromatic-memory strategies in zero-sum games with Patricia Bouyer. Delve into discrete mathematics and logic, bridging pure mathematics and computer science concepts.
Add to list
1 Lesons
1 hour 3 minutes
On-Demand
Free-Video
Center for Language & Speech Processing(CLSP), JHU

A Synthesis of Logical Reasoning and Word Learning Abilities in Children and Adults - 2007

0 rewiews
Explore the connection between word learning and logical reasoning in young children, challenging prevailing views on language acquisition and cognitive development.
Add to list
1 Lesons
1 hour 11 minutes
On-Demand
Free-Video
AI Institute at UofSC - #AIISC

Introduction to Cognitive Science - Part 1 - Lecture 11

0 rewiews
Explore cognitive science fundamentals, including natural language tasks, reasoning, and knowledge representation, with insights on large language models and behavioral experiments.
Add to list
15 Lesons
1 hour 42 minutes
On-Demand
Free-Video
BIMSA

Reverse-Mathematical Reconsideration of Lower-Level Borel Games

0 rewiews
Explore determinacy strength of Gale-Stewart games through Reverse Mathematics, examining collapse phenomena in boolean combinations of Fσ sets and their implications.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Wondrium

Solving Impossible Puzzles - Math Logic and Games

0 rewiews
Explore mathematical logic to solve classic puzzles like the 15 Puzzle and Peg Solitaire. Learn strategies, understand common features, and discover how to approach seemingly impossible challenges using math principles.
Add to list
9 Lesons
45 minutes
On-Demand
Free-Video
Wondrium

Voting & the Electoral College - Logic, Riddles, & Paradoxes in Math and History

0 rewiews
Explore paradoxical election outcomes, Arrow's impossibility theorem, and the Electoral College system. Analyze voting methods, mathematical proofs, and counterintuitive results in political decision-making.
Add to list
9 Lesons
30 minutes
On-Demand
Free-Video
Alan Turing Institute

Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University

0 rewiews
Explore a declarative framework for machine learning using logic-defined hypotheses, discussing learnability results for various logics over strings, trees, and graphs.
Add to list
21 Lesons
45 minutes
On-Demand
Free-Video
IEEE

CirC - Compiler Infrastructure for Proof Systems, Software Verification, and More

0 rewiews
Explore compiler infrastructure for proof systems and software verification, focusing on CirC's capabilities, multiparty computation, and potential applications in various domains.
Add to list
12 Lesons
19 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

A Systematic Approach to Logical Deduction and the Boole-Mobius Transform II - N J Wildberger

0 rewiews
Explore the Boole-Mobius transform as an alternative method for validating propositional logic implications, linking Boolean functions and Boole polynumbers through practical examples.
Add to list
6 Lesons
27 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
Association for Computing Machinery (ACM)

Turing Award Recipient Dana S. Scott - Reflections on Logic and Computer Science - Part 4

0 rewiews
Explore Dana S Scott's contributions to computer science, including his work on LCF, Scott Domains, and Category Theory Type Theory, in this insightful interview segment.
Add to list
12 Lesons
50 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Graham Leigh: On the Computational Content of Classical Sequent Calculus

0 rewiews
Explore computational interpretations of classical logic through Herbrand's Theorem, focusing on a language-theoretic representation using higher-order recursion schemes in classical sequent calculus.
Add to list
9 Lesons
35 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Constructive Mathematics in Univalent Type Theory

0 rewiews
Explore constructive mathematics within univalent type theory, delving into advanced concepts and their applications in modern mathematical foundations.
Add to list
1 Lesons
1 hour
On-Demand
Free-Video
Hausdorff Center for Mathematics

An Introduction to Tensorial Logic and Dialogue Categories

0 rewiews
An introduction to tensorial logic, exploring its relationship with dialogue games and categories. Refines linear logic and provides insights into dialogical interpretations of proofs and programs.
Add to list
1 Lesons
33 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Cyclic Modal Proofs

0 rewiews
Exploring cyclic proof theory for modal fixed point logic, its applications in deriving completeness results, and its advantages over traditional finite tree proofs in applied logic.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
Fields Institute

What Makes a Proof Acceptable?

0 rewiews
Explore the criteria for acceptable mathematical proofs, examining rigor, clarity, and convincing arguments in this thought-provoking lecture by Andrew Granville.
Add to list
1 Lesons
1 hour 11 minutes
On-Demand
Free-Video
Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 2

0 rewiews
Explore advanced algebraic structures in logic and their applications to database query evaluation, building on fundamental concepts.
Add to list
1 Lesons
1 hour 5 minutes
On-Demand
Free-Video
Simons Institute

Logic and Probabilistic Circuits - Lecture 1

0 rewiews
Explore logical reasoning and probabilistic modeling techniques, focusing on their applications in database theory and artificial intelligence.
Add to list
1 Lesons
1 hour 5 minutes
On-Demand
Free-Video
Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 1

0 rewiews
Explore algebraic structures' role in logic and query evaluation, focusing on their applications in database theory and AI algorithms.
Add to list
1 Lesons
1 hour 6 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

A Brief History of Logic: From Leibniz to Boole - Math Foundations 254

0 rewiews
Explore the evolution of logic from Leibniz to Boole, covering key thinkers and innovations in systematic reasoning, diagram representations, and the introduction of mathematics to classical logic.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
Insights into Mathematics

A Brief History of Logic: Aristotle and Deduction - Math Foundations 251

0 rewiews
Explore Aristotle's foundational work in logic, including syllogisms, logical forms, and deductive reasoning, tracing its development from ancient Greece to its lasting impact on modern philosophy.
Add to list
8 Lesons
29 minutes
On-Demand
Free-Video
Simons Institute

Semiring Semantics

0 rewiews
Explore semiring semantics in logic, evaluating statements with values beyond true/false. Learn applications in database queries, provenance analysis, and extensions to various logical systems.
Add to list
1 Lesons
1 hour 6 minutes
On-Demand
Free-Video
Simons Institute

Consistency, Acyclicity, and Positive Semirings

0 rewiews
Explore local vs. global consistency in probability distributions and relational databases, generalizing results using K-relations over positive semirings and acyclic hypergraphs.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
Write your own Operating System

Gödel's Proof of God - A Logician's Perspective

0 rewiews
Explore Gödel's ontological argument for God's existence through a logician's lens, examining key concepts and the proof's structure.
Add to list
9 Lesons
37 minutes
On-Demand
Free-Video
Simons Institute

An Approximate Skolem Function Counter

0 rewiews
Explores an algorithm for counting Skolem functions in quantified Boolean formulas, addressing challenges in synthesis problems and providing PAC guarantees for approximate counting.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
Strange Loop Conference

War Time Proofs and Futuristic Programs

0 rewiews
Exploring Gödel's Dialectica interpretation and its connection to linear logic type theory, revealing how past mathematical ideas influence modern programming languages and type systems.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
Simons Institute

Compiling FO Sentences to Circuits - Upper Bounds and Lower Bounds on the Size of the Circuit

0 rewiews
Explores compilation of Boolean formulas into circuits, focusing on provenance of FO sentences. Examines size complexity and limitations of various circuit types for model counting.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
Simons Institute

Algorithmic Aspects of Semiring Provenance for Stratified Datalog

0 rewiews
Explores semiring provenance for stratified datalog, focusing on efficient computation of greatest fixed points in absorptive semirings and circuit representations for polynomial annotations.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
Simons Institute

Logical Interfaces to Data, Beyond Views

0 rewiews
Explores alternative interfaces to data beyond views, discussing query-answering specifications and instance interchangeability for user classes. Examines convertibility between interface types.
Add to list
1 Lesons
35 minutes
On-Demand
Free-Video
Simons Institute

Circuits for Querying Trees - A Little Survey

0 rewiews
Explore tree querying via automata and knowledge compilation, covering efficient solutions for enumeration and probabilistic evaluation, along with their limitations.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
Simons Institute

Datalog and Equality Saturation

0 rewiews
Explore connections between Datalog and equality saturation, covering applications, relationships to the chase, and new query evaluation techniques for optimized compiler design.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
Tom Rocks Maths

Playing Lewis Carroll's Game of Logic on the Original 150-Year-Old Board

0 rewiews
Oxford mathematicians explore Lewis Carroll's 150-year-old Game of Logic, deciphering rules and playing on the original board. A unique blend of history, logic, and mathematical curiosity.
Add to list
1 Lesons
57 minutes
On-Demand
Free-Video
Simons Institute

Algebraic Structures in Logic and Query Evaluation - Lecture 3

0 rewiews
Explore algebraic structures in logic and query evaluation, focusing on advanced concepts and their applications in database theory and AI.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 4

0 rewiews
Explore algebraic structures' role in logic and query evaluation, focusing on advanced concepts and their applications in database theory and AI.
Add to list
1 Lesons
1 hour 8 minutes
On-Demand
Free-Video
Neurosymbolic Programming for Science

Model-Based Reasoning in Neurosymbolic Programming for Science

0 rewiews
Explore model-based reasoning techniques and their applications in neurosymbolic programming for scientific problem-solving.
Add to list
1 Lesons
43 minutes
On-Demand
Free-Video
ACM SIGPLAN

Deciding Asynchronous Hyperproperties for Recursive Programs

0 rewiews
Explore a novel logic for asynchronous hyperproperties, enhancing model checking for recursive programs. Gain insights into temporal logic, automata theory, and pushdown systems.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Orthologic with Axioms - Proof Theory and Algorithms

0 rewiews
Explore orthologic with axioms, its proof theory, and algorithms. Discover generalized ortholattice reasoning and its applications in verification condition simplification and normalization.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Interpolation and Quantifiers in Ortholattices

0 rewiews
Explore quantifiers and interpolation in orthologic, examining proof systems, quantifier elimination, and efficient interpolant computation for verification algorithms.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

Complete First-Order Reasoning for Properties of Functional Programs - OOPSLA 2023

0 rewiews
Explore complete first-order reasoning for functional program properties, uncovering theoretical foundations of verification tools and explaining their efficacy, limitations, and user assistance role.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Logic and Decidability in Programming Languages - Session Preview II

0 rewiews
Explore logic and decidability in programming languages. Gain insights into theories of arithmetic, linear real rings, and state machines. Discover new minimization algorithms and their applications.
Add to list
13 Lesons
11 minutes
On-Demand
Free-Video
ACM SIGPLAN

Finding Infinite Counter-Models in Deductive Verification

0 rewiews
Explore innovative techniques for finding infinite counter-models in deductive verification, enhancing automated solvers' capabilities and providing valuable insights for verification failures.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
TEDx

Principles of Mathematical Thinking for Everyday Life

1 rewiews
Discover key principles of mathematical thinking for everyday life from Fields Medal winner Pierre-Louis Lions, with insights for aspiring mathematicians and math educators.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
Insights into Mathematics

Sets, Logic and Graphs - Math Terminology - NJ Wildberger

0 rewiews
Review of high school math language and notation for sets, logic, and basic graph theory. Covers key concepts like union, intersection, subsets, logical statements, and graph circuits, providing essential foundations for advanced mathematics.
Add to list
7 Lesons
38 minutes
On-Demand
Free-Video
Insights into Mathematics

Measuring Weight - Elementary Mathematics Explained

0 rewiews
Explore the fundamentals of weight measurement, from ancient techniques to modern systems. Learn about scales, metric units, and practical applications in everyday life and science.
Add to list
6 Lesons
37 minutes
On-Demand
Free-Video
Insights into Mathematics

Boolean Algebra and Shannon's Circuit Analysis - Math Foundations - N J Wildberger

0 rewiews
Explores Boolean algebra's connection to circuit analysis, focusing on Huntington's formulation and Shannon's groundbreaking 1938 paper linking the two fields.
Add to list
7 Lesons
25 minutes
On-Demand
Free-Video