- Nouveau
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
- Marque
- Omniscriptum
- Année
- 2024
- Pages
- 64
- Pays
- Algérie
30 autres produits dans la même catégorie :
Voir toutConception et réalisation d'une application de gestion des palmarès
- Nouveau
Mise en place d'un réseau informatique local avec connexion internet
- Nouveau
Répartition simultanée des nœuds dans un réseau de radio cognitive
- Nouveau
Conception et réalisation d’une base de données pour la gestion
- Nouveau
Les Systèmes de Recommandation à Base de Filtrage Collaboratif
- Nouveau
Vers une approche de monitoring des applications orientées services
- Nouveau
Le traitement des classes déséquilibrées par les méthodes ensemblistes
- Nouveau