Catalogue des ouvrages Université de Laghouat
A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Gilles Dowek
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheLes démonstrations et les algorithmes / Gilles Dowek
Titre : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Palaiseau : Éditions de l'école polytechnique Année de publication : 2010 Importance : 1 vol. (193 p.) Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Note générale : La 4ème de couv. porte : "Informatique" Langues : Français Mots-clés : Logique mathématique Algorithmes Résumé : Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gôdel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même. Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : Éditions de l'école polytechnique, 2010 . - 1 vol. (193 p.) : ill., couv. ill. en coul. ; 25 cm.
ISBN : 978-2-7302-1569-5
La 4ème de couv. porte : "Informatique"
Langues : Français
Mots-clés : Logique mathématique Algorithmes Résumé : Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gôdel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 511.3-8/1 511.3-8/1 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-8/2 511.3-8/2 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-8/3 511.3-8/3 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-8/4 511.3-8/4 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-8/5 511.3-8/5 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-8/6 511.3-8/6 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-8/7 511.3-8/7 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-8/8 511.3-8/8 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-17-1 511.3-17-1 Livre interne BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-17-2 511.3-17-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible
Titre : Les démonstrations mathématiques : cours complet avec 127 exercices résolus Type de document : texte imprimé Auteurs : René David, Auteur ; Pierre Hyvernat, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Gilles Dowek, Préfacier, etc. Editeur : Paris [France] : Ellipses Année de publication : 2017 Collection : Références sciences Importance : 1 vol. (360 p.) Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-340-01666-8 Langues : Français Mots-clés : Théorie de la démonstration Raisonnement Résumé : Ce livre présente le langage utilisé par les mathématiciens en commençant par la construction et la sémantique des énoncés. Les règles de raisonnement à la base de toutes les démonstrations sont ensuite exposées en détail. Nous détaillons également les éléments de français qui permettent d'exprimer les preuves mathématiques par des textes concis, variés et intelligibles. La seconde moitié de l'ouvrage insiste sur les difficultés de raisonnement et de langage exclusivement à travers d'exemples.
La plupart sont tirés du programme du lycée et de première année universitaire ; d'autres, ludiques et moins conventionnels, ne nécessitent pas de connaissance supplémentaire. Les nombreux exercices ne testent pas uniquement les compétences mathématiques mais surtout la compréhension des principes de démonstration. A notre connaissance, ce style d'exercice n'existe dans aucun autre ouvrage. Les corrections proposées ne contiennent pas simplement une démonstration possible mais sont souvent accompagnées de commentaires sur le raisonnement sous-jacent.
Ce livre ne traite pas de logique formelle mais se veut une référence pour un cours de mathématiques sur le raisonnement tel qu'il est pratiqué. L'enseignant y trouvera des exemples et des explications qu'il pourra facilement réutiliser. L'étudiant qui aura assimilé les principes présentés sera mieux armé pour s'attaquer à la compréhension de notions mathématiques plus complexes.Les démonstrations mathématiques : cours complet avec 127 exercices résolus [texte imprimé] / René David, Auteur ; Pierre Hyvernat, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Gilles Dowek, Préfacier, etc. . - Paris (France) : Ellipses, 2017 . - 1 vol. (360 p.) : ill. ; 24 cm.. - (Références sciences) .
ISBN : 978-2-340-01666-8
Langues : Français
Mots-clés : Théorie de la démonstration Raisonnement Résumé : Ce livre présente le langage utilisé par les mathématiciens en commençant par la construction et la sémantique des énoncés. Les règles de raisonnement à la base de toutes les démonstrations sont ensuite exposées en détail. Nous détaillons également les éléments de français qui permettent d'exprimer les preuves mathématiques par des textes concis, variés et intelligibles. La seconde moitié de l'ouvrage insiste sur les difficultés de raisonnement et de langage exclusivement à travers d'exemples.
La plupart sont tirés du programme du lycée et de première année universitaire ; d'autres, ludiques et moins conventionnels, ne nécessitent pas de connaissance supplémentaire. Les nombreux exercices ne testent pas uniquement les compétences mathématiques mais surtout la compréhension des principes de démonstration. A notre connaissance, ce style d'exercice n'existe dans aucun autre ouvrage. Les corrections proposées ne contiennent pas simplement une démonstration possible mais sont souvent accompagnées de commentaires sur le raisonnement sous-jacent.
Ce livre ne traite pas de logique formelle mais se veut une référence pour un cours de mathématiques sur le raisonnement tel qu'il est pratiqué. L'enseignant y trouvera des exemples et des explications qu'il pourra facilement réutiliser. L'étudiant qui aura assimilé les principes présentés sera mieux armé pour s'attaquer à la compréhension de notions mathématiques plus complexes.Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 511.3-9/1 511.3-9/1 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-9/2 511.3-9/2 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-9/3 511.3-9/3 Livre externe BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE Mathématique (TEC) Disponible 511.3-24-1 511.3-24-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-24-2 511.3-24-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-24-3 511.3-24-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible 511.3-24-4 511.3-24-4 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Mathématique (SCI) Disponible
Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur ; Jean-Jacques Lévy, Auteur Editeur : Palaiseau : Éditions de l'école polytechnique Année de publication : impr. 2006. Importance : 1 vol. (109 p.) Présentation : couv. ill. en coul., fig. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7302-1333-2 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : programmation Sémantique dénotationnelle Sémantique opérationnelle Résumé : La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Introduction à la théorie des langages de programmation [texte imprimé] / Gilles Dowek, Auteur ; Jean-Jacques Lévy, Auteur . - Palaiseau : Éditions de l'école polytechnique, impr. 2006. . - 1 vol. (109 p.) : couv. ill. en coul., fig. ; 24 cm.
ISBN : 978-2-7302-1333-2
Langues : Français
Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : programmation Sémantique dénotationnelle Sémantique opérationnelle Résumé : La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 005.1.43-1 005.1.43-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 005.1.43-2 005.1.43-2 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 005.1-1-1 005.1-1-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-1-2 005.1-1-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-1-3 005.1-1-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible Le mathématicien a-t-il besoin d'instuments ? / Gilles Dowek in Les dossiers de La recherche, N° 37 ([01/11/2009])
in Les dossiers de La recherche > N° 37 [01/11/2009] . - p 30
Titre : Le mathématicien a-t-il besoin d'instuments ? Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Année de publication : 2009 Article en page(s) : p 30 Langues : Français [article] Le mathématicien a-t-il besoin d'instuments ? [texte imprimé] / Gilles Dowek, Auteur . - 2009 . - p 30.
Langues : Français
in Les dossiers de La recherche > N° 37 [01/11/2009] . - p 30
in La recherche > 385 [01/04/2005] . - p26
Titre : une preuve formelle du théoréme des 4 couleurs Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Année de publication : 2005 Article en page(s) : p26 Langues : Français [article] une preuve formelle du théoréme des 4 couleurs [texte imprimé] / Gilles Dowek, Auteur . - 2005 . - p26.
Langues : Français
in La recherche > 385 [01/04/2005] . - p26
Permalink
