1000

This course seeks to develop in participants a sense of belonging to the career, institution and program, as well as to encourage contact with business life by taking advantage of opportunities provided by different sources of information and interaction with other students, teachers and professionals in the area. Additionally, it aims to develop individual and group capacity to self-manage the learning process: to carry out processes and learning projects, taking into account the typical constraints of university life. Finally it also aims to train participants in some of the basics of Systems and Computing Engineering and report on some of the career advanced areas.

This course teaches the fundamental math concepts needed for Systems and Computing Engineering. It provides a language that allows for the formal definition of models, reasoning over these models as well as understanding and carrying out proofs using this formal language. Specifically this course teaches the syntax and semantics of discrete math models such as sets, relations, functions, propositional and predicate logic and number theory. Proof techniques applied to these models are also taught.

Basic concepts of algorithms design and analysis. At the end of the course the student should be able to apply developing techniques like divide and conquer, dynamic programming, and general search algorithmic, analyzing temporal and spatial complexity. Practical limitations for algorithmic solutions (e.g. NP-completeness) are studied at an introductory level.

This course presents the basic concepts of language theory through formalisms used to describe them (grammars) and the machines used to recognize them (automatons). We also show how these machines can be used in other domains. We also present other formalisms (Petri Nets), their definition implementation and fields of application.

It is expected from this course, that students acquire the relevant skills, knowledge and techniques in order to solve a problem following a mental process. Such problems are in the context of an abstraction of a simple reality and they are described in terms of a computer program.

The purpose of this course is to continue the subjects achieved during the first course. Moreover, there will be new skills and knowledge necessary to handle the challenges. Particularly, students will face different elements to model entities of a more elaborated conceptual abstraction and will be presented with techniques to implement and solve algorithms of a more challenging level.

The purpose of this course is to generate the necessary skills to design and implement the required data structures to solve a problem entirely in main memory. The student must achieve solutions considering a set of restrictions and quality attributes proposed.

Study the basic computer architecture, its components, description, function, and interaction among them. The student gets the basic language, concepts and tools to analyze computer infrastructure in terms of performance and liability. Case study: Intel Architecture for 32 bits (IA32)

This course presents different types of arranging an organization (enterprise, social group, formal or informal organization, that may be an IT provider or consumer organization) making emphasis on IT as fundamental element to articulate organization with its environment and to guide the organization to achieve its objectives.,English,- Main organizational and IT concepts– organizational structure and culture, business processes and value chain, information and information technology, IT governance frameworks and business alignment – and their relationships are studied to lead and to achieve organization objectives