ITGS217 : Discrete Structures

Department

Department of Computer Networks

Academic Program

Bachelor in Computer Networks

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

Multimedia over IP networks (ITNT405)
Cloud Computing (ITNT404)
Fundamentals ubiquitous computing (ITNT403)
Wireless Sensor Networks (ITNT402)
Personal Area Networks (ITNT401)
Security Policy and Procedures (ITNT304)
Human Computer Interaction (ITNT302)
Modeling and Performance Evaluation (ITNT301)
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)
Information Security (ITGS224)
Foundation of Information Systems (ITGS222)
Computer Architucture & Organization (ITGS223)
Introduction to Internet Programming (ITGS226)
Introduction to Databases (ITGS228)
Data Structure (ITGS220)
Design and Analysis algorithms (ITGS301)
Data Communication (ITNT311)
Local Area Networks (ITNT312)
Networks Programming (ITNT313)
Cryptographic Algorithms and Protocols (ITNT314)
Wireless and Mobile Networks (ITNT324)
Operating System (ITGS302)
Digital Communication (ITNT323)
Network Protocols (ITNT322)
Wide Area Networks (ITNT321)
Scientific Writing (ITGS304)
IT Project Management (ITGS303)
Distributed Systems (ITNT411)
Network Design and Management (ITNT412)
Network QoS (ITNT421)
High speed Networks (ITNT422)
Graduation Project (ITNT500)