Logic
- Inferences and reasonings
- Atomic and composite propositions
- Truth functional connectives
- Truth tables
- Tautologies
- Equivalence and logical consequence
- Language and rules of first order logic.

Architecture
- Overview of computer systems
- Number systems
- Representation of numerical and non-numerical data
- CPU and memory
- Von Neumann's acrhitecture
- Input/output
- Peripherals

Operating systems
- Overview
- User interface
- File management
- Internal structure.