| Titre : |
ALGÈBRE I RAPPELS DE COURS ET EXERCICES AVEC SOLUTIONS |
| Type de document : |
texte imprimé |
| Auteurs : |
Mohamed Bey Baba Hamed (19..-....), Auteur ; benhabib |
| Editeur : |
[S.l.] : opu |
| Année de publication : |
1986 |
| Importance : |
285p |
| Format : |
19x27 |
| Langues : |
Français (fre) |
| Index. décimale : |
002.A |
| Résumé : |
En mathématique ,ctest }I intuition qui donne l a compréhension. La logi·- que permet une ~i se en forme .. et un .90ntrôl~ de l' intui tian (certa1ns ré ~· -sultats intuitifs sont faux ! ) pour const1::uiro à l 'infini de nouveaux objets mathématiques et pour conduire les ::caison:.'1ements.
La théori e des ensembles peut être rédi ~ ée dans un langage convention- nel dit formalis 6.
De façon scht5matiqu8 t le principe d ' u.."1.c c onstruct i on fonnalisée et axiomatique de cette t héorie est le suivant On se donne un petit nomhr? dt: s if:T1es l ogiques et de: ~ègles permettant d'écrire des ass('mblaces ; on en distin~n e deux sorte.:; : les .term.E., ( exemple ~ ensembJ.e) Jet 1 '~8 :~i.l_~_~_iy.ns. r (?'p.rése:ntant les asserti ons que l' on peut faire SUT des (l b,i ~ ts pour en exp:-:-i."'ller les proprié t éa .
Puis on se donne dl3 ::i rè :::::l~s a.ppelées ,rè,gl es de logique formel le permet- tant de construire d ~ Ilci.\velles relations etc • •• On adme ttra que t..çmte rele. ti()n ~s t v:::.alf. ou .f.~,H~s.§...
Pour l a noticn.de vérité mathématique , on adopte t out d'abord quelques axiomes , c' est-à·-dire quelques re;.atiO!l3 considérées comme vraies par ~ypothèse. Ensuite tune démonsb.~ation per.r.e t d 'en déduire IOl5iquement d'autres relations VIa Les ,norr..:nées théc,r~mcs ( ou propositions ,lemmes, corollaires, etc..... |
ALGÈBRE I RAPPELS DE COURS ET EXERCICES AVEC SOLUTIONS [texte imprimé] / Mohamed Bey Baba Hamed (19..-....), Auteur ; benhabib . - [S.l.] : opu, 1986 . - 285p ; 19x27. Langues : Français ( fre)
| Index. décimale : |
002.A |
| Résumé : |
En mathématique ,ctest }I intuition qui donne l a compréhension. La logi·- que permet une ~i se en forme .. et un .90ntrôl~ de l' intui tian (certa1ns ré ~· -sultats intuitifs sont faux ! ) pour const1::uiro à l 'infini de nouveaux objets mathématiques et pour conduire les ::caison:.'1ements.
La théori e des ensembles peut être rédi ~ ée dans un langage convention- nel dit formalis 6.
De façon scht5matiqu8 t le principe d ' u.."1.c c onstruct i on fonnalisée et axiomatique de cette t héorie est le suivant On se donne un petit nomhr? dt: s if:T1es l ogiques et de: ~ègles permettant d'écrire des ass('mblaces ; on en distin~n e deux sorte.:; : les .term.E., ( exemple ~ ensembJ.e) Jet 1 '~8 :~i.l_~_~_iy.ns. r (?'p.rése:ntant les asserti ons que l' on peut faire SUT des (l b,i ~ ts pour en exp:-:-i."'ller les proprié t éa .
Puis on se donne dl3 ::i rè :::::l~s a.ppelées ,rè,gl es de logique formel le permet- tant de construire d ~ Ilci.\velles relations etc • •• On adme ttra que t..çmte rele. ti()n ~s t v:::.alf. ou .f.~,H~s.§...
Pour l a noticn.de vérité mathématique , on adopte t out d'abord quelques axiomes , c' est-à·-dire quelques re;.atiO!l3 considérées comme vraies par ~ypothèse. Ensuite tune démonsb.~ation per.r.e t d 'en déduire IOl5iquement d'autres relations VIa Les ,norr..:nées théc,r~mcs ( ou propositions ,lemmes, corollaires, etc..... |
|
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Interroger des sources externes
