الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'calcule des prédicat avec égalité'
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