• Aucun résultat trouvé

Eléments de logique formelle et 
 du raisonnement mathématique

N/A
N/A
Protected

Academic year: 2022

Partager "Eléments de logique formelle et 
 du raisonnement mathématique"

Copied!
6
0
0

Texte intégral

(1)

Eléments de logique formelle et 
 du raisonnement mathématique

2018-2019

Yu LI

yu.li@u-picardie.fr

https://home.mis.u-picardie.fr/~yli/index.php Université de Picardie Jules Verne

l'UFR des Sciences, 33 rue St Leu
 80039 Amiens Cedex

(2)

Organisation

• Enseignants :

Cours : Yu LI (responsable de l’UE)

TDs : F. Furst, N. Kagan, R. Hadid, Y. Li, M.

Rosselle, V. Villain

• Enseignement :

12h CM 16h TD

• Modalité de contrôle des connaissances :

Max 【 (CC1+CC2)/2 , max ( CC1 , CC2 )】

(3)

Objectif

Thème :

• La logique et le langage But :

1. Maîtriser les notions de base en logique propositionnelle et en logique des prédicats :

• Syntaxe, sémantique et théorie de la démonstration 2. Etre capable de modéliser des problèmes pratiques et

d’exprimer des réflexions dans un contexte donné à l’aide des formules de Logique :

• La relation entre le langage naturel et le langage formel

(4)

Contenu

1. Introduction

2. Langage et logique

3. Elements de la logique propositionnelle 4. Elements de la logique des prédicats

5. Perspective

(5)

Référence

• Mon site :

• https://home.mis.u-picardie.fr/~yli/index.php

• Le cours d’Aristoteles Giannakos

• Les documents concernés sur le Wikipédia

• Les livres à la BU :

• R. Cori, D. Lascar, J-L Krivine : Logique mathématique 1, Calcul propositionnel, algébre de Boole, calcul des prédicats, Paris, Dunod 2005

• N. Bourkaki : Théorie des ensembles (Chapitre 1), Paris, Hermann

• S. Devismes, P. Lafourcade, M. Lévy : Logique et

démonstration automatique : introduction à la logique propostionnelle et à la logique du premier ordre, Paris, Ellipses

(6)

Semaine Cours TD Contrôle-Continue

07/01/19 2h

14/01/19 2h

21/01/19 2h 2h

28/01/19 2h

04/02/19 2h 2h

11/02/19 2h  

18/02/19 Interruption des cours

25/02/19 CC1

04/03/19 2h 2h

11/03/19 2h 2h

18/03/19 2h

25/03/19 2h

01/04/19 CC2

Références

Documents relatifs

Pour que deux cercles du plan n'aient pas d'intersection, il faut et il sut que la distance entre leurs centres soit supérieure strictement à la somme de leurs rayons.. Pour que

propriétés élémentaires du calcul propositionnel permet de conclure sans excès de technicité.. Cette capacité est également mise en œuvre

a) Détermine le nombre d’élèves qui écoutent seulement la musique pop. Montre ton travail. b) Détermine le nombre d’élèves qui écoutent la musique country ou la musique

La taille | ⇧ | d’une preuve en calcul des s´equents est le nombre de r`egles qui sont soit des coupures, soit des r`egles d’introduction, soit l’axiome (on ne compte pas

On s'intéresse dans cette section aux formules propositionnelles, c'est à dire sans quantica- teurs. On peut dénir inductivement l'interprétation d'une formule propositionnelle

Quand nous passons à la considération des propositions hypothétiques, les mêmes lois et le même axiome général qui devrait peut-être également être regardé comme une