Carlos III University of Madrid

This course in public economics discusses the basic ideas and magnitudes of state intervention in the economy and budget tools. It offers an introduction to the theory of taxation, analyzing the incidences of taxes and their effects on behavior. This course explores some fundamental ideas about equity, well-being, and redistribution. Additional topics include: optimal taxation, aspects of the central tax figures, fiscal decentralization, and the economic policy of taxation. Students are expected to have completed coursework in mathematic analysis, including an introduction to constrained optimization, and intermediate microeconomics, including an introduction to general equilibrium.

This course provides a study on file structures and database management. It examines logical database design, from the relational model to the basic physical level in order to understand and recognize the need for secondary storage media in various use cases. The course also covers the following topics: static and dynamic properties of the relational model; base structures; auxiliary structures; database management systems; storage paradigms.

This course discusses the analysis and control of dynamic systems in continuous time as applied to aerospace systems. It examines the behavior of the systems by way of the classical control theory.  

Prerequisites: Calculus I, Calculus II, Linear Algebra, Programming

This course provides a study of the development of the international economy and the interaction between economic actors and agents from a historical perspective. It examines the different economic causes, effects, and policies related to the movement of people, goods, capital, and ideas in market integration, as well as the processes of economic specialization, convergence and divergence in history. Topics covered include: the first globalization of the 19th century (1820-1913); withdrawal and rupture of international integration (1914-1945); reconstruction of the international economy and second globalization; the world economy at the beginning of the 21st century.

This course offers an introduction to logic in Computer Science and Engineering. Topics include: introduction to formal systems; representation and syntax in propositional calculus; proof theory in propositional calculus; representation and syntax in predicate logic; proof theory in predicate calculus; semantic theory for propositional and predicate calculi; resolution method; computational logic and applications.

This course discusses the software development process including software testing and issues with software quality. Other topics include: ethical and legal issues in the field of software engineering; agile software development techniques; test-driven development; refactoring and simple design. Previous coursework in programming and software engineering are required.

This course offers a study of web applications. Topics include: transport layer security (TLS); hypertext transfer protocol (HTTP); content presentation languages (HTML and CSS); client-side programming languages; model-view-controller pattern; security; scalability; advanced technologies.