Détail de l'éditeur
Cépaduès-éditions
localisé à :
Toulouse
|
Documents disponibles chez cet éditeur (2)
Ajouter le résultat dans votre panier Affiner la recherche Interroger des sources externes
Algèbre, analyse, probabilités, 2. Algèbre, analyse, probabilités / Pierre Meunier
Titre de série : Algèbre, analyse, probabilités, 2 Titre : Algèbre, analyse, probabilités : 415 exercices avec solutions ; mathématiques spéciales MP-MP*- PSI*-CAPES-agrégation Type de document : texte imprimé Auteurs : Pierre Meunier (1944-....), Auteur Editeur : Toulouse : Cépaduès-éditions Année de publication : DL 2016 Importance : 1 vol. (315 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-36493-514-3 Prix : 26 EUR Note générale : Index Langues : Français (fre) Catégories : Algèbre
Analyse mathématiqueIndex. décimale : 510.76 Résumé : Cet ouvrage de 415 exercices avec solutions d'Algèbre, Analyse et Probabilités complète celui paru chez le même éditeur où figurent 527 exercices avec solutions, concernant les mêmes rubriques mathématiques et à ce titre, il en constitue le tome 2. Les énoncés proposés sont essentiellement ceux qui ont été donnés aux oraux des concours d'entrée aux Grandes Écoles suivantes : ENS, X, Mines-Ponts, Centrale-Paris, et comme dans le premier tome, ils sont précédés d'un, deux ou trois astérisques avec les conventions : (*) : Exercice facile (**) : Exercice de difficulté moyenne (***) : Exercice assez difficile. Un index détaillé permet ici encore, dans cet ouvrage, la recherche la plus rapide possible des thèmes étudiés et facilite grandement l'utilisation de ce manuel. Algèbre, analyse, probabilités, 2. Algèbre, analyse, probabilités : 415 exercices avec solutions ; mathématiques spéciales MP-MP*- PSI*-CAPES-agrégation [texte imprimé] / Pierre Meunier (1944-....), Auteur . - Toulouse : Cépaduès-éditions, DL 2016 . - 1 vol. (315 p.) : ill. ; 21 cm.
ISBN : 978-2-36493-514-3 : 26 EUR
Index
Langues : Français (fre)
Catégories : Algèbre
Analyse mathématiqueIndex. décimale : 510.76 Résumé : Cet ouvrage de 415 exercices avec solutions d'Algèbre, Analyse et Probabilités complète celui paru chez le même éditeur où figurent 527 exercices avec solutions, concernant les mêmes rubriques mathématiques et à ce titre, il en constitue le tome 2. Les énoncés proposés sont essentiellement ceux qui ont été donnés aux oraux des concours d'entrée aux Grandes Écoles suivantes : ENS, X, Mines-Ponts, Centrale-Paris, et comme dans le premier tome, ils sont précédés d'un, deux ou trois astérisques avec les conventions : (*) : Exercice facile (**) : Exercice de difficulté moyenne (***) : Exercice assez difficile. Un index détaillé permet ici encore, dans cet ouvrage, la recherche la plus rapide possible des thèmes étudiés et facilite grandement l'utilisation de ce manuel. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité E0102339 E510-510.76-08/ 01 Livre مخزن الكتب 510 Mathématiques Disponible E0102340 E510-510.76-08/ 02 Livre مخزن الكتب 510 Mathématiques Disponible E0102341 E510-510.76-08/ 03 Livre مخزن الكتب 510 Mathématiques Disponible E0102342 E510-510.76-08/ 04 Livre مخزن الكتب 510 Mathématiques Disponible E0102343 E510-510.76-08/ 05 Livre مخزن الكتب 510 Mathématiques Disponible Logique combinatoire et [lambda]-calcul / Jean-Pierre Desclès
Titre : Logique combinatoire et [lambda]-calcul : des logiques d'opérateurs Type de document : texte imprimé Auteurs : Jean-Pierre Desclès, Auteur ; Gaëll Guibert, Auteur ; Benoît Sauzay, Auteur Editeur : Toulouse : Cépaduès-éditions Année de publication : 2016 Importance : 269 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-36493-530-3 Note générale : Le mot "lambda" dans le titre est représenté par la lettre grecque
Bibliogr. p. 257-262Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Logique combinatoire Linguistique Informatique Index. décimale : 511.31 Résumé : Le but de cet ouvrage est de présenter la Logique Combinatoire développée principalement par Curry. Pour les auteurs, la Logique Combinatoire est pensée comme une logique d'opérateurs, de composition et de transformations intrinsèques d'opérateurs où la seule opération de base est l'application d'un opérateur à un opérande. Elle est utilisée pour fournir des fondements logiques aux langages de programmation fonctionnels bien que la plupart des approches prennent appui sur le -calcul de Church. Alors que le -calcul fait appel à des variables liées pour formaliser la notion de fonction comme opérateur, la Logique Combinatoire n'utilise aucune variable liée, elle prend la notion d'opérateur comme première et apparaît de ce fait comme plus simple, conduisant à une véritable algèbre des opérateurs. Ainsi, il est plus facile d'analyser la sémantique des langues naturelles et les représentations cognitives et des connaissances, avec les outils formels (les combinateurs) et les types fonctionnels de La Logique Combinatoire. Logique combinatoire et [lambda]-calcul : des logiques d'opérateurs [texte imprimé] / Jean-Pierre Desclès, Auteur ; Gaëll Guibert, Auteur ; Benoît Sauzay, Auteur . - Toulouse : Cépaduès-éditions, 2016 . - 269 p. : ill. ; 24 cm.
ISBN : 978-2-36493-530-3
Le mot "lambda" dans le titre est représenté par la lettre grecque
Bibliogr. p. 257-262
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Logique combinatoire Linguistique Informatique Index. décimale : 511.31 Résumé : Le but de cet ouvrage est de présenter la Logique Combinatoire développée principalement par Curry. Pour les auteurs, la Logique Combinatoire est pensée comme une logique d'opérateurs, de composition et de transformations intrinsèques d'opérateurs où la seule opération de base est l'application d'un opérateur à un opérande. Elle est utilisée pour fournir des fondements logiques aux langages de programmation fonctionnels bien que la plupart des approches prennent appui sur le -calcul de Church. Alors que le -calcul fait appel à des variables liées pour formaliser la notion de fonction comme opérateur, la Logique Combinatoire n'utilise aucune variable liée, elle prend la notion d'opérateur comme première et apparaît de ce fait comme plus simple, conduisant à une véritable algèbre des opérateurs. Ainsi, il est plus facile d'analyser la sémantique des langues naturelles et les représentations cognitives et des connaissances, avec les outils formels (les combinateurs) et les types fonctionnels de La Logique Combinatoire. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité E0114196 E510-511.31-01/ 01 Livre مخزن الكتب 511 Principes généraux des mathématiques Disponible E0114197 E510-511.31-01/ 02 Livre مخزن الكتب 511 Principes généraux des mathématiques Disponible E0114198 E510-511.31-01/ 03 Livre مخزن الكتب 511 Principes généraux des mathématiques Disponible E0114199 E510-511.31-01/ 04 Livre مخزن الكتب 511 Principes généraux des mathématiques Disponible E0114200 E510-511.31-01/ 05 Livre مخزن الكتب 511 Principes généraux des mathématiques Exclu du prêt