Cours en ligne

Permanent URI for this collectionhdl:123456789/154

Browse

Filters

2021 - 20232

Settings

Subject: search.filters.subject.Logique mathématique

Search Results

Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    Fondements Logiques pour l’Informatique
    (University of Sciences and Technology of Oran, 2023-03-06) Hayat, YEDJOUR
    L'informatique théorique est une discipline de la science informatique qui vise à étudier les fondements mathématiques et logiques de l'informatique en utilisant des méthodes rigoureuses pour définir et prouver des théories. Elle a pour objectif de comprendre les limites de ce qui peut être calculé et de développer des algorithmes efficaces pour résoudre des problèmes complexes. Les domaines de l'informatique théorique comprennent la théorie de la complexité computationnelle, la théorie des automates, la théorie des langages formels et la théorie de la calculabilité, qui ont des applications pratiques dans la conception et l'analyse d'algorithmes pour des tâches de raisonnement. L'article de Turing a été un tournant majeur dans l'histoire de l'informatique théorique, car il a donné naissance à l'intelligence artificielle en cherchant à formaliser la logique humaine sur des machines. Les outils logiques de base sont nécessaires à la pratique de l'informatique, notamment pour les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel.
  • No Thumbnail Available
    Item
    Mathématique 1
    (University of Sciences and Technology of Oran, 2021-11-08) Benaissa Cherif, Amin
    Ce polycopié vise à présenter le cours de Mathématiques 1. Il est destiné aux étudiants de la première année SOCLE COMMUN- Domaine Sciences et Technologie . Nous considérons comme un manuel supplément à d'autres ouvrages plus détaillés. Ce polycopié comporte six chapitres principaux, où sont exposées les notions de méthode du raisonnement Mathématique, des ensembles, les relations et les applications, des fonctions réelles à une variable réelle, d'application aux fonctions élémentaires, de développement limité et d'algèbre linéaire. Chaque chapitre de ce cours se termine par des exercices résolus permettant d'aller plus loin dans la compréhension et l'assimilation des notions mathématiques introduites. Toute remarque ou suggestion est la bienvenue pour m'aider à améliorer le contenu de ce travail.