Algorithms and data structures 2

Introduction à l’intelligence artificielle

Fundamental Electronic-2026

Fundamentals of Electronics

Mathematical Logic 25-26

Unité d’enseignement : UEM21

Matière : Logique mathématique

Crédits : 2                       Coefficient : 1

Objectifs de l’enseignement : Formalisation du raisonnement humain

Connaissances préalables recommandées : connaissances de base en mathématiques et en algèbre de Boole.

Contenu de la matière :

Chapitre 1 : Introduction

1. Objets de la logique

2. Syntaxe et sémantique

Chapitre 2 : Logique des propositions

1. Syntaxe

a. Les propositions

b. Les connecteurs logiques

c. Variables et formules propositionnelles

d. Substitution dans une formule

e. Formules logiques et arbres

2. Sémantique

a. Interprétation

b. Tables de vérité

c. Tautologies et antilogies

d. Equivalence sémantique

e. Formes normales conjonctives et disjonctives

f. Satisfaisabilité et validité

3. Résolution

a. Réfutation

b. Mise en forme clausale

c. Règle de résolution propositionnelle

d. La méthode de résolution propositionnelle

Chapitre 3: Logique des prédicats

1. Syntaxe

a. Termes

b. Prédicats

c. Quantificateurs

d. Formules

i. Portée d’un identificateur

ii. Variables libres, variables liées

2. Sémantique

a. Structure

b. Satisfaction d’une formule

Mode d’évaluation : Examen (60%), contrôle continu (40%)

Références

1. S.C. Kleene. Logique mathématique. Collection U, Armand Colin, Paris 1971.

2. J.L. Krivine. Elements of Mathematical Logic. North-Holland Publishing Company Amsterdam, 1967.

R. Cori. Logique mathématique. Tome 1 : Calcul propositionnel, Algèbre de Boole, calcul des prédicats. Dunod, 23.

Machine Structure 2_2026

Acquire basic knowledge of computer architecture and the operating principles of each component.

This knowledge will serve as a foundation for other computer-related areas (programming, databases, networks, etc.).

Fundamental chapters: 

Chapter 1 : Introduction

Chapter 2 : Combinational logic

Chapter 3 : Sequential logic

Chapter 4: Automata                            

Chapter 5 : Integrated circuits