B.Sc. in Engineering and Technology Management - Year 1 - Semester 1

This course provides a study of the nature of logic and logical reasoning, covering the following topics: arguments, syntax and semantics of propositional logic, validity and equivalence in propositional logic, truth tables, basic proof theory for propositional logic, syntax and semantics of first-order logic, validity and equivalence in first-order logic, basic proof theory for first-order logic, limitations of first-order logic, and applications of logic for problem solving.


This course gives an overview of economics, covering basic concepts and theories of microeconomics and macroeconomics. Topics in microeconomics studied include demand and supply, price elasticities, consumer behavior theory, production and cost theory, and perfect and imperfect competitions. Macroeconomics topics studied include aggregate demand and supply, macroeconomic data (e.g. gross domestic product, national income, etc.), management of economic growth, inflation problems, unemployment problems, money and banking systems, fiscal and monetary policy, taxation, international trades, and exchange rates.  

An intermediate English course designed to promote four integrated skills to develop students' English proficiency at a higher level. 

This course provides an introduction to basic components of a computer and computer operation, the history and the evolution of computers, an introduction to a programming language, basics of computer programming using structured and object-oriented approaches, and some examples of computer programming to serve various purposes. 

Limits and continuity, differentiation and its applications, integration and its applications, transcendental functions, techniques of integration, and improper integrals.  

Matrices and systems of linear equations; Hermitian matrices and unitary matrices; LU factorizations; determinant, Cramer's rule; vector spaces; linear independence, bases, dimension, rank of matrices; orthogonality, eigenvalues and eigenvector, reduction of matrices to diagonal forms