Titre :	COURS DE LOGIQUE MATHEMATIQUES : m. 102
Type de document :	texte imprimé
Auteurs :	office des publications universitaires
Mention d'édition :	2
Editeur :	alger : O.P.U
Année de publication :	1983
Importance :	143P.
Format :	22CM.
Langues :	Français (fre)
Résumé :	Ces notes sont tirée d'un cours de logique enseigné dans le cadre de la naftries de mathémetiques à l'université claude -bernard.Nous ne pouvions ; dans le temps imparti pour ce cours; donner une vue d'ensemble de la logique mathématique sans en rester au niveau de générakités superficielles. Nous avons donc sélection- né quelques thémes;importants et susceptibles d'étre rapidement développés en pro-fondeur,à partir de deux méthodes complémentaires: - la méthode destableau sémantiques,de beth, qui part de l'idée de vérité . -la méthode de déduotion naturelle, de gentzen ,qui part plutot de l'idee intuitive de preuve.

COURS DE LOGIQUE MATHEMATIQUES : m. 102 [texte imprimé] / office des publications universitaires  . -  2 . - alger : O.P.U, 1983 . - 143P. ; 22CM.
Langues : Français (fre)

Résumé :

Ces notes sont tirée d'un cours de logique enseigné dans le cadre de la naftries de mathémetiques à l'université claude -bernard.Nous ne pouvions ; dans le temps imparti pour ce cours; donner une vue d'ensemble de la logique mathématique sans en rester au niveau de générakités superficielles. Nous avons donc sélection- né quelques thémes;importants et susceptibles d'étre rapidement développés en pro-fondeur,à partir de deux méthodes complémentaires: - la méthode destableau sémantiques,de beth, qui part de l'idée de vérité . -la méthode de déduotion naturelle, de gentzen ,qui part plutot de l'idee intuitive de preuve.