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