Outils de la preuve

Course
Théorie des groupes
Category
Logic
Study level
Bachelor
Course instructor(s)
K. Hess
Theorem Car classification Virus classification Gödel's incompleteness theorems Taxonomy (biology)

More Details

Ontological classification
Formal sciences > Logic > Classical logic > First-order logic
Applied sciences > Mechanical engineering > Automotive engineering > Internal combustion engines
Course
Théorie des groupes
Study level
Bachelor
Concepts
Theorem Car classification Virus classification Gödel's incompleteness theorems Taxonomy (biology)
Language
French
Course instructor(s)
K. Hess
Upload Date
Dec. 01, 2024