Logique Mathématique Calculabilité et Calcul des prédicats / Hamadouche,Samya (2023) / 978-9947-34-295-4

Public ISBD Titre : Logique Mathématique Calculabilité et Calcul des prédicats : Exercices corrigés avec rappels de cours:L2 LMD iformatique-première année ingénieurs en informatique,L2 LMD mathématique,L2 LMD recherche opérationnelle Type de document : texte imprimé Auteurs : Hamadouche,Samya, Auteur Editeur : Alger : pages bleus Internationales Année de publication : 2023 Importance : 122p. Présentation : couv.ill.en coul. Format : 24cm. ISBN/ISSN/EAN : 978-9947-34-295-4 Note générale : bibliog.p.123 Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.5 Algorithme fonction calculables Tags : logique mathématique  calculabilité  calcul des prédicats  logique formelle  logique des propositions  raisonnement mathématique  algorithmes  théorie de la calculabilité  informatique théorique Index. décimale : 510.5+510.6 Résumé : Cet ouvrage présente les notions fondamentales de logique mathématique, de calculabilité et de calcul des prédicats à travers des rappels de cours et des exercices corrigés. Il aborde les concepts essentiels du raisonnement formel, de la logique des prédicats et des problèmes de calculabilité, en proposant une approche progressive adaptée aux étudiants de deuxième année des formations LMD en informatique, mathématiques et recherche opérationnelle. Les nombreux exercices corrigés permettent de consolider les connaissances théoriques et de développer les capacités de raisonnement et de résolution de problèmes. Logique Mathématique Calculabilité et Calcul des prédicats : Exercices corrigés avec rappels de cours:L2 LMD iformatique-première année ingénieurs en informatique,L2 LMD mathématique,L2 LMD recherche opérationnelle [texte imprimé] / Hamadouche,Samya, Auteur . - Alger : pages bleus Internationales, 2023 . - 122p. : couv.ill.en coul. ; 24cm. ISBN : 978-9947-34-295-4 bibliog.p.123 Langues : Français (fre) Catégories : 51 Mathématiques :510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique.:510.5 Algorithme fonction calculables Tags : logique mathématique  calculabilité  calcul des prédicats  logique formelle  logique des propositions  raisonnement mathématique  algorithmes  théorie de la calculabilité  informatique théorique Index. décimale : 510.5+510.6 Résumé : Cet ouvrage présente les notions fondamentales de logique mathématique, de calculabilité et de calcul des prédicats à travers des rappels de cours et des exercices corrigés. Il aborde les concepts essentiels du raisonnement formel, de la logique des prédicats et des problèmes de calculabilité, en proposant une approche progressive adaptée aux étudiants de deuxième année des formations LMD en informatique, mathématiques et recherche opérationnelle. Les nombreux exercices corrigés permettent de consolider les connaissances théoriques et de développer les capacités de raisonnement et de résolution de problèmes.

Exemplaires(0)

Disponibilité
aucun exemplaire

---

1 (1 - 1 / 1) Par page : 25 50 100 200