Titre de série : |
Baba-Hamed, C |
Titre : |
Algebre 1 : rappels de cours et exercices avec solutions |
Type de document : |
texte imprimé |
Editeur : |
Alger, Éditeur : OPU |
Année de publication : |
2016 |
Importance : |
296p |
Format : |
19x27cm |
ISBN/ISSN/EAN : |
978-9961-0-0437-1 |
Langues : |
Français (fre) |
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........ |
Baba-Hamed, C. Algebre 1 : rappels de cours et exercices avec solutions [texte imprimé] . - [S.l.] : Alger, Éditeur : OPU, 2016 . - 296p ; 19x27cm. ISBN : 978-9961-0-0437-1 Langues : Français ( fre)
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........ |
| |