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
Kurt Gödel
Graph Chatbot
Related lectures (4)
Login to filter by course
Login to filter by course
Reset
Predicate Calculus: Basics
Covers the basics of predicate calculus, including propositions, formulas, terms, and semantic evaluation.
Predicate Logic: Basics and Applications
Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.
Philosophy of Mathematics: Ontology and Structures
Explores the existence of mathematical objects, truth of propositions, and knowledge about them, covering Platonism, Intuitionism, Structuralism, Nominalism, Logicism, and Formalism.
Convex Bodies: Properties and Theorems
Covers properties and theorems related to convex bodies and their transformations.
Previous
Page 1 of 1
Next