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.

A course on Logic. It is peculiar because it uses a special deductive calculus based on equational logic (rewriting and equals-by-equals text replacement). It is important to follow strictly proof formats in order to justify rigorously every deduction step. Additionally, semantics for non-repetitive instructions of an imperative programming language are studied. Sets and integers are studied as applications of the logical approach as specific logical theories. At the end of the course, the student ability to model and specify real situations should be better, especially regarding program specification. He / She should reason, understand, criticize, and develop formal proofs, and verify simple programs (non-repetitive instructions).

Continuation of the course ISIS 1101 Formal deduction tools. The equational deduction calculus introduced there is extended in order to cover domains that are useful in general applications of informatics and, in particular, developing programs.

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.

Information representation, storage and transmission. A look from the performance of computer devices.

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

This course studies the phenomena of videogames, from cultural and technological standpoints.

This course studies the basics of information and communication technologies (ICT) that everyone should know in order to not be run over by these technologies in their daily lives. In addition to understanding specific technologies, the students should understand how these technologies affect them as individuals and society.