ITGS217 : Discrete Structures

Department

Department of Mobile Computing

Academic Program

Bachelor in Mobile Computing

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

Principles of Games Developments (ITMC404)
Parallel and Distributed Computing (ITMC403)
Mobile Multimedia (ITMC402)
Mobile 3D Graphics (ITMC401)
Mobile Commerce (ITMC304)
Programming Paradigms (ITMC302)
ARM microprocessor (ITMC301)
Arabic language 1 (ITAR111)
General English1 (ITEL111)
Physics (ITPH111)
Intro to Information Technology (ITGS111)
Problem solving Technic (ITGS113)
Mathematics I (ITMM111)
Arabic language 2 (ITAR122)
Mathematics II (ITMM122)
General English2 (ITEL122)
Introduction to Programming (ITGS122)
System Analysis and Design (ITGS124)
logic Circuit Design (ITGS126)
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 Databases (ITGS228)
Mobile Applications Development (ITMC311)
Design and Analysis algorithms (ITGS301)
Operating System (ITGS302)
Principles of mobile communication networks (ITMC312)
IT Project Management (ITGS303)
Scientific Writing (ITGS304)
Cross-Platform Mobile App Development (Flutter) (ITMC323)
Heterogeneous and Mobile Databases (ITMC322)
Mobile Interaction Design (ITMC321)
Mobile Operating System (ITMC313)
Security in mobile computing (ITMC411)
Personal Area Networks (ITMC412)
Social Networking (ITMC413)
Networks Programming (ITMC414)
Fundamentals ubiquitous computing (ITMC421)
Cloud Computing (ITMC422)