UE Sémantique –
2 (12h-15h, salle B231)
(second semestre)
cours n°1
Introduction à la sémantique
des phrases
cours 1 Ambiguïtés
cours 2 Inférences
cours 3 Inférences
logiques
exemplier
1
Exercices
1
Exercices 2
Exercices 3
Devoir n°1
cours 4 Sémantique
basée sur la notion de modèle
exemplier 2
(+ exercices)
Devoir n°2
à rendre le 14 avril impérativement
cours 5 Inférence
et quantifieurs
exemplier 3
Exercices 4
Devoir de rattrapage
n°1
Corrigé
du devoir n°1
Corrigé
du devoir n°2
ATTENTION: la fiche d'exercices n°4
(deux premiers exercices) peut compter comme devoir de rattrapage
n°2.
Devoir n°3
Corrigé
du devoir de rattrapage n°2 (fiche d'exercices n°4)
Corrigé
du devoir de rattrapage n°1
cours 6 Inférence
pragmatique et présupposition
cours 7 Sémantique
et pragmatique (maximes de Grice)
Devoir de rattrapage
Corrigé
du devoir n°3 (NEW)
Attention: l'examen partiel
a lieu le 9 juin (12h-15h)
UE Sémantique –
3
lire la présentation
de ce cours
cours
n°1 (01/10/07): ce qui a été vu en cours ce
lundi
Attention : à partir du 08/10/07,
déplacement du cours à 12h au lieu de 15h,
en salle A312
fascicule de cours "Sémantique
de l’énoncé"
o rappels : sémantique vériconditionnelle,
logique du premier ordre
exercices
1
cours n°2
: Langages prédicatifs et modèles
exercices
2
exercices 3
(formules de logique des prédicats)
correction
des exercices 3
devoir n°1
exercices
4 (évaluation d'une formule par rapport à
un modèle)
correction
des exercices 4
cours n°3 :
Sémantique des constituants syntaxiques
Aide
pour le devoir n°1 (à
lire attentivement pour ceux et celles qui n'ont pas bien compris
l'exercice n°2)
correction
du devoir n°1
devoir de
rattrapage (pour ceux ou celles qui ont raté le
devoir n°1)
devoir n°2
correction
du devoir n°2
Attention: le partiel
a lieu lundi 14 janvier de 12h à 15h (salle A312)
devoir
de rattrapage n°2 NEW!
UE Logique
cours
n°1 : Opérateurs booléens
« The Laws of Thought », Boole, L’algèbre
de Boole
exercices (1)
exercices (2)
devoir
n°1
cours
n°2: L'algèbre de Boole {0, 1}
cours
n°3: Le calcul propositionnel (tables de vérité)
exercices
(3)
corrigé
du devoir n°1
devoir de rattrapage
(pour ceux/celles qui ont raté le devoir n°1!)
Il est demandé
à tous les étudiants de bien vouloir m'envoyer leur
adresse email pour que je puisse les contacter en cas de besoin.
merci.
(envoyer l'adresse à: alecomte at
univ-paris8.fr)
corrigé
de la fiche d'exercices n°2 sur les opérations booléennes
exercices
(4)
Remarque: ces exercices se rapportent au cours n°3,
et en particulier à la dernière partie du fascicule
(voir règles d'inférence, paragraphe 3-3-2, remarquer
en particulier le "théorème 4" qui dit
que pour démontrer que A => B est toujours vrai, il
suffit de démontrer que l'hypothèse A permet d'inférer
B)
devoir
n°2
cours
n°4: Le calcul propositionnel-II (règles d'inférences)
correction
du devoir n°2
Attention : dernier
devoir de rattrapage
Attention: le partiel
a lieu mardi 15 janvier de 9h à 11h30
