Algèbre

Algèbre 1: rappels de cours et exercices avec solutions

---

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..................

---

التوفّر

معلومات بالتفصيل

عنوان السلسلة

-

رقم الطلب

512-4/005

ناشر

Alger : Office des publications Universitaires., 2011

التوريق

285p.

اللغة

Français

ردمك/ردمد

978-9961-0-0437-1

تَصْنِيفٌ

512-4/005

نوع المحتويات

-

نوع الوسائط

-

نوع الناقل

-

الإصدارة

-

موضوع

-

تفاصيل محددة

-

بيان المسؤولية

-

نسخ أخرى/مرتبطة

ملف مرفق

التعليقات

---

You must be logged in to post a comment