Détail de l'auteur
Auteur office des publications universitaires |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche Interroger des sources externes
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. Réservation
Réserver ce document
Exemplaires (22)
Code-barres Cote Support Localisation Section Disponibilité m8/422--1 m8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--10 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--11 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--12 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--13 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--14 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--15 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--16 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--17 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--18 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--19 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--2 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--20 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--21 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--22 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--3 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--4 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--5 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--6 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--7 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--8 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible M8/422--9 M8/422 Périodique Mathématiques et 'informatique indéterminé Disponible
