الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
7 résultat(s) recherche sur le mot-clé 'calcul propositionnel'
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 Cours de logique / - S. Auteur
Titre : Cours de logique : Mathématiques M. 102 Type de document : texte imprimé Auteurs : - S. Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1979 Collection : L'enseignement mathématique Importance : 143 p. Présentation : ill. Format : 23 cm Note générale : Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre) Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Cours de logique : Mathématiques M. 102 [texte imprimé] / - S. Auteur . - Alger (16000, Algérie) : OPU, 1979 . - 143 p. : ill. ; 23 cm. - (L'enseignement mathématique) .
Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre)
Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Cours de logique / - S. Auteur
Titre : Cours de logique : Mathématiques M. 102 Type de document : texte imprimé Auteurs : - S. Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1979 Collection : L'enseignement mathématique Importance : 143 p. Présentation : ill. Format : 23 cm Note générale : Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre) Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Cours de logique : Mathématiques M. 102 [texte imprimé] / - S. Auteur . - Alger (16000, Algérie) : OPU, 1979 . - 143 p. : ill. ; 23 cm. - (L'enseignement mathématique) .
Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre)
Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Cours de logique / - S. Auteur
Titre : Cours de logique : Mathématiques M. 102 Type de document : texte imprimé Auteurs : - S. Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1979 Collection : L'enseignement mathématique Importance : 143 p. Présentation : ill. Format : 23 cm Note générale : Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre) Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Cours de logique : Mathématiques M. 102 [texte imprimé] / - S. Auteur . - Alger (16000, Algérie) : OPU, 1979 . - 143 p. : ill. ; 23 cm. - (L'enseignement mathématique) .
Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre)
Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Cours de logique / - S. Auteur
Titre : Cours de logique : Mathématiques M. 102 Type de document : texte imprimé Auteurs : - S. Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1979 Collection : L'enseignement mathématique Importance : 143 p. Présentation : ill. Format : 23 cm Note générale : Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre) Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Cours de logique : Mathématiques M. 102 [texte imprimé] / - S. Auteur . - Alger (16000, Algérie) : OPU, 1979 . - 143 p. : ill. ; 23 cm. - (L'enseignement mathématique) .
Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre)
Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Cours de logique / S. A.
PermalinkFondements mathématiques de l'informatique / Jacques Stern
Permalink