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
Concept
Universal quantification
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (31)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 4
Next
Linear Algebra: Properties and Propositions
Explores the link between properties and variables, including contraries and propositions.
Sets and Operations: Introduction to Mathematics
Covers the basics of sets and operations in mathematics, from set properties to advanced operations.
Physics-guided NMF for STEM/EDXS Data Analysis
Explores Physics-guided NMF for STEM/EDXS data analysis, covering challenges, optimization, constraints, and advantages of the modelization.
Surface States in Mechanical Construction
Discusses the significance of surface states in mechanical construction and their impact on functionality.
Predicate Logic: Universal and Existential Quantifier
Explains variables, predicates, propositional functions, and quantifiers in predicate logic.
Inelastic Scattering in Transmission Electron Microscopy
Introduces inelastic scattering in transmission electron microscopy, focusing on electron energy-loss spectroscopy principles and applications.
Speckles: Microscopic Analysis
Covers the microscopic analysis of speckles and their applications in research.
Automated PV Hosting Capacity Quantification
Explores the development of an open-source tool for automated PV hosting capacity quantification in distribution networks using Power Factory.
Dose Management in Electron Microscopy
Explores the challenges and solutions for managing electron dose in microscopy, emphasizing the importance of accurate dose tracking and analysis.
Methods in Immunology: Part I
Covers the identification of molecules using antibodies and ELISA techniques for detection and quantification.