الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Détail d'une collection
|
|
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externes
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
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
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
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
Titre : Matrices : Cours et problèmes M. 003 Type de document : texte imprimé Auteurs : (S. Aut.) Editeur : Alger [Algérie] : OPU Année de publication : 1979 Collection : L'enseignement mathématique Importance : 218 p. Présentation : ill. Format : 24 cm. Note générale : Éditeur : OPU (1979)
Langue : Français
Broché : 218 pages
ISBN-13 : -
Poids de l'article : 200 g
Dimensions : 17.5 x 2.5 x 15 cm
Langues : Français (fre) Mots-clés : matrices déterminant d'une matrice carrée calcul de déterminants équivalence inverse d'une matrice corps dépendance linéaire Systèmes d’équations linéaires espace vectoriels applications linéaires vecteurs congruence formes bilinéaires formes linéaires formes quadratiques et hermitiennes matrices semblables polynômes sur un corps formes canoniques Index. décimale : 512 Algèbre Résumé : Sommaire :
matrices
déterminant d'une matrice carrée
calcul de déterminants
équivalence
inverse d'une matrice
corps
dépendance linéaire
Systèmes d’équations linéaires
espace vectoriels
applications linéaires
vecteurs
congruence
formes bilinéaires
formes linéaires formes quadratiques et hermitiennes
matrices semblables
polynômes sur un corps
formes canoniquesNote de contenu : index [périodique] Matrices : Cours et problèmes M. 003 [texte imprimé] / (S. Aut.) . - Alger (16000, Algérie) : OPU, 1979 . - 218 p. : ill. ; 24 cm.. - (L'enseignement mathématique) .
Éditeur : OPU (1979)
Langue : Français
Broché : 218 pages
ISBN-13 : -
Poids de l'article : 200 g
Dimensions : 17.5 x 2.5 x 15 cm
Langues : Français (fre)
Mots-clés : matrices déterminant d'une matrice carrée calcul de déterminants équivalence inverse d'une matrice corps dépendance linéaire Systèmes d’équations linéaires espace vectoriels applications linéaires vecteurs congruence formes bilinéaires formes linéaires formes quadratiques et hermitiennes matrices semblables polynômes sur un corps formes canoniques Index. décimale : 512 Algèbre Résumé : Sommaire :
matrices
déterminant d'une matrice carrée
calcul de déterminants
équivalence
inverse d'une matrice
corps
dépendance linéaire
Systèmes d’équations linéaires
espace vectoriels
applications linéaires
vecteurs
congruence
formes bilinéaires
formes linéaires formes quadratiques et hermitiennes
matrices semblables
polynômes sur un corps
formes canoniquesNote de contenu : index Permalink
