Structure Machine - بنية الآلة

Intitulé : Structure Machine  -  بنية الآلة
Niveau: 1ère Année PEM                     
V.H.H: 03H00
Coefficient: 04
A/S : Annuel

Objectifs:
Ce module vise en premier lieu l'introduction des concepts fondamentales de l'informatique et différents composants d'un ordinateur. Par la suite, les systèmes de numérotation ainsi que la représentation et codage de l’information sont abordés. Enfin, la logique de Boole et les circuits combinatoires et séquentielles.

Chapitre I :   Fondements de l'Informatique

أساسيات الاعلام الالي

Chapitre II:  Représentation et Codage des Informations

تمثيل و ترميز البيانات

Chapitre III:  Logique combinatoire et Séquentielle

الجبر البولياني و الدوائر التوافقية والمتسلسلة


الحساب الشكلي والمنطق الرياضي

Intitulé : Logique mathématique et Calcul formel

Niveau: 1ère Année

V.H.H: 03H00

Coefficient: 03     

A/S : Annuel

Objectif:

Le but de ce cours est  de présenter la logique propositionnelle et la logique des prédicats .Par la suite, inculquer à l'étudiant la notion de paradigme fonctionnel afin de lui permettre la manipulation des structures de données de type récursif. 

Contenu:

PARTIE 1: LOGIQUE MATHEMATIQUE

CHAPITRE I: RAPPELS
CHAPITRE II: SYSTEMES AXIOMATIQUES DEDUCTIFS
CHAPITRE III : CALCUL PROPOSITIONNEL (CALCUL LOGIQUE D'ORDRE 0)
CHAPITRE IV: LOGIQUE D'ORDRE 1
CHAPITRE V: MODELE D’HERBRAND

PARTIE2: CALCUL FORMEL

CHAPITRE I : INTRODUCTION A LA PROGRAMMATION FONCTIONNELLE
CHAPITRE II : NOTIONS FONDAMENTALES 
CHAPITRE IV : POLYMORPHISME ET ORDRE SUPERIEUR


برمجية 1

ALGORITHMIQUE 1

Niveau :1ère Année

V.H.H : 4H30

Coefficient : 05

A/S: Annuel

Objectifs :

Le but fondamental de ce cours est de permettre à l'étudiant d'analyser un problème, de formaliser sa solution sous forme d'un algorithme et de la transcrire dans un langage de programmation.