ℹ️
🇬🇧
Search
Search for classes relevant for "Proving"
Proving
Class
Class
Person
Publication
Programmes
Export current view
class
Interactive theorem proving seminar
ALGV00123 |
Faculty of Arts
class
Introduction to Logic
+1
YBF295 |
Faculty of Humanities
class
Proof Complexity and the P vs. NP Problem
NMAG536 |
Faculty of Mathematics and Physics
class
MSTR Elective 2
NMAG499 |
Faculty of Mathematics and Physics
class
Ordinary Differential Equations: A Constructive Approach
NMNV495 |
Faculty of Mathematics and Physics
class
Mathematical Software
NMMB533 |
Faculty of Mathematics and Physics
class
Computer-Assisted Proofs in Discrete Dynamics
NMNV497 |
Faculty of Mathematics and Physics
class
Management and Supervision in Health and Social Organizations
YDE011 |
Faculty of Humanities
class
Thesis Elaboration
YMR10POBQ |
Faculty of Humanities
class
New results in the theory of Euler equations
NMMA623 |
Faculty of Mathematics and Physics
class
Introduction to History I.
+1
YBHA001 |
Faculty of Humanities
class
Introduction to History II.
YBHA002 |
Faculty of Humanities
class
Introduction to History (Exam)
YBZB50000 |
Faculty of Humanities
class
Theological Ethics Seminar 2
RETA5021 |
Protestant Theological Faculty
class
Theological Ethics Seminar
RL037 |
Protestant Theological Faculty
class
Instrumental Study V
+1
O01308291 |
Faculty of Education
class
Stereometry
NMTM205 |
Faculty of Mathematics and Physics
class
Mathematics
+2
GAF105 |
Faculty of Pharmacy in Hradec Králové
class
Teaching Practice II
O02312032 |
Faculty of Education
class
ERASMUS - Medical Ethics and Humanities V.
CERA5P0074 |
Third Faculty of Medicine
class
Medical Ethics and Humanities IV.
CVSE4P0029 |
Third Faculty of Medicine
class
Project (Sports Journalism)
JJM423 |
Faculty of Social Sciences
class
Negotiation and Problem Solving-Optional Assignment
YMR07HOLI |
Faculty of Humanities
class
Dualities in triangulated categories
NMAG468 |
Faculty of Mathematics and Physics
class
Computational Logic
NMAG535 |
Faculty of Mathematics and Physics