Spain

This course offers an introduction to the problems, concepts, and methods of logic. Topics include: the object of logic; truth and demonstration; basic concepts of set theory; syntax; semantics; interpretation; truth; formalization; logical truth; equivalence; consequence.

This course provides a study of the developmental psychology of school-age children and the influence of education on their development. It begins with discussion of the general theories of development before exploring physical and psychomotor development, cognitive development, development of communication, language, and personality, and social development. The course also examines the changes in learning and motivation in education as well as development in the educational contexts of school, family, peers, media, and technology. 

Topics in this course include: conceptual and historical introduction to the evaluation of programs and organizations; purposes and main sources of evaluation; basics of evaluation-- phases, methodology, advantages/limitations, and uses; stakeholders, areas, and levels of evaluation; epistemology and major evaluation approaches; types of evaluation according to different criteria. 

This course explores the anthropogenic impact on the marine environment. Topics include: context and causes of changes to the marine environment; habitat loss; exploitation of the marine environment; marine pollution; exotic species and diseases in marine organisms.
 

This course provides a study of the major movements, schools, genres, styles, writers and works in the history of cinema. It takes an in-depth look at the meaning of the language of cinema and how it relates to the humanities.

This course explores the origin and evolution of hominins (including humans) within the family Hominidae. It examines the more significant cranial and skeletal anatomical features of the different species of Hominoidea. This course discusses the emergence of humanity, DNA studies of modern humans, and the progressive interaction between biology and culture characteristic of human evolution.

This course explores the quantitative instruments needed to pose and analyze economic problems with the aid of a formal model. Topics include: concepts of matrices and algebra of matrices; analysis of dynamic economic models; differential and difference equations and systems; examination of the qualitative behavior of solutions. 

The course focuses on the main concepts of unification-based syntax and their application to the analysis of English. It examines the features that make up sentences, syntagms, words, and grammatical morphemes.

This course explores the concepts of heuristics and optimization as two means of problem-solving and analysis. Topics include: dynamic programming; linear programming; constrained Boolean satisfiability; constraints programming; search. Pre-requisites: Programming; Algorithms and Data Structures; Discrete Mathematics; Artificial Intelligence. 

This course offers a study of software system design using the C programming language. Topics include: basic data types and flow constructions; structure of a C application; pointer manipulation; dynamic data structures; memory leaks; concurrent tools; tools for detecting memory leaks; Linux kernel, processes, and filesystems; main libraries; concurrency. Pre-requisites: Programming; Systems Programming.