| Titre : |
15 Leçons de logique mathématique |
| Type de document : |
texte imprimé |
| Auteurs : |
Karl Djanseitov ; Kerfana Ghalem |
| Editeur : |
alger : O.P.U |
| Année de publication : |
1986 |
| Importance : |
60 p. |
| Format : |
27 cm. |
| Note générale : |
index |
| Langues : |
Français (fre) Langues originales : Français (fre) |
| Résumé : |
Leçons 1 : les périodes du développement des mathématique, Leçons 2 : l'idée de système formel, Leçons 3 : les règles d'inférence dérivées, Leçons 4 : les fonctions de vérité des formules proposition- nelles, Leçons 5 : le théorème de la complétude du cp par rapport à la validité, Leçons 6 : le théorème de la complétude du cp par rapport à la propriété de compatibilité, Leçons 7 : les interprétations sémantiques et les modifications du cp, Leçons 8 : les treillis et les algèbres de boole, Leçons 9 : les automates finis, Leçons 10 : éléments de la théorie des algorithmles, Leçons 11 : les machines de turing- post, Leçons 12 : le système formel du calcul des prédicats restreint (cpr) , Leçons 13 : les modèles (interprétations sémantiques) des collection de formules du cpr, Leçons 14 : le calcul des prédicats élargi (cpe), Leçons 15 : le problème de la compatibilité de la théorie des ensembles. |
15 Leçons de logique mathématique [texte imprimé] / Karl Djanseitov ; Kerfana Ghalem . - alger : O.P.U, 1986 . - 60 p. ; 27 cm. index Langues : Français ( fre) Langues originales : Français ( fre)
| Résumé : |
Leçons 1 : les périodes du développement des mathématique, Leçons 2 : l'idée de système formel, Leçons 3 : les règles d'inférence dérivées, Leçons 4 : les fonctions de vérité des formules proposition- nelles, Leçons 5 : le théorème de la complétude du cp par rapport à la validité, Leçons 6 : le théorème de la complétude du cp par rapport à la propriété de compatibilité, Leçons 7 : les interprétations sémantiques et les modifications du cp, Leçons 8 : les treillis et les algèbres de boole, Leçons 9 : les automates finis, Leçons 10 : éléments de la théorie des algorithmles, Leçons 11 : les machines de turing- post, Leçons 12 : le système formel du calcul des prédicats restreint (cpr) , Leçons 13 : les modèles (interprétations sémantiques) des collection de formules du cpr, Leçons 14 : le calcul des prédicats élargi (cpe), Leçons 15 : le problème de la compatibilité de la théorie des ensembles. |
|
15 Leçons de logique mathématique
