الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'mathématique de l’arithmétique'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
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.
Titre : Cours de logique : Mathématiques M. 102 Type de document : texte imprimé Auteurs : S. A., Auteur Editeur : Alger : office des publications universitaires Année de publication : 1979 Importance : 143 p. Présentation : ill. Format : 23 *15cm 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. A., Auteur . - Algérié : Alger : office des publications universitaires, 1979 . - 143 p. : ill. ; 23 *15cm.
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
Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité ST13089 510/18.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13090 510/18.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST13091 510/18.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST13092 510/18.4 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible