Logique mathématique pour l¿informatique

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.