الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'calcul des prédicats'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
3. Éléments de logique mathématique / Georg Kreisel
Titre : Éléments de logique mathématique : Théorie des modèles Type de document : texte imprimé Auteurs : Georg Kreisel (1923-2015), Auteur Editeur : Paris : Dunod Année de publication : 1967 Importance : vol. 3 (VIII-214 p.) Présentation : ill., couv. ill. en coul. Grena Format : 25*18 cm Prix : 58 F Note générale : ASIN : B0014UWFEY
Éditeur : Dunod (1 janvier 1967)
Reliure inconnue : 214 pagesLangues : Français (fre) Mots-clés : calcul propositionnel calcul des prédicats calcule des prédicat avec égalité élimination des quantificateurs calcul des prédicat à plusieurs types d'objets définissabilité modèles de formules infinies Index. décimale : 510 Résumé : Sommaire :
schémas fonctionnels
calcul propositionnel
calcul des prédicats
calcule des prédicat avec égalité
élimination des quantificateurs
calcul des prédicat à plusieurs types d'objets
définissabilité
modèles de formules infinies
Note de contenu : Monographies de la Société mathématique de France. 3 Éléments de logique mathématique : Théorie des modèles [texte imprimé] / Georg Kreisel (1923-2015), Auteur . - Paris : Dunod, 1967 . - vol. 3 (VIII-214 p.) : ill., couv. ill. en coul. Grena ; 25*18 cm.
58 F
ASIN : B0014UWFEY
Éditeur : Dunod (1 janvier 1967)
Reliure inconnue : 214 pages
Langues : Français (fre)
Mots-clés : calcul propositionnel calcul des prédicats calcule des prédicat avec égalité élimination des quantificateurs calcul des prédicat à plusieurs types d'objets définissabilité modèles de formules infinies Index. décimale : 510 Résumé : Sommaire :
schémas fonctionnels
calcul propositionnel
calcul des prédicats
calcule des prédicat avec égalité
élimination des quantificateurs
calcul des prédicat à plusieurs types d'objets
définissabilité
modèles de formules infinies
Note de contenu : Monographies de la Société mathématique de France. 3 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST13054 510/04.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13055 510/04.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Fondements mathématiques de l'informatique / Jacques Stern
Titre : Fondements mathématiques de l'informatique Type de document : texte imprimé Auteurs : Jacques Stern, Auteur Editeur : Paris : MC graw-Hill Année de publication : 1990 Collection : Informatique (Paris. 1987), ISSN 0989-392X Importance : XVI-318 p. Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 2-7042-1228-7 Prix : 175 F Note générale : Titre Fondements mathématiques de l'informatique
Collection informatique, ISSN 0989-392X
Auteur Jacques Stern
Éditeur McGraw-Hill, 1990
ISBN 2704212287, 9782704212286
Longueur 318 pagesLangues : Français (fre) Mots-clés : langages et automates modèles de calcul fonctions récursives calcul propositionnel calcul des prédicats programmation logique grammaires et analyse syntaxique Index. décimale : 003 Informatique Générale Résumé : Sommaire :
langages et automates
modèles de calcul
fonctions récursives
calcul propositionnel
calcul des prédicats
programmation logique
grammaires et analyse syntaxiqueNote de contenu : Bibliogr. p. 309-312. Index Fondements mathématiques de l'informatique [texte imprimé] / Jacques Stern, Auteur . - Paris : MC graw-Hill, 1990 . - XVI-318 p. : ill., couv. ill. ; 24 cm. - (Informatique (Paris. 1987), ISSN 0989-392X) .
ISBN : 2-7042-1228-7 : 175 F
Titre Fondements mathématiques de l'informatique
Collection informatique, ISSN 0989-392X
Auteur Jacques Stern
Éditeur McGraw-Hill, 1990
ISBN 2704212287, 9782704212286
Longueur 318 pages
Langues : Français (fre)
Mots-clés : langages et automates modèles de calcul fonctions récursives calcul propositionnel calcul des prédicats programmation logique grammaires et analyse syntaxique Index. décimale : 003 Informatique Générale Résumé : Sommaire :
langages et automates
modèles de calcul
fonctions récursives
calcul propositionnel
calcul des prédicats
programmation logique
grammaires et analyse syntaxiqueNote de contenu : Bibliogr. p. 309-312. Index Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST19153 003/80.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt L'intelligence artificielle / Wafaa Niar-Dinedane
Titre : L'intelligence artificielle : éléments de base Type de document : document multimédia Auteurs : Wafaa Niar-Dinedane, Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1995 Importance : 263 p. Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-9961-0-0001-4 Prix : 143.38 DA Note générale : Éditeur : OPU(1995)
Langue : Français
Broché : 263 pages
ISBN-10 : -
ISBN-13 : 978-9961-0-0001-4
Poids de l'article : 239 g
Dimensions : 23 x 3
Langues : Français (fre) Mots-clés : calcul des prédicats méthode de résolution systèmes experts langage prolog intelligence artificielle 5ème génération des ordinateurs Index. décimale : 003 Informatique Générale Résumé : Sommaire :
introduction
le calcul des prédicats
la méthode de résolution
les systèmes experts
introduction au langage prolog
l'intelligence artificielle et la 5ème génération des ordinateurs;Note de contenu : annexe
abréviationsL'intelligence artificielle : éléments de base [document multimédia] / Wafaa Niar-Dinedane, Auteur . - Alger (16000, Algérie) : OPU, 1995 . - 263 p. : ill., couv. ill. en coul. ; 23 cm.
ISBN : 978-9961-0-0001-4 : 143.38 DA
Éditeur : OPU(1995)
Langue : Français
Broché : 263 pages
ISBN-10 : -
ISBN-13 : 978-9961-0-0001-4
Poids de l'article : 239 g
Dimensions : 23 x 3
Langues : Français (fre)
Mots-clés : calcul des prédicats méthode de résolution systèmes experts langage prolog intelligence artificielle 5ème génération des ordinateurs Index. décimale : 003 Informatique Générale Résumé : Sommaire :
introduction
le calcul des prédicats
la méthode de résolution
les systèmes experts
introduction au langage prolog
l'intelligence artificielle et la 5ème génération des ordinateurs;Note de contenu : annexe
abréviationsRéservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST19208 003/81.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt ST19209 003/81.2 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible ST19210 003/81.3 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible Logique / A. Fuchs
Titre : Logique Type de document : texte imprimé Auteurs : A. Fuchs, Auteur ; G. Reeb, Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1993 Importance : 317 p. Présentation : ill. Format : 27*22 cm. Note générale : Titre Logique
Auteurs Fuchs A.
Édition -
Éditeur OPU, 1993
ISBN
Langue : Français
Longueur 317 pages
Dimensions 27 cm.
Langues : Français (fre) Mots-clés : calcule des propositions calcul des prédicats systèmes formels Index. décimale : 510 Résumé : Sommaire :
calcule des propositions-LA TABLE DES MATIéRES DU CHAPITRE 1 EST EN TTE DE CE CHAPITRE
calcul des prédicats-CALCUL DES PRéDICATS-TABLE DES MATIéRES DU CHAPITRE2-134P.-SYSTéMES FORMELS-TABLE DES MATIéRES DU CHAPITRE111P.190
systèmes formelsNote de contenu : index Logique [texte imprimé] / A. Fuchs, Auteur ; G. Reeb, Auteur . - Alger (16000, Algérie) : OPU, 1993 . - 317 p. : ill. ; 27*22 cm.
Titre Logique
Auteurs Fuchs A.
Édition -
Éditeur OPU, 1993
ISBN
Langue : Français
Longueur 317 pages
Dimensions 27 cm.
Langues : Français (fre)
Mots-clés : calcule des propositions calcul des prédicats systèmes formels Index. décimale : 510 Résumé : Sommaire :
calcule des propositions-LA TABLE DES MATIéRES DU CHAPITRE 1 EST EN TTE DE CE CHAPITRE
calcul des prédicats-CALCUL DES PRéDICATS-TABLE DES MATIéRES DU CHAPITRE2-134P.-SYSTéMES FORMELS-TABLE DES MATIéRES DU CHAPITRE111P.190
systèmes formelsNote de contenu : index Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST13065 510/09.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13066 510/09.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Logique pour l'informatique / Serenella Cerrito
Titre : Logique pour l'informatique : introduction à la déduction automatique ; cours & exercices ; licence d'informatique Type de document : texte imprimé Auteurs : Serenella Cerrito, Auteur ; PRé.KESNER,DELIA, Auteur Editeur : Paris : Vuibert Année de publication : impr. 2008 Importance : 1 vol. (XII-178 p.) Présentation : ill., couv. ill. en coul. Format : 24 *17cm ISBN/ISSN/EAN : 978-2-7117-2069-9 Note générale : Éditeur : DE BOECK SUP (6 octobre 2008)
Langue : Français
Broché : 178 pages
ISBN-10 : 2711720691
ISBN-13 : 978-2711720699
Poids de l'article : 358 g
Dimensions : 24 x 1.3 x 17 cmLangues : Français (fre) Mots-clés : logique propositionnelle calcul des prédicats Logique pour l'informatique Index. décimale : 510 Résumé : La 4¨me de couverture indique : "Omniprésente dans notre société, l'informatique nous conduit privilégier l'utilisation de logiciels qui soient fiables. - Ces derniers exigent leur tour le recours un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre dé développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. - Ce cours pr©sente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. - On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prªtent tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilis©e ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiqu©es. Orient©e vers l'informatique plus que vers les math©matiques et contenant par ailleurs un tr¨s grand nombre d'exercices d'application directe de difficult© graduelle, cette introduction la logique pour l'informatique est unique en son genre. - Principalement destin© aux ©tudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra tout informaticien souhaitant acqu©rir de solides bases en logique et comprendre en quoi la logique est n©cessaire la pratique de l'informatique." Cours pour apprendre utiliser la logique formelle afin de mod©liser des informations sur des donn©es et de les manipuler automatiquement, illustr© d'exercices corrig©s.
Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique.
Biographie de l'auteur
Professeur à l'université d'Evry / Val d'Essonne, Serenella Cerrito appartient au laboratoire IBISC (Informatique, biologie intégrative et systèmes complexes, FRE CNRS.3190, Genopole). Sa double formation en informatique et en philosophie des sciences l'a conduite à enseigner la logique tant aux informaticiens qu'aux étudiants en philosophie. Ses recherches portent principalement sur les applications de la théorie de la preuve et la déduction automatique à la programmation et aux bases de données.SOMMAIRE:SYNTAXE DE LA LOGIQUE PROPOSITIONNELLE-SéMANTIQUE DE LA LOGIQUE PROPOSITIONNELLE-SéMANTIQUE DE LA LOGIQUE PROPOSITIONNELLE-PREUVES EN LOGIQUE PROPOSITIONNELLE-SYNTAXE DU CALCUL DES PRéDICATS-SéMANTIQUE DU CALCUL DES PRéDICATS-PREUVES POUR LE CALCUL DES PRéDICATS-EXTENSIONS DU CALCUL DES PRéDICATS-SOLUTIONS POUR UNE SéLECTION D'EXERCICES
Note de contenu : Bibliogr., 1 p. Index
cours & exercicesLogique pour l'informatique : introduction à la déduction automatique ; cours & exercices ; licence d'informatique [texte imprimé] / Serenella Cerrito, Auteur ; PRé.KESNER,DELIA, Auteur . - Paris : Vuibert, impr. 2008 . - 1 vol. (XII-178 p.) : ill., couv. ill. en coul. ; 24 *17cm.
ISBN : 978-2-7117-2069-9
Éditeur : DE BOECK SUP (6 octobre 2008)
Langue : Français
Broché : 178 pages
ISBN-10 : 2711720691
ISBN-13 : 978-2711720699
Poids de l'article : 358 g
Dimensions : 24 x 1.3 x 17 cm
Langues : Français (fre)
Mots-clés : logique propositionnelle calcul des prédicats Logique pour l'informatique Index. décimale : 510 Résumé : La 4¨me de couverture indique : "Omniprésente dans notre société, l'informatique nous conduit privilégier l'utilisation de logiciels qui soient fiables. - Ces derniers exigent leur tour le recours un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre dé développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. - Ce cours pr©sente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. - On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prªtent tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilis©e ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiqu©es. Orient©e vers l'informatique plus que vers les math©matiques et contenant par ailleurs un tr¨s grand nombre d'exercices d'application directe de difficult© graduelle, cette introduction la logique pour l'informatique est unique en son genre. - Principalement destin© aux ©tudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra tout informaticien souhaitant acqu©rir de solides bases en logique et comprendre en quoi la logique est n©cessaire la pratique de l'informatique." Cours pour apprendre utiliser la logique formelle afin de mod©liser des informations sur des donn©es et de les manipuler automatiquement, illustr© d'exercices corrig©s.
Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique.
Biographie de l'auteur
Professeur à l'université d'Evry / Val d'Essonne, Serenella Cerrito appartient au laboratoire IBISC (Informatique, biologie intégrative et systèmes complexes, FRE CNRS.3190, Genopole). Sa double formation en informatique et en philosophie des sciences l'a conduite à enseigner la logique tant aux informaticiens qu'aux étudiants en philosophie. Ses recherches portent principalement sur les applications de la théorie de la preuve et la déduction automatique à la programmation et aux bases de données.SOMMAIRE:SYNTAXE DE LA LOGIQUE PROPOSITIONNELLE-SéMANTIQUE DE LA LOGIQUE PROPOSITIONNELLE-SéMANTIQUE DE LA LOGIQUE PROPOSITIONNELLE-PREUVES EN LOGIQUE PROPOSITIONNELLE-SYNTAXE DU CALCUL DES PRéDICATS-SéMANTIQUE DU CALCUL DES PRéDICATS-PREUVES POUR LE CALCUL DES PRéDICATS-EXTENSIONS DU CALCUL DES PRéDICATS-SOLUTIONS POUR UNE SéLECTION D'EXERCICES
Note de contenu : Bibliogr., 1 p. Index
cours & exercicesRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST19257 510/142.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST19258 510/142.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible