بسم الله الرحمن الرحيم

عزيزي الزائر / عزيزتي الزائرة، يرجى التكرم بتسجيل الدخول إن كنت عضوا(ة) معنا.
أو التسجيل إن لم تكن عضوا(ة) و ترغب في الانضمام إلى أسرة المنتدى.
سنتشرف بتسجيلك
شكرا
إدارة المنتدى.
بسم الله الرحمن الرحيم

عزيزي الزائر / عزيزتي الزائرة، يرجى التكرم بتسجيل الدخول إن كنت عضوا(ة) معنا.
أو التسجيل إن لم تكن عضوا(ة) و ترغب في الانضمام إلى أسرة المنتدى.
سنتشرف بتسجيلك
شكرا
إدارة المنتدى.
هل تريد التفاعل مع هذه المساهمة؟ كل ما عليك هو إنشاء حساب جديد ببضع خطوات أو تسجيل الدخول للمتابعة.



Free CursorsMyspace Lay
 
الرئيسيةأحدث الصورالتسجيلدخول

 

 Introduction a la logique Théorie de la démonstration

اذهب الى الأسفل 
كاتب الموضوعرسالة
Admin
المدير العام
المدير العام



عدد المساهمات : 13176
تاريخ التسجيل : 09/12/2010

Introduction a la logique Théorie de la démonstration Empty
مُساهمةموضوع: Introduction a la logique Théorie de la démonstration   Introduction a la logique Théorie de la démonstration I_icon_minitime10/7/2011, 16:45




[ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذه الصورة]
Introduction a la logique Théorie de la démonstration
[ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذه الصورة]



René David, Karim Nour, Christophe Raffalli,
"Introduction à la logique : Théorie de la démonstration, cours et
exercices corrigés"

Dunod | 2001 | ISBN: 2100048929 | 334 pages | Djvu | 5,9 MB

Ce
cours est une introduction à la logique mathématique et, en
particulier, la théorie de la démonstration. On y donne la réponse du
mathématicien aux questions « qu'est-ce qu'un énoncé ? une démonstration
?» ou, plus fondamentalement, « qu'est-ce que les mathématiques ? », en
l'illustrant par de nombreux exemples
de mathématiques courantes. Il aborde également la logique
intuitionniste qui donne des preuves constructives et les techniques de
base de la démonstration automatique. Ces notions sont essentielles en
informatique.
Ce livre, destiné aux étudiants de licence et maîtrise
de mathématiques ne suppose aucun prérequis en logique. Il contient plus
de 150 exercices corrigés de tous niveaux. Il pourra aussi intéresser
les étudiants qui préparent le Capes et l'Agrégation et veulent pouvoir
répondre aux questions de fond de leurs futurs élèves.
Le premier
chapitre est conçu pour pouvoir être lu et travaillé avec profit par les
étudiants de DEUG MIAS qui veulent apprendre à raisonner correctement.
Des
exercices corrigés sont proposés en fin de chapitres : certains
corrigés, réalisés avec le logiciel PhoX, sont disponibles sur le site
web du laboratoire de Mathématiques de l'université de Savoie.


[ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذه الصورة]

depositfiles.com
الرجوع الى أعلى الصفحة اذهب الى الأسفل
https://ecolay.yoo7.com
 
Introduction a la logique Théorie de la démonstration
الرجوع الى أعلى الصفحة 
صفحة 1 من اصل 1
 مواضيع مماثلة
-
» Notion de Logique
» Introduction à la cristallographie
» Physique Statistique Introduction

صلاحيات هذا المنتدى:لاتستطيع الرد على المواضيع في هذا المنتدى
 :: التعليم العالي :: كتب علمية-
انتقل الى: