
CoreSYMB
AI enables computers to address problems and carry out tasks previously comprehensible only to humans.
This progress has been made not because computers became smarter; they are still dull-witted machines that are, however, faster and faster with numbers. In any case, we still need to translate real-world situations to the formal (i.e., mathematical, symbolic) language understandable by computers, which has always been one of the main targets for AI research, long before deep learning saw its first successes. In the courses of this compulsory block, these mathematical formulations of real-world tasks related to AI are explained. For example, you will learn how to formulate a job for a bunch of robots as a state-searching problem or exercise formal logic or game theory.
Courses
-
Artificial Intelligence I
MFF CUNI (Winter)
-
Artificial Intelligence II
MFF CUNI (Summer)
-
Introduction to Artificial Intelligence
FEE CTU (Summer)
-
Introduction to Artificial Intelligence
FIT CTU (Summer)
-
Introduction to Artificial Intelligence
MFF CUNI (Summer)
-
Modern Algorithmic Game Theory
MFF CUNI (Winter)
STILL SOME QUESTIONS?
Contact us at minor@prg.ai and we will get back to you shortly.
Also, don’t forget to follow us on LinkedIn.
-
FEE CTU
-
FIT CTU
-
FSV CUNI
-
MFF CUNI
-
Artificial Intelligence I
Winter
-
Artificial Intelligence II
Summer
-
Deep Learning
Summer
-
Deep Reinforcement Learning
Summer
-
Dialogue Systems
Summer
-
Introduction to Artificial Intelligence
Summer
-
Introduction to Machine Learning with Python
Winter
-
Large Language Models
Summer
-
Modern Algorithmic Game Theory
Winter
-
Natural Language Processing
Summer
-