| Titre : |
ALGÈBRE I RAPPELS DE COURS ET EXERCICES AVEC SOLUTIONS |
| Type de document : |
texte imprimé |
| Auteurs : |
C, Baba-Hamed, Auteur |
| Editeur : |
alger : O.P.U |
| Année de publication : |
2015 |
| Importance : |
285p |
| Format : |
27 cm |
| ISBN/ISSN/EAN : |
978-9961-0-0437-1 |
| Langues : |
Français (fre) |
| Index. décimale : |
510 math |
| 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 |
ALGÈBRE I RAPPELS DE COURS ET EXERCICES AVEC SOLUTIONS [texte imprimé] / C, Baba-Hamed, Auteur . - alger : O.P.U, 2015 . - 285p ; 27 cm. ISBN : 978-9961-0-0437-1 Langues : Français ( fre)
| Index. décimale : |
510 math |
| 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 |
|  |
Affiner la recherche Interroger des sources externes
