Logique mathématique pour l’informatique
Avec exercices et examens corrigés
Bienvenue dans cet ouvrage dédié à la Logique Mathématique pour l'Informatique, une discipline fondamentale qui éclaire les rouages logiques derrière les systèmes informatiques modernes.
À travers ce livre, nous explorerons la logique propositionnelle et la logique des prédicats de manière simple et compréhensible.
Les exercices accompagnant chaque chapitre ont été soigneusement sélectionnés pour offrir aux lecteurs la possibilité de mettre en pratique les principes abordés et de renforcer leur compréhension.
En outre, ce livre propose des examens corrigés qui serviront de guide d'étude complet, permettant aux lecteurs de tester leurs connaissances acquises et de se préparer efficacement à des évaluations futures.
Que vous soyez étudiant en informatique, professionnel du domaine ou simplement passionné par la logique mathématique, ce manuel aspire à être votre compagnon de confiance dans l'exploration de ce domaine fascinant.
Brahim Lejdel, Professeur associé à l’université d’El-Oued, Algérie.
Titulaire d’un magister en informatique depuis 2009.
Obtient son doctorat en 2015, son HDR en 2017 qui lui permet à diriger des recherches en cycle de doctorat.
Il publie plus d’une trentaine d'articles; préside plusieurs conférences internationales; dirige les thèses de doctorat.
Fiche technique
- Auteur
- BRAHIM LEJDEL
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Pays
- Algérie
30 autres produits dans la même catégorie :
Voir toutLe Web Sémantique et l'Ontologie GOODRELATIONS en Commerce connecté
- Nouveau
Etude comparative des performances des méthodes ensemblistes
- Nouveau
Informatique : Un mot sur la maintenance en milieu d’entreprise
- Nouveau
La Mise en Place D'une Application Informatique Intelligente
- Nouveau
L’informatique en 4ème année Commerciale de Gestion :
- Nouveau
Adaptation des IHM en fonction des sentiments des utilisateurs
- Nouveau
Intelligence Economique et Stratégie de l’operateur de téléphonie mobile ORANGE CI
- Nouveau
Génération automatique de service web depuis ReLEL selon la méthodologie Praxeme
- Nouveau
Conception et réalisation d’un système de recommandation
- Nouveau
Analyse des sentiments sur les avis des clients dans le E-Commerce
- Nouveau
Manuel de Modélisation Stochastique : Formalismes & Applications
- Nouveau
La reconnaissance d’objets 3D basée sur l’apprentissage artificiel
- Nouveau
Mise en place d'une base de données pour les inscriptions des écoliers
- Nouveau
Etude de faisabilité de la mise en place du Data center à l'U.KA.
- Nouveau
Quel Avenir Pour Les Systèmes d'Information De Gestion Traditionnels ?
- Nouveau