Discrete Mathematics
|
- Logic
- Propositional Logic
- Karnaugh Maps
- Predicate Logic
- Mathematical Reasoning
- Demonstration Techniques
- Mathematical Induction
- Set Theory
- Fundamental Concepts
- Set Operations
- Relations
- Linear Algebra
- Matrixes
- Vectors
- Vector Spaces
- Linear Transformations
- Equation Systems
- Determinants
- EigenValues and EigenVectors
|
9 |
Accounting
|
- General Accounting
- The Official Accounting Plan (Portuguese)
- Basic Concepts
- Accounting as an Information System
- Existences, Purchases and other key elements in Accounting
- The Inventory
- Working with accounts
- The Balance
- The Results
- Valuation Criteria
- Inventory Criteria (Permanent e Intermittent)
- Discounts and Abatements
- The State
- Bonds
- Amortizations
- Provisions
- Analytical Accounting
- Economical and Financial Concepts
- Re-Classification of Costs
- Industrial and non-Industrial Costs
- Controllable and non-Controllable Costs
- Direct and Indirect Costs
- Real and Theoretical Costs
- Fixed, Variable and semi-variable costs
- The Cost Hierarchy and Result Analysis
- Product Costs and Period Costs
- Analysis of the Cost Components of the Production
- Raw Materials
- Labor Costs
- General Fabrication Costs
- Methods used to divide Production Costs
- Cost - Volume - Result Analysis
- Calculating Production Costs
- Calculating Differences in Production Cost Previews
|
7 |
Information Systems I
|
- Introduction to Software Engineering
- The Product
- The Process
- Project Management
- The Engineering Methods
- The Software Developing Process
- Process and Developing Models
- Quality and Improvement Models
- Formal Methods Model and 4th Generation Techniques (4GT)
- Management of Software Projects
- Introduction to Project Management
- Management, Planning and Control of Projects
- Advanced Topics
- Software Engineering Methods
- The Classical Paradigm
- The Object Oriented Paradigm (OO)
- Advanced Topics
- Lab
- Planning of a Project
- Execution of Requirements Analysis
|
7 |
Programming Languages
|
- The Imperative Paradigm
- Imperative Programming Languages
- Review of ANSI-C
- The Logical Paradigm
- Logical Programming Languages
- Logical Programming with ProLog
- Philosophy behind the Language
- Programming with Prolog
- The Object Oriented Paradigm
- OO Programming Languages
- OO Programming with JAVA
- Philosophy behind the Language
- Programming with JAVA
- Lab
- Programming in ANSI-C
- Programming in ProLog
- Programming in JAVA
|
7 |
Computer Systems
|
- Technologies and Levels of Abstraction
- The Computer's Structure
- Integrated Circuits: consequences of innovation
- Historical View
- The Performance of a Computer System
- Metrics
- Programs to Evaluate Performance
- Comparing Performance
- The Central Processing Unit (CPU)
- Interruptions of the normal execution of programs (exceptions)
- The Memory Hierarchy
- Cache Memory
- Virtual Memory
- Interfaces and Peripherals
- Evaluation of performance
- Types and characteristics
- Buses
- Integration of Peripherals, Processors, Memory and the OS
- Lab
- Programming of computer systems in assembly (MIPS and INTEL)
- Numerical Systems and computer arithmetic
- Conception and implementation of computer systems (micro-computers) from commercially available components.
|
6 |