Translating HOL-Light Proofs to Coq
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.
A Quick and Partial Survey on the Complexity of Query Answering
Explore the complexity of query answering in this survey, covering key concepts and recent developments in discrete mathematics and logic.
Differential Categories
Explorez les catégories différentielles et leur application en logique linéaire différentielle dans cette conférence mathématique approfondie.
Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 01
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.
Tame Control Theory
Explore tame geometry in control theory, covering basic definitions, motivation, logic, and vector fields. Gain insights into descriptive set theory and generic structures.
AI and Cybersecurity - The Twain Shall Meet
Explore AI's role in cybersecurity, focusing on advanced persistent threats, intrusion detection systems, and vulnerability analysis using ontologies and reasoning techniques.
Feedback Control Theory - Architectures and Tools for Real-Time Decision Making II
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.
Solving Infinite-State Games via Acceleration
Explore novel symbolic semi-algorithms for solving infinite-state games with temporal winning conditions, introducing acceleration techniques to enhance fixpoint-based game-solving methods.
Solving Two-Player Games under Progress Assumptions
Explore solving infinite two-player games with progress assumptions in cyber-physical system design. Analyze complexity classes and efficient algorithms for augmented games.
The True Colors of Memory - A Tour of Chromatic-Memory Strategies in Zero-Sum Games
Explore chromatic-memory strategies in zero-sum games with Patricia Bouyer. Delve into discrete mathematics and logic, bridging pure mathematics and computer science concepts.
A Synthesis of Logical Reasoning and Word Learning Abilities in Children and Adults - 2007
Explore the connection between word learning and logical reasoning in young children, challenging prevailing views on language acquisition and cognitive development.
Introduction to Cognitive Science - Part 1 - Lecture 11
Explore cognitive science fundamentals, including natural language tasks, reasoning, and knowledge representation, with insights on large language models and behavioral experiments.
Reverse-Mathematical Reconsideration of Lower-Level Borel Games
Explore determinacy strength of Gale-Stewart games through Reverse Mathematics, examining collapse phenomena in boolean combinations of Fσ sets and their implications.
Solving Impossible Puzzles - Math Logic and Games
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.
Voting & the Electoral College - Logic, Riddles, & Paradoxes in Math and History
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.
Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University
Explore a declarative framework for machine learning using logic-defined hypotheses, discussing learnability results for various logics over strings, trees, and graphs.
CirC - Compiler Infrastructure for Proof Systems, Software Verification, and More
Explore compiler infrastructure for proof systems and software verification, focusing on CirC's capabilities, multiparty computation, and potential applications in various domains.
The Limits of Proof
Explore proof systems, from classical logic to modern computational approaches, examining their strengths, limitations, and applications in mathematics and computer science.
The Holy Grail of Propositional Logic - MathFoundations - N J Wildberger
Explore mechanized reasoning in propositional logic through Boole's Algebra, featuring two solutions to a Sir Galahad puzzle: Boole Reduction and Boole-Mobius transform.
A Systematic Approach to Logical Deduction and the Boole-Mobius Transform II - N J Wildberger
Explore the Boole-Mobius transform as an alternative method for validating propositional logic implications, linking Boolean functions and Boole polynumbers through practical examples.
Replacing Truth Tables and Boolean Equivalences - N J Wildberger
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.