Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
0Activity

Table Of Contents

1.2 Syntaxe et sémantique
1.3.1 Les termes
1.3.2 Les formules atomiques
1.3.3 Les connecteurs
1.3.4 Les quantificateurs
1.3.5 Signes lieurs
1.3.6 Logique du premier ordre et logique d’ordre supérieur
1.3.7 Les notations purement logique
1.3.8 Signature et théorie
1.4.1 Signature et structure
1.4.2 Interprétation dans une structure
1.5 Langage et meta-langage
2.1.1 Structure arborescente des preuves
2.1.2 Contexte et conclusion
2.1.3 Un exemple de preuve
2.1.4 Règles d’introduction, règles d’élimination
2.2 La substitution
2.3 Les règles de preuve
2.4 La déduction
2.5 Quelques exemples de dérivation
3.1 L’exemple des entiers
3.5 Complexité d’une dérivation
4.1 introduction
4.2 Syntaxe
4.3 Sémantique
4.4 Exemples de formalisation en calcul propositionnel
4.5 Déduction en calcul propositionnel
4.6.1 Négation des connecteurs usuels
4.6.3 Propriétés de la disjonction et de la conjonction
4.6.4 Propriétés de l’implication et de l’équivalence
4.6.5 Encore quelques équivalences
4.7.1 Définitions
4.7.2 Table de vérité et formes normales
4.7.3 Systèmes complets de connecteurs
4.7.4 Mise sous forme normale
4.8.1 Un peu de complexité
4.8.2 La déduction
4.8.3 Satisfaction, Réfutation
4.8.4 Tables de vérité réduites
5.1 Quelques préliminaires sur la relation de déduction
5.2 Énoncés du théorème de complétude
5.3 Le théorème de compacité
5.4.1 Quelques préliminaires
5.4.2 Plan de la preuve
5.4.3 Une théorie complète et saturée Ts
5.4.4 Une valuation validant T
6.1 Introduction
6.2 Signature
6.3.1 Termes de l’arithmétique
6.3.2 Cas général
6.3.3 Quelques définitions
6.4.1 L’arithmétique
6.4.2 Cas général
6.5.1 Définition des formules
6.5.2 Occurrences libres ou liées d’une variable, substitution
7.1 Introduction
7.2 Signature et structure
7.3 Environnements
7.4.1 Interprétation des termes
7.4.2 Interprétation des formules : notations
7.4.3 Interprétation des formules atomiques
7.4.4 Interprétation des formules
7.4.5 Remarques
7.5.1 Formules satisfaisables
7.5.2 Quelques notations
7.5.3 Théories
7.6 Morphismes
7.7 Conséquence sémantique
8.1 Introduction
8.2 Quelques équivalences logiques et formules universellement valides
8.3 Formes prénexes, formes de Skolem
8.4 Un exemple d’élimination des quantificateurs
9.1 Quelques préliminaires sur la relation de déduction
9.2 La propriété d’adéquation
9.3 Énoncés du théorème de complétude, compacité
9.4 Principe de la démonstration
9.5.1 Une théorie complète et saturée Ts
9.5.2 Construction d’un modèle de T
9.6 Calcul des prédicats avec égalité
9.7 Théorème de Lowenheim-Skolem
0 of .
Results for:
No results containing your search query
P. 1
Cours (3)

Cours (3)

Ratings: (0)|Views: 3|Likes:
Published by Antonio Ramirez

More info:

Published by: Antonio Ramirez on Mar 18, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/18/2013

pdf

text

original

You're Reading a Free Preview
Pages 4 to 22 are not shown in this preview.
You're Reading a Free Preview
Pages 26 to 75 are not shown in this preview.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->