### Department

Department of Information Systems### Academic Program

Bachelor in Information Systems### Type

General### Credits

03### Prerequisite

ITMM122### Overview

This course include these topics: Number systems: natural numbers, radix r representation of integers, mathematical induction. Logic: propositional logic, predicate logic. Boolean algebra; sets; recursion; relations, and functions. Combinatory: counting principles; permutation groups. Graphs: graphs; diagraphs; trees; Euler's formula and coloring of graphs. Formal machines: automata and regular expressions; register machines: turning machines.

### Intended learning outcomes

### Knowledge and understanding

- That the student be able to prove the statements of hypothetical logic and original logic
- To familiarize the student with the technical terminology of relations and functions in original logic
- That the student be able to prove the expressions that are used in the infinite induction
- The student will be able to prove the statements using standard arithmetic
- The student will be able to explain and prove preliminary results in graph theory
- The student interprets the proofs automatically using the Proof Assistant

### mental skills

- This course provides a mathematical foundation for further study in computer science
- Develop the skills necessary to solve practical problems
- Give students a basic facility with logic and proof theory, counting, and graph theory
- It provides the student of computer science with the solid mathematical foundations that he needs when studying advanced materials in computer science such as (data structures) and (computer algorithms),
- For the student to think in a logical mathematical way

### Practical and professional skills

- That the student use the data of default logic and original logic in the design of software functions
- That the student characterize the relationships and functions in original logic to help design systems
- That the student use standard arithmetic to understand how to write software procedures
- That the student diagnoses the evidence using an evidence assistant

### General and transferable skills

- Thinking in a logical mathematical way
- Develop the skills needed to solve practical and programmatic problems
- Preparing the student with the mathematical foundations he needs to study advanced subjects

### Teaching and learning methods

- Lectures
- Case Study
- exercises

### Methods of assessments

- Midterm exam = 40
- Writing reports = 10
- Final exam = 50

### Course contents

- Introduction
- Logic
- Sets
- Sets
- Functions
- Sequences
- Sequences
- Mathematical Induction (I)
- Mathematical Induction (II)
- Counting
- Counting
- Relations
- Graphs
- Trees

Information Retrieval Systems (ITIS401)

Knowledge Management (ITIS402)

Data Mining/Business Intelligence (ITIS404)

Business Process Management (ITIS405)

Decision support system (ITIS406)

IS Innovation and New Technologies (ITIS407)

E-Government (ITIS408)

Physics (ITPH111)

Mathematics I (ITMM111)

Arabic language 1 (ITAR111)

Problem solving Technic (ITGS113)

Intro to Information Technology (ITGS111)

General English1 (ITEL111)

Mathematics II (ITMM122)

logic Circuit Design (ITGS126)

System Analysis and Design (ITGS124)

Introduction to Programming (ITGS122)

General English2 (ITEL122)

Arabic language 2 (ITAR122)

Introduction to Statistics (ITST211)

Object Oriented Programmin (ITGS211)

Introduction to Software Engineering (ITGS213)

Introduction to Networking (ITGS215)

Discrete Structures (ITGS217)

Numerical analysis (ITGS219)

Computer Architucture & Organization (ITGS223)

Data Structure (ITGS220)

Foundation of Information Systems (ITGS222)

Information Security (ITGS224)

Introduction to Internet Programming (ITGS226)

Introduction to database (ITGS228)

Operating System (ITGS302)

Scientific Writing (ITGS304)

Web Application Development (ITIS311)

Human Computer Interaction (ITIS312)

Data and Information Management (ITIS313)

Advanced Databases (ITIS325)

IT Infrastructure (ITIS323)

Design and Analysis algorithms (ITGS301)

Multimedia Systems (ITIS324)

Advanced System analysis & Design (ITIS326)

Enterprise Architecture (ITIS411)

Risk management and Security (ITIS412)

Introduction to Artificial Intelligence (ITIS413)

IT Project Management (ITGS303)

Enterprise Systems (ITIS421)

IS strategy ,management and acquisition (ITIS422)

Knowledge Management (ITIS402)

Data Mining/Business Intelligence (ITIS404)

Business Process Management (ITIS405)

Decision support system (ITIS406)

IS Innovation and New Technologies (ITIS407)

E-Government (ITIS408)

Physics (ITPH111)

Mathematics I (ITMM111)

Arabic language 1 (ITAR111)

Problem solving Technic (ITGS113)

Intro to Information Technology (ITGS111)

General English1 (ITEL111)

Mathematics II (ITMM122)

logic Circuit Design (ITGS126)

System Analysis and Design (ITGS124)

Introduction to Programming (ITGS122)

General English2 (ITEL122)

Arabic language 2 (ITAR122)

Introduction to Statistics (ITST211)

Object Oriented Programmin (ITGS211)

Introduction to Software Engineering (ITGS213)

Introduction to Networking (ITGS215)

Discrete Structures (ITGS217)

Numerical analysis (ITGS219)

Computer Architucture & Organization (ITGS223)

Data Structure (ITGS220)

Foundation of Information Systems (ITGS222)

Information Security (ITGS224)

Introduction to Internet Programming (ITGS226)

Introduction to database (ITGS228)

Operating System (ITGS302)

Scientific Writing (ITGS304)

Web Application Development (ITIS311)

Human Computer Interaction (ITIS312)

Data and Information Management (ITIS313)

Advanced Databases (ITIS325)

IT Infrastructure (ITIS323)

Design and Analysis algorithms (ITGS301)

Multimedia Systems (ITIS324)

Advanced System analysis & Design (ITIS326)

Enterprise Architecture (ITIS411)

Risk management and Security (ITIS412)

Introduction to Artificial Intelligence (ITIS413)

IT Project Management (ITGS303)

Enterprise Systems (ITIS421)

IS strategy ,management and acquisition (ITIS422)