Algebra, Logics and Computation

Cycle

Segundo ciclo

Degree

Mestre

This path is an option of

• Mathematics and Applications

Coordinator

Jorge Orestes Cerdeira

Structure

1.º Semester
Code	Name	ECTS

1.º Semester - UC do Bloco C1 ou MMA I ou DI I
Code	Name	ECTS
Options
8145	Algorithms and Data Structures	6.0
8533	Functional Analysis	6.0
10821	Matrix Analysis I	6.0
8543	Numerical Analysis of Partial Differential Equations II	6.0
10806	Life Insurance	6.0
7747	Databases	6.0
10830	Combinatorics	6.0
8534	Complements of Numerical Analysis	6.0
8415	Computability and Complexity	6.0
10855	Population Dynamics II	6.0
11022	Partial Differential Equations II	6.0
8535	Differential Equations and Dynamical Systems	6.0
10811	Biomedical Statistics	6.0
10813	Econometric and Financial Statistics	6.0
10810	Computational Numerical Statistics	6.0
10817	Risk Management in Life Insurance	6.0
10818	Statistical Modeling and Inference	6.0
3622	Introduction to Programming	6.0
10831	Introduction to Matroid Theory	6.0
10814	Financial Markets and Investments	6.0
8526	Logic	6.0
10857	Financial Mathematics I	6.0
11023	Medida Integração e Probabilidade	6.0
8515	Probabilistic Models in Operations Research	6.0
10809	Combinatorial Optimization	6.0
10859	Stochastic Optimization and Applications	6.0
10812	Operations Research Project	6.0
10856	Stochastic Representation of Solutions of Partial Differential Equations	6.0
10832	Distributive Lattices	6.0
8517	Social Security and Pension Funds	6.0
10833	Semigroups, Automata and Languages	6.0
8509	Simulation	6.0
8536	Measure Theory	6.0
10850	Theory of Distributions	6.0
O aluno deverá obter 6.0 créditos nesta opção.

1.º Semester - Unidade Curricular do Bloco A1
Code	Name	ECTS
Options
10819	General Algebra I	6.0
10820	Introduction to Algebra	6.0
O aluno deverá obter 6.0 créditos nesta opção.

1.º Semester - Unidade Curricular do Bloco B1
Code	Name	ECTS
Options
8415	Computability and Complexity	6.0
8526	Logic	6.0
O aluno deverá obter 6.0 créditos nesta opção.

1.º Semester - Unidade Curricular do Bloco C1
Code	Name	ECTS
Options
10821	Matrix Analysis I	6.0
10821	Matrix Analysis I	6.0
10830	Combinatorics	6.0
10830	Combinatorics	6.0
8415	Computability and Complexity	6.0
8415	Computability and Complexity	6.0
10831	Introduction to Matroid Theory	6.0
10831	Introduction to Matroid Theory	6.0
8526	Logic	6.0
8526	Logic	6.0
10832	Distributive Lattices	6.0
10832	Distributive Lattices	6.0
10833	Semigroups, Automata and Languages	6.0
10833	Semigroups, Automata and Languages	6.0
O aluno deverá obter 6.0 créditos nesta opção.

1.º Semester - Unidade Curricular do Bloco C1
Code	Name	ECTS

2.º Semester
Code	Name	ECTS

2.º Semester - UC do Bloco C2 ou MMA II ou DI II
Code	Name	ECTS
Options
8288	Algorithms for Hard Problems	6.0
11018	Matrix Analysis II	6.0
8537	Numerical Analysis of Partial Differential Equations I	6.0
2878	Machine Learning and Data Mining	6.0
10815	Non-life Insurance	6.0
10834	General Algebra II	6.0
8529	Universal Algebra and Lattices	6.0
8302	Parallel and Distributed Computing	6.0
10852	Optimal Control	6.0
9977	Cryptography	6.0
10853	Population Dynamics I	3.0
10864	Mathematical Economics	6.0
8539	Partial Differential Equations I	6.0
8540	Stochastic Differential Equations	6.0
8518	Multivariate Statistics	6.0
10837	Differential Geometry	6.0
10817	Risk Management in Life Insurance	6.0
10836	Introduction to Algebraic Geometry and Applications	6.0
10839	Introduction to Graph Theory	6.0
10838	Introduction to Number Theory	6.0
10863	Financial Mathematics II	6.0
10816	Statistical Modeling of Extreme Values	6.0
8416	Decision Support Models	6.0
10854	Mathematical Models in Epidemiology	3.0
10808	Non Linear Optimization	6.0
11141	Object-Oriented Programming B	6.0
10851	Numerical Analysis and Differential Equations Seminar	3.0
10807	Actuarial Statistics and Operational Research Seminar	3.0
8413	Algebraic Theory of Automata	6.0
10840	Theory of Error Correction	6.0
10842	Topology and Homotopy	6.0
10835	Topics of Logic and Complexity	6.0
O aluno deverá obter 6.0 créditos nesta opção.

2.º Semester - Unidade Curricular do Bloco A2
Code	Name	ECTS
Options
10834	General Algebra II	6.0
8529	Universal Algebra and Lattices	6.0
O aluno deverá obter 6.0 créditos nesta opção.

2.º Semester - Unidade Curricular do Bloco B2
Code	Name	ECTS
Options
8413	Algebraic Theory of Automata	6.0
10835	Topics of Logic and Complexity	6.0
O aluno deverá obter 6.0 créditos nesta opção.

2.º Semester - Unidade Curricular do Bloco C2
Code	Name	ECTS
Options
11018	Matrix Analysis II	6.0
10834	General Algebra II	6.0
8529	Universal Algebra and Lattices	6.0
9977	Cryptography	6.0
10837	Differential Geometry	6.0
10836	Introduction to Algebraic Geometry and Applications	6.0
10839	Introduction to Graph Theory	6.0
10838	Introduction to Number Theory	6.0
8413	Algebraic Theory of Automata	6.0
10840	Theory of Error Correction	6.0
10842	Topology and Homotopy	6.0
10835	Topics of Logic and Complexity	6.0
O aluno deverá obter 6.0 créditos nesta opção.

2.º Semester - Unidade Curricular do Bloco C2 ou B. Liv
Code	Name	ECTS
Options
11018	Matrix Analysis II	6.0
10834	General Algebra II	6.0
8529	Universal Algebra and Lattices	6.0
9977	Cryptography	6.0
10837	Differential Geometry	6.0
10836	Introduction to Algebraic Geometry and Applications	6.0
10839	Introduction to Graph Theory	6.0
10838	Introduction to Number Theory	6.0
11066	Electives	6.0
8413	Algebraic Theory of Automata	6.0
10840	Theory of Error Correction	6.0
10842	Topology and Homotopy	6.0
10835	Topics of Logic and Complexity	6.0
O aluno deverá obter 6.0 créditos nesta opção.

2.º Year
Code	Name	ECTS
11030	Dissertation in Mathematics and Applications (ALC)	42.0

3.º Semester
Code	Name	ECTS
10380	Entrepreneurship	3.0
10845	Algebra, Logic and Computation Seminar	3.0

3.º Semester - Unidade Curricular Bl. C3 ou Bl. Livre
Code	Name	ECTS
Options
10819	General Algebra I	6.0
11019	Álgebra Multilinear	6.0
9642	Geometry	6.0
11020	Introdução à Topologia Algébrica	6.0
11066	Electives	6.0
10832	Distributive Lattices	6.0
8417	Rewriting Systems	6.0
10848	Topics of Mathematical Logic	6.0
10847	Topics of Semigroups	6.0
10849	Differential Manifolds	6.0
O aluno deverá obter 6.0 créditos nesta opção.

3.º Semester - Unidade Curricular do Bloco C3
Code	Name	ECTS
Options
10819	General Algebra I	6.0
11019	Álgebra Multilinear	6.0
9642	Geometry	6.0
11020	Introdução à Topologia Algébrica	6.0
10832	Distributive Lattices	6.0
8417	Rewriting Systems	6.0
10848	Topics of Mathematical Logic	6.0
10847	Topics of Semigroups	6.0
10849	Differential Manifolds	6.0