Informatique Théorique: cours et exercices corrigés (original) (raw)

Abstract

La \emph{\textbf{Logique Mathématique}}, la \emph{\textbf{Théorie des Graphes}} et la \emph{\textbf{Théorie des Langages}} sont trois branches puissantes et fondamentales de l'\emph{Informatique Théorique}.\\ \begin{itemize} \item \textbf{La première: la \emph{Logique Mathématique}} se divise en plusieurs \emph{sous-domaines}. Chaque sous-domaine est une théorie qui présente une modélisation mathématique profitant des nouveautés Informatique.\\ Depuis sa naissance à la fin du XIXeˋmeXIX^{ème}XIXeˋme siècle, la logique mathématique n'a pas cessé de résoudre la crise des fondements provoquée par la complexification des mathématiques et l'apparition des paradoxes.\\ Elle nous offre une \emph{modélisation} et une \emph{formalisation mathématiques} puissantes et riches profitant des \emph{systèmes logiques}.\\ \item \textbf{La seconde: la \emph{Théorie des Graphes}} propose des solutions algorithmiques pour résoudre des problèmes dans tous les domaines liés à: \begin{itemize} \item la no...

Maher Helaoui hasn't uploaded this paper.

Let Maher know you want this paper to be uploaded.

Ask for this paper to be uploaded.