ℹ️
🇬🇧
Search
Search for classes relevant for "proofs"
proofs
Class
Class
Person
Publication
Programmes
Export current view
class
Formal Mathematics and Proof Assistants
+1
NMMB566 |
Faculty of Mathematics and Physics
class
Methods of proofs
+1
OB2310300 |
Faculty of Education
class
Proof Complexity and the P vs. NP Problem
NMAG536 |
Faculty of Mathematics and Physics
class
Introduction to Logic
+1
YBAJ030 |
Faculty of Humanities
class
Proof Theory
+2
ALG500001 |
Faculty of Arts
class
From proof to metaproof
ALGV00113 |
Faculty of Arts
class
Classic works of mathematics education
+1
OKNM3M015A |
Faculty of Education
class
On One Possible Proof of the Existence of God
AFS500309 |
Faculty of Arts
class
Computer-Assisted Proofs in Discrete Dynamics
NMNV497 |
Faculty of Mathematics and Physics
class
Classic works of mathematics education
OPNM4M102C |
Faculty of Education
class
Complexity for Cryptography
NMMB405 |
Faculty of Mathematics and Physics
class
Scotus's Proof of the Existence of God (Latin Reading)
AFS100586 |
Faculty of Arts
class
Logic in Computer Science
NMAI067 |
Faculty of Mathematics and Physics
class
Logic
+3
OKB1310N02 |
Faculty of Education
class
Formalization seminar
NMAG585 |
Faculty of Mathematics and Physics
class
Synthetic Geometry III
+1
OKBM1M120A |
Faculty of Education
class
Linear Algebra Applications in Combinatorics
+1
NDMI028 |
Faculty of Mathematics and Physics
class
Logic seminar
+1
OB1310003 |
Faculty of Education