20402089 -
IN410 - COMPUTER SCIENCE 2
(objectives)
The course Theory of Computation and Interaction provides a in-deep view of theoretical aspects related to the concept of computation and the study of relations between different models of computation. The basic knowledge on information technology is here extended with new concepts and theoretical viewpoints. The course is divided into two units of 6 CFU. At choice, the student can decide to pass the first unit or both (12 CFU). More specifically, the course provides a formal presentation of the concepts of algorithm and computability. After the introduction of the classical concept of computability as formalized by Alan M. Turing, we address the basic concepts of algorithmic complexity and problem decidability, functional models and functional programming. In the second unit, we focus on interactive paradigms in the theory of computation which allow the description of additional complexity classes and their use in the semantics of programming languages.
|
7
|
INF/01
|
72
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402091 -
TN410 - INTRODUCTION TO NUMBER THEORY
(objectives)
TO ACQUIRE A GOOD KNOWLEDGE OF CONCEPTS AND METHODS OF ELEMENTARY NUMBER THEORY, WITH PARTICULAR RESPECT OF STUDY OF DIOPHANTINE EQUATIONS AND POLYNOMIAL CONGRUENCES. TO GIVE PREREQUISITES FOR ADVANCED COURSES OF ALGEBRAIC AND ANALYTIC NUMBER THEORY.
|
7
|
MAT/02
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402102 -
CR410 - CRYPTOGRAPHY 1
(objectives)
ACQUIRE GOOD KNOWLEDGE OF THE CONCEPTS AND MATHEMATICAL METHODS OF PUBLIC KEY CRYPTOGRAPHY PROVIDING AN OVERVIEW OF THOSE WHICH ARE CURRENTLY IN USE.
|
7
|
MAT/02
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402107 -
GE510 - ALGEBRAIC GEOMETRY 2
(objectives)
Introduction and applications od the language of modern algebraic geometry through the theory of sheaves and the theory of schemes. In depth examination of the interactions of geometry and algebra. Description of research themes and open problems in modern algebra and geometry.
|
7
|
MAT/03
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402108 -
IN430 - INFORMATICS 4: ADVANCED COMPUTING TECHNIQUES
(objectives)
THE COURSE IN430 – COMPUTER SCIENCE 4, ADVANCED COMPUTATIONAL TECHNIQUES IS FOCUSED ON THE ACQUISITION OF OBJECT ORIENTED PROGRAMMING LANGUAGES AND APPLICATION OF CONCEPTUAL TOOLS FOR ANALYSIS AND DEVELOPMENT IN OBJECT ORIENTEND PROGRAMMING. THIS COURSE INCLUDES AN INTRODUCTION TO MODELING AND DESIGN OF CLASSES THROUGH UML DIAGRAMS, AND THE STUDY OF SPECIFICATION AND IMPLEMENTATION OF DISTRIBUTED ALGORITHMS IN CLOUD AND MOBILE ENVIRONMENTS.
|
7
|
INF/01
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402109 -
IN440 - COMPUTER SCIENCE 5: COMBINATORIAL OPTIMISATION
(objectives)
The aim of the course is to acquire skills on resolution techniques for combinatorial optimization problems, deepening the skills on graph theory, advanced technical skills for design, analysis and computer implementation of algorithms for solving optimization problems on graphs, trees and networks.
|
7
|
INF/01
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402111 -
IN520 - INFORMATICS 8: TECHNIQUES FOR DATA AND NETWORK SECURITY
(objectives)
Nowadays, information is often stored and transmitted electronically. Ensuring the security of the vast and complex infrastructure of computers, servers and networks is an immense challenge. In this scenario, this course aims at describing: - The relationship between number theory and information security techniques; - How to protect networks, secure electronic assets, prevent attacks, ensure the privacy of computer users, and build secure infrastructures.
|
7
|
INF/01
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402114 -
ME410 - ELEMENTARY MATHEMATICS FROM AN ADVANCED POINT OF VIEW
|
Also available in another semester or year
|
20402115 -
ST410 - STATISTICS 1
|
Also available in another semester or year
|
20402117 -
FS410 - PHYSICS 3: RELATIVITY AND RELATIVISTIC THEORIES
(objectives)
TO PROVIDE THE BASIC KNOWLEDGE OF THEORETHICAL PHYSICS WITH RESPECT TO SPECIAL RELATIVITY, RELATIVISTIC QUANTUM MECHANICS, FIELD THEORY AND QED.
|
7
|
FIS/02
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402120 -
LM510 - LINEAR TYPES AND LOGIC
(objectives)
A DEEP AND CRITICAL INTRODUCTION TO A SPECIFIC LOGICAL THEORY WHICH CONCERNS THE THEME OF THE INTERACTION AND IS CENTRAL IN THE CONTEMPORARY RESEARCH ON INFROMATION AND COMMUNICATION: LINEAR LOGIC AND ITS DEVELOPMENTS.
|
7
|
MAT/01
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402121 -
MC520 - AXIOMATIC SET THEORY
(objectives)
The axioms of Zermelo-Fraenkel. Odinal numbers. The axiom of foundation. The axiom of choice. The cardinal numbers and the continuum hypothesis.
|
7
|
MAT/04
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402122 -
FS420 - QUANTUM MECHANICS
|
Also available in another semester or year
|
20402183 -
AM550 - PROBLEMS OF SMALL DIVISORS IN INFINITE DIMENSIONS
(objectives)
Introduction to the study of small divisors problems in infinite dimension and applications to partial differential equations.
|
7
|
MAT/05
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402290 -
IN420 - COMPUTER SCIENCE 3, INFORMATION THEORY
(objectives)
The course of Information Theory is devoted to the study of Shannon's Theory of coding and compressing for reliable communication. The quantitative study of information carried by data communications involves an interest area including statistical inference, natural language processing, cryptography, neurobiology, molecular codes, quantum computing. We will start with basic notions on random variables, and we will prove basic theorems such as channel coding and source coding. We will consider applications to lossless data compression, lossy data compression and channel coding. Several links to cryptography will be provided as well.
|
7
|
INF/01
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402291 -
ST420 – MULTIVARIATE STATISTICAL ANALYSIS, MATHEMATICAL STATISTICS
|
Also available in another semester or year
|
20402293 -
CR510 – ELLIPTIC CRYPTOSYSTEMS
(objectives)
ACQUIRE GOOD KNOWLEDGE OF THE CONCEPTS AND MATHEMATICAL METHODS OF ELLIPTIC CURVES DEFINED OVER FINITE FIELDS E THEIR APPLICATION IN THE FIELDS OF CRYPTOGRAPHY.
|
7
|
MAT/02
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402297 -
AL410 - COMMUTATIVE ALGEBRA - C
|
Also available in another semester or year
|
20402298 -
AM410 - ELLITTIC PARTIAL DIFFERENTIAL EQUATIONS - C
|
Also available in another semester or year
|
20402299 -
AN410 - NUMERICAL ANALYSIS 1 - C
|
Also available in another semester or year
|
20402300 -
CP410 - PROBABILITY 2 - C
|
Also available in another semester or year
|
20402301 -
FM410 - MATHEMATICAL PHYSICS 3 - C
|
Also available in another semester or year
|
20402302 -
GE410 - ALGEBRAIC GEOMETRY 1 - C
|
Also available in another semester or year
|
20402303 -
LM410 - MATHEMATICAL LOGIC 1 - C
|
Also available in another semester or year
|
20402304 -
MA410 - APPLIED AND INDUSTRIAL MATHEMATICS - C
(objectives)
CALCULUS AND, IN PARTICULAR, DIFFERENTIAL EQUATIONS ARE IMPORTANT IN THE RESEARCH AND DEVELOPMENT OF APPLIED AND INDUSTRIAL MATEMATICS. THESE MATHEMATICAL TOOLS ARE NECESSARY TO UNDERSTAND A NUMBER OF PHYSICAL, CHEMICAL, BIOLOGICAL AND FINANCIAL PHENOMENA, AND TO IMPROVE THE QUALITY OF INDUSTRIAL PRODUCTS AND PROCESSES. MODELING AND SIMULATION COULD BE THE BEST TERMS TO DESCRIBE THE SPIRIT OF THIS COURSE. CONCRETE PROBLEMS WILL BE CONSIDERED AS EXAMPLES.
|
7
|
MAT/08
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402305 -
MC410 - COMPLEMENTARY MATHEMATICS 1 - C
|
Also available in another semester or year
|
20402306 -
AN420 - NUMERICAL ANALYSIS 2 - C
(objectives)
THE COURSE PRESENTS A REVIEW OF NUMERICAL METHODS OF INCREASING IMPACT FOR APPLICATION. IN THIS LINE OF WORK, THE ELEMENTARY SCHEMES INTRODUCED IN THE FIRST COURSE ARE USED AS BUILDING BLOCKS FOR MORE COMPLEX METHODS, WITH THE FINAL GOAL OF INTRODUCING THE STUDENT (IN A SOMEWHAT SIMPLIFIED FRAMEWORK) TO THE GENERAL ASPECTS OF THE APPROXIMATE SOLUTION OF OPTIMIZATION PROBLEMS AND SYSTEMS OF ORDINARY DIFFERENTIAL EQUATIONS. ALL TECHNIQUES WILL BE TESTED ON SOME BENCHMARK PROBLEMS OF INTEREST FOR APPLICATION.
|
7
|
MAT/08
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402307 -
CP420 - STOCHASTIC PROCESSES - C
|
Also available in another semester or year
|
20402311 -
FM430 – MATHEMATICAL PHYSICS 5 - C
|
Also available in another semester or year
|
20402313 -
MC430 - LABORATORY: DIDACTICS FOR MATHEMATICS - C
|
Also available in another semester or year
|
20402314 -
AL440 – GROUP THEORY - C
(objectives)
ADVANCED COURSE IN GROUP THEORY. THE INTENT IS TO DEEPEN THE MAIN GROUP THEORY CONCEPTS STUDIED IN AL210 (FINITE GROUPS, NORMAL SUBGROUPS AND QUOTIENTS) ARRIVING TO STUDY NEW TOPICS LIKE FREE GROUPS, NILPOTENT AND SOLVABLE GROUPS WHICH HAVE IMPORTANT CONNECTIONS WITH ALGEBRA TOPICS STUDIED IN OTHER COURSES (GALOIS THEORY, MODULES REPRESENTATIONS, ECC..)
|
7
|
MAT/02
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402315 -
AM440 - SPECIAL TOPICS OF ORDINARY DIFFERENTIAL EQUATIONS - C
(objectives)
Classical analysis is the backbone of many branches of applied mathematics. The purpose of this course is to provide an introduction to asymptotics, quoting properties of some special functions, as solutions of differential equations. A feature distinguishing the course is the inclusion of error bounds and methods for obtaining such bounds for some expansions.
|
7
|
MAT/05
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402316 -
MC440 - FIRST ORDER CLASSICAL LOGIC - C
|
Also available in another semester or year
|
20402317 -
GE450 - ALGEBRAIC TOPOLOGY - C
(objectives)
To provide the student with advanced tools in algebraic topology, including homotopy, homology and cohomology, and to illustrate their main applications.
|
7
|
MAT/03
|
60
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402318 -
GE460 – GRAPH THEORY - C
|
Also available in another semester or year
|
20402319 -
MF410 - MATHEMATICAL MODELS FOR FINANCIAL MARKETS (COURSE OF LECTURES)
|
7
|
SECS-S/06
|
-
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402321 -
CP430 - STOCHASTIC CALCULUS - C (COURSE OF LECTURE)
(objectives)
Acquire a good knowledge in stochastic processes, Brownian motion, stochastic differential equations and their applications.
|
7
|
MAT/06
|
-
|
-
|
-
|
-
|
Related or supplementary learning activities
|
ITA |
20402323 -
GE440 - DIFFERENTIAL TOPOLOGY - C
|
Also available in another semester or year
|