Logique formelle

par **guigui51250** » 20 Déc 2008, 12:10

Bonjour,

Mon prof de philosophie m'a dit que quand il était en Terminale (il y a 25 ans de ça ^^), en maths il avait un chapitre qui s'appelait "Logique formelle" et qu'il était très interessant. J'ai cherché sur Google mais je ne trouve pas de cours sur la logique formelle, quelqu'un sait où trouver ça? ou quelqu'un a un cours sur ça?

guillaume

par **Zweig** » 20 Déc 2008, 12:12

Je suppose que ça devait être le premier cours qu'on a aujourd'hui en math sup, sur les ensembles, les quantificateurs etc ...

par **axiome** » 20 Déc 2008, 12:14

Zweig a écrit:Je suppose que ça devait être le premier cours qu'on a aujourd'hui en math sup, sur les ensembles, les quantificateurs etc ...

Oui, avec les tables de vérité aussi et tout ce bazar...
Il paraît que c'était au programme du lycée y a longtemps en effet...

par **Zweig** » 20 Déc 2008, 12:15

Ca commençait même au collège (j'ai vu ça dans des vieux bouquins de 5° des années 70).

par **guigui51250** » 20 Déc 2008, 12:19

et donc vous ne savez pas où je peux avoir ce genre de cours? dans des vieux bouquins de collèges et lycées?

par **Zweig** » 20 Déc 2008, 12:22

Tout simplement dans des livres de MPSI ou bien en cherchant sur Google, il y'a pas mal de sites de profs de prépas qui proposent des cours rédigés en téléchargement gratuit.

par **guigui51250** » 20 Déc 2008, 12:23

ah je ne savais pas que c'était au programme de MPSI ^^ je vais chercher

par **guigui51250** » 20 Déc 2008, 12:28

ah c'est bon j'ai trouvé un PDF, 45 pages...

http://www.loria.fr/~roegel/cours/logique-pdf.pdf pour ceux que ça interesse

Logique formelle

Logique formelle

Qui est en ligne