Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxCapcha has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.capcha.php on line 9

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxErreur has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.erreur.php on line 9

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxGlob has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.glob.php on line 10

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxRecord has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.record.php on line 10

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxMotor has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 10

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxFeed has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.feed.php on line 9

Warning: Declaration of plxFeed::prechauffage() should be compatible with plxMotor::prechauffage($mode = '', $motif = '', $bypage = '') in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.feed.php on line 500

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxShow has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 9

Deprecated: Non-static method plxDate::microtime() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 57

Deprecated: Non-static method plxUtils::getGets() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 58

Deprecated: Non-static method plxUtils::mobileDetect() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 66

Warning: Cannot modify header information - headers already sent by (output started at /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.capcha.php:9) in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.utils.php on line 548

Warning: Cannot modify header information - headers already sent by (output started at /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.capcha.php:9) in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.utils.php on line 549

Deprecated: Non-static method plxDate::dateToIso() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 468

Deprecated: Non-static method plxDate::dateToIso() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 468

Deprecated: Non-static method plxDate::dateToIso() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 468

Deprecated: Non-static method plxDate::dateToIso() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.motor.php on line 468

Warning: Cannot modify header information - headers already sent by (output started at /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.capcha.php:9) in /homepages/3/d170528928/htdocs/jm/bn/index.php on line 51

Deprecated: Methods with the same name as their class will not be constructors in a future version of PHP; plxStats has a deprecated constructor in /homepages/3/d170528928/htdocs/jm/bn/plugins/stats/stats.php on line 9

Deprecated: Non-static method plxUtils::getIp() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/plugins/stats/stats.php on line 130

Deprecated: Non-static method plxUtils::getIp() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/plugins/stats/stats.php on line 131

Strict Standards: date(): We selected 'Europe/London' for 'BST/1.0/DST' instead in /homepages/3/d170528928/htdocs/jm/bn/plugins/stats/stats.php on line 142

Deprecated: Non-static method plxUtils::write() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/plugins/stats/stats.php on line 98
Linenn - Jeux et Mathematiques - <br /> <b>Deprecated</b>: Non-static method plxUtils::strCheck() should not be called statically in <b>/homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php</b> on line <b>123</b><br /> linenn - Logique


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 376
George Boole fait la différence

Catégorie :
Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 448
Logique | le
Deprecated: Non-static method plxDate::dateIsoToHum() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 405

Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 109

Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 110
mardi 16 février 2010


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 476
$$\sum_{i=0}^n i^3 = \left(\sum_{i=0}^n i\right)^2$$

Démonstration : l'égalité est vraie pour $n = 0, 1, 2, 3, 4$ donc est vraie pour tout $n$.

Lire : George Boole fait la différence


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 551
0 commentaire(s)


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 376
Intuitionnisme constructif

Catégorie :
Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 448
Logique | le
Deprecated: Non-static method plxDate::dateIsoToHum() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 405

Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 109

Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 110
mardi 12 janvier 2010


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 476

Cours de logique Constructive

Consultez mes pages de liens de logique pour obtenir des cours de logique.
Plusieurs autres pages concernent l'intuitionnisme, la logique linéaire, Gödel, Cantor, Peano, Tarski, Russell, Turing, Zermelo etc.

Lire : Intuitionnisme constructif


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 551
0 commentaire(s)


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 376
Par l'absurde

Catégorie :
Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 448
Logique | le
Deprecated: Non-static method plxDate::dateIsoToHum() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 405

Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 109

Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 110
mercredi 30 décembre 2009


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 476

Un raisonnement par l'absurde,
– ce n'est pas montrer que P est absurde, (qui n'est qu'une démonstration de non‑P).
– c'est montrer que non‑P est absurde, (pour tout P, non‑non‑P entraîne P).

Voici trois courts extraits de livres et un commentaire intercalé. Pour terminer, une liste de liens complétée de temps en temps.

Lire : Par l'absurde


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 551
0 commentaire(s)


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 376
Polynômes d'ensembles

Catégorie :
Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 448
Logique | le
Deprecated: Non-static method plxDate::dateIsoToHum() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 405

Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 109

Deprecated: Non-static method plxDate::getCalendar() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.date.php on line 110
vendredi 25 décembre 2009


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 476
Théorème : Soit X un ensemble tel que X soit équipotent à 1 + X2.
Alors X7 est équipotent à X.

Lire : Polynômes d'ensembles


Deprecated: Non-static method plxUtils::strCheck() should not be called statically in /homepages/3/d170528928/htdocs/jm/bn/core/lib/class.plx.show.php on line 551
0 commentaire(s)

page 1 sur 1