Prezentarea specializării
Plan de invațământ
Fișele disciplinelor
ANUL I
Semestrul 1ADVANCED LOGICAL FUNCTIONAL PROGRAMMING
DATA ANALYSIS IN R
DISTRIBUTED SYSTEMS
ETICĂ ȘI INTEGRITATE ACADEMICĂ
OPERATIONS RESEARCH AND OPTIMIZATION
Semestrul 2
AUTOMATED THEOREM PROVING
DATA MINING
MODELLING AND VERIFYING ALGORITHMS IN Coq
MULTI-AGENT SYSTEMS
NETWORK SECURITY MODELS AND ARCHITECTURES
PARALLEL COMPUTING
TERM REWRITING
ANUL II
Semestrul 3ALGORITHM SYNTHESIS AND MATHEMATICAL THEORY EXPLORATION
DISTRIBUTED METHODS AND TECHNOLOGIES BASED ON XML
MACHINE LEARNING
METAHEURISTIC ALGORITHMS
RESEARCH PRACTICE
SPECIAL TOPICS IN ARTIFICIAL INTELLIGENCE
TECHNIQUES FOR SCIENTIFIC WORK
Semestrul 4
RESEARCH PRACTICE
SCIENTIFIC SEMINAR
THESIS PREPARATION