Introduce the basic concepts of propositional and first order logic. Understanding the basic principles of computers and operating systems.

LEARNING OUTCOMES

KNOWLEDGE AND UNDERSTANDING

At the end of the course the student must:
* understand the basics of logic and the different types of reasoning
* understand the architecture of computers and their hardware components
* know the main services of operating systems

APPLYING KNOWLEDGE AND UNDERSTANDING

At the end of the course the student will be able to:
* determine the validity of a deductive reasoning
* formalize propositions in the languages ​​of propositional and first order logic
* operate in binary and hexadecimal number bases
* recognize the components of a computer system

COMMUNICATION SKILLS:

At the end of the course the student will be able to express concepts using a correct and precise language for logic and computer science.

LEARNING SKILLS:

At the end of the course the student will be able to read and understand texts on elementary concepts of logic, computer architecture and operating systems.