3rd semester

1. Brief Presentation

This course is dedicated to 2y LMD students, Computer science field. It allows to student to understanding the key concepts in graph theory and their applications in different specialties and domains especially to model real problems.

2. Course Objectives

 1. Discover new method for problem modeling and its applications in different areas.
2. Discover the most important areas of application.
3. Put in hand some concepts, methods, tools, and techniques in the field of graph theory.
4. Become familiar with graph theory algorithms and use them to solve some critical problems.

3. Weekly Program

    - 01 course/week

    - 01 Tutorial)/week.

In Face-to-face/Online (someteimes)

4. Teaching methodology
   - Headlines Presentation (Course Collection in PDF).
   - Take Notes (by students).
   - Complete the course with series of exercises (supervised 

      work/tutorials).

5. Evaluation method:
    - Unit 1: A half-yearly assessment (50%, mark
    - Unit 2: Tutorial mark = (Attendence-Tuto + Participation +
       Attendence-Course) (50%, mark
    - Overall Subject Mark (Avg) = (Unit 1 + Unit
6. Rules of discipline:
    -  Course attending
    - Tutorial attending
    - Preparation of Tutorial’s series
    - My total availability so that you can grasp the subject content         

       (through questions)

This course aims to provide the basic notions of formal logic, mainly the syntax and semantics of propositional logic and first-order predicate logic.