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

#First-Order Logic

Showing: 19 courses
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
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
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
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
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

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
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

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
Fields Institute

Buchi Automata and Fractals on R

0 rewiews
Explore Buchi automata and fractals on R, covering regular languages, model theory, and first-order logic. Gain insights into sparse sets and omega languages in this mathematical journey.
Add to list
7 Lesons
25 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Beautiful Pairs Revisited

0 rewiews
Explore the concept of beautiful pairs in model theory, revisiting key ideas and applications in valued fields.
Add to list
1 Lesons
56 minutes
On-Demand
Free-Video
BIMSA

On A Finitary Formal Meta-theory of Meta-mathematics - ICBS 2024

0 rewiews
Explore a finitary formal meta-theory of meta-mathematics, merging Cantor, Frege, and Zermelo's ideas. Examine formal deductions, predicative definitions, and finitary methods in set theory and logic.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
BIMSA

Infinitary Combinatorics and Finitary Arithmetic

0 rewiews
Explore recent developments in characterizing Ramsey-type combinatorial principles within reverse mathematics, focusing on proof-theoretic strength analysis.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
Graham Neubig

Neural Nets for NLP 2018 - Neural Semantic Parsing

0 rewiews
Explore neural semantic parsing techniques, including tree-based models, code generation, weakly supervised learning, and various meaning representations. Learn about graph structures and neural approaches to semantic role labeling.
Add to list
19 Lesons
59 minutes
On-Demand
Free-Video
Neuro Symbolic

First Order Logic (FOL) Tutorial - Predicate Calculus and Knowledge Reasoning

0 rewiews
Explore first-order logic fundamentals: predicates, constants, variables, quantification, and graphical representations. Essential for knowledge reasoning and logic programming.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Pseudofinite Omega-Categorical Groups

0 rewiews
Delve into advanced mathematical concepts exploring pseudofinite omega-categorical groups, featuring insights on model theory and its applications to group theory and combinatorics.
Add to list
1 Lesons
55 minutes
On-Demand
Free-Video
Simons Institute

Ramsey Quantifiers in First-Order Logic - Complexity and Applications to Verification

0 rewiews
Exploring Ramsey quantifiers in first-order logic, their complexity, and applications to verification, with focus on liveness and termination in infinite-state systems.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Algebra vs Logic over Generalized Words

0 rewiews
Explore algebraic and logical perspectives on generalized words, comparing approaches and examining key concepts in discrete mathematics and theoretical computer science.
Add to list
17 Lesons
1 hour 6 minutes
On-Demand
Free-Video