Nouveaux ouvrages chez Calvage & Mounet

1192021222325»

Réponses

  • @Martial : Je vois que c’est un 1er tome. Combien sont prévus ?
  • JLT
    JLT
    Modifié (17 May)
    Anna E a dit :
    Bonsoir

    Un nouvel ouvrage est annoncé : 

    Introduction aux espaces de Hilbert
    Bernard Randé
    Calvage et Mounet
    Tableau noir

    D'après la préface, il semble s'appuyer sur un niveau de L2; avez-vous d'autres informations relatives au contenu, série au niveaux L3-M1-(M2) ?

    J'ai reçu une copie d'une version préliminaire il y a 6 mois. Les chapitres sont :
    * Géométrie des Hilbert
    * Rappels topologiques et algébriques
    * Opérateurs compacts (I)
    * Bases et somme hilbertiennes
    * Espaces et opérateurs
    * Spectre, théorie de Gelfand
    * L'algèbre L(H)
    * Calcul fonctionnel holomorphe
    * Opérateurs autoadjoints
    * Calcul fonctionnel autoadjoint
    * Opérateurs compacts (II)
    * Normaux : calcul continu
    * Normaux : calcul borélien
    * L'exponentielle
    * Questions topologiques sur L(H)
    * Illustrations
    * Espaces de Hardy
    * Annexes
    * Solutions des exercices
    Le tout fait plus de 650 pages.
  • @jlt

    Bonsoir et merci!

    Vraiment intéressant. Niveaux M1-M2.

    Un peu dommage que Calvage et Mounet ne dispose plus de son espace sur le net pour feuilleter les ouvrages à paraître.

    J'espère que l'ouvrage arrive en librairie sous peu ( en distribution à l'étranger aussi).

    Cordialement

    Anna E.
  • Pour citer l'auteur, "avoir suivi les cours des deux premières années de l’enseignement supérieur est globalement suffisant, mais sur certains sujets, il sera préférable d’avoir eu quelque expérience de domaines qui dépassent ce niveau, sans que ce soit strictement indispensable. Il s’agit notamment de l’intégrale de Lebesgue, de l’analyse fonctionnelle élémentaire et des fonctions holomorphes."
  • @gai requin : 4 volumes en tout.
    Pour info, par rapport à la version Internet
    Volume 1 : Chap 0, Partie A (chaps 1 à 4), et Partie B (chaps 5 à 13).
    Volume 2 : Partie C (chaps 14 à 18) et Partie D (chaps 19 à 22).
    Volume 3 : Partie E (chaps 23 à 25).
    Volume 4 : Partie F (chaps 26 à 32) + Annexes 1 à 4 + Index historique.
    A noter que je serai sans doute amené à procéder à un certain élagage dans les volumes 3 et 4.

  • JLT a dit :
    Pour citer l'auteur, "avoir suivi les cours des deux premières années de l’enseignement supérieur est globalement suffisant, mais sur certains sujets, il sera préférable d’avoir eu quelque expérience de domaines qui dépassent ce niveau, sans que ce soit strictement indispensable. Il s’agit notamment de l’intégrale de Lebesgue, de l’analyse fonctionnelle élémentaire et des fonctions holomorphes."
    C'est sûr que faire du « calcul fonctionnel holomorphe » (chap. 8) ou du « calcul borélien » (chap. 13) sans savoir ce qu'est une fonction holomorphe ou une mesure, c'est un peu curieux.
  • moinsun
    Modifié (18 May)
    Pour être en deuxième année et avoir eu le premier chapitre entre les mains, j'en étais ravi (les exercices étaient sacrément intéressants en plus de cela).
    Ce doit être certain que l'on apprécie pas de la même manière le livre en étant en deuxième ou quatrième année mais il y a bien des résultats que B. Randé rend accessibles sans forcément disposer d'un bagage conséquent. 
    Mon expérience étant limitée, je ne peux en dire plus. En tout cas, j'ai hâte qu'il paraisse!
  • @ moinsun

    "Pour être en deuxième année et avoir eu le premier chapitre entre les mains, j'en étais ravi (les exercices étaient sacrément intéressants en plus de cela)."

    Existe t-il une lien pour avoir accès à ce premier chapitre? 

    Merci!

    Cordialement

    Anna E.
  • Malheureusement non. (C'est l'éditeur qui me l'a mis entre les mains.)
  • Leur site est down. Est-ce que C&M ont un livre de statistiques ? Evidemment si quelqu'un a feuilleté leur ouvrage de proba tome 2 et peut donner son avis, j'en serai reconnaissant. 
    ---> I believe in Chuu-supremacyhttps://www.youtube.com/watch?v=BVVfMFS3mgc <---
  • Le livre de Martial est paru! précommandé le 3 reçu le 6. génial.
    Bonne soirée.
    Jean-Louis.
  • Bonjour tout le monde,
    Je ne peux m’empêcher de vous informer de la sortie, ce jeudi 11 juillet 2024, du livre de Jean-Louis Krivine sur les décompilateurs. J'aurais bien aimé avoir une table des matières.
    Le chat ouvrit les yeux, le soleil y entra. Le chat ferma les yeux, le soleil y resta. Voilà pourquoi le soir, quand le chat se réveille, j'aperçois dans le noir deux morceaux de soleil. (Maurice Carême).
  • rémi
    Modifié (11 Jul)
    y' a qu'à demander :

    préface
    Introduction
    I. Les programmes
    II. Écritures de programmes
    III. Les preuves
    IV. La correspondance preuves-programmes
    V. Les conséquences
    VI. L'observateur en physique
    VII. Des périphériques au système
    VIII. L'intuition en mathématiques
    IX. De la théorie des démonstrations
    Appendice. Le paradoxe EPR
    Postface
    Remerciements
    Index
  • @rémi : bonsoir. Je te remercie beaucoup pour ces informations.
    Le chat ouvrit les yeux, le soleil y entra. Le chat ferma les yeux, le soleil y resta. Voilà pourquoi le soir, quand le chat se réveille, j'aperçois dans le noir deux morceaux de soleil. (Maurice Carême).
  • Rien à voir, mais j'avais un pote qui en voulait grave à Krivine parce qu'il avait écrit un article, destiné surtout à des philosophes, autour de l'idée "le cerveau humain est un modèle de ZFC".
    Ce mec m'a paru chelou, car j'ai lu le papier de JLK, et je ne vois pas où il y aurait matière à fouetter un chat.

  • Merci de ne pas fouetter les chats, même au mode conditionnel.
  • @samok : t'inquiète, j'aime beaucoup les chats !
  • samok
    Modifié (14 Jul)
    Bonjour à vous,

    je me suis arrêté à ce passage, dans le livre de JL-Krivine évoqué ci-avant. C'est recopié avec mes petits doigts:

    Comme toute théorie mathématique, la logique minimale est composée d'axiomes et de règles de déduction.
    Elle n'a en fait comme règle que le modus ponens dont nous avons déjà parlé : si on a prouvé les deux formules $F$  et $F\rightarrow G$, on a prouvé la formule $G$.
    Il lui correspond l'opération suivante du langage machine : si $P$, $Q$ sont des textes de programmes, alors $PQ$ est aussi le texte d'un programme. On dit qu'il est obtenu en donnant $Q$ comme argument à $P$, ou encore en appliquant le programme $P$ à la donnée $Q$.

    Pas compris :( Un petit exemple avant que je tourne la page ?
  • Georges Abitbol
    Modifié (14 Jul)
    @samok : Christophe avait déjà pas mal décrit ça. C’est pas loin d’être la chose suivante. On suppose qu’on est dans un ordinateur théorique. Tout a un « type » (acceptable) et tout est « programme » (au pire, un truc qui ne semble pas être programme, genre « 5 », on n’a qu’à dire que c’est un programme qui renvoie tout le temps 5). On dit qu’un programme $P$ est de type $A\to B$ si dès qu’on lui donne en entrée un objet de type $A$, il renvoie un truc de type $B$. On dit aussi (c’est le truc incroyable) que $P$ prouve la formule $A\Rightarrow B$. Exercice : fabrique un programme qui prouve $(A \Rightarrow B ) \Rightarrow ((B \Rightarrow C) \Rightarrow (A \Rightarrow C))$. Fabrique un programme qui prouve $A\Rightarrow (B\Rightarrow A)$.

  • Sieur Georges Abitbol,

    c'est encore moins clair en vous lisant.
    Pour les exercices :
    print('(A->B)->((B->C)->(A->C))','\n','A->(B->A)')
    s'interprète sans erreur en python 3+

    Incroyable !
  • Georges Abitbol
    Modifié (15 Jul)
    Hahahaha, non !

    Ok. Plus simple : supposons qu’on puisse former des types « tuple ». Est-ce que tu peux trouver un programme qui prend en entrée deux programmes, $P$ et $Q$, qui sort un programme $R$, tel que si $P$ transforme tout objet de type $A$ en un objet de type $B$, et si $Q$ transforme tout objet de type $B$ en un objet de type $C$, alors $R$ transforme tout objet de type $A$ en un objet de type $C$ ?

    Un cas particulier est le suivant. Écris un programme Python qui a le type demandé : 


    def samok(p: A -> B, q: B -> C) -> (A -> C):
        #


  • Bonsoir 


    A propos de l'ouvrage:

    Introduction aux espaces de Hilbert
    de Bernard Randé,

    qui vient de paraître, je souhaiterais ( en plus de la table des matières aimablement fournie courant mai ) visualiser quelques extraits, essentiellement sur la seconde partie.

    Je recherche en vain à feuilleter cet ouvrage sur le site de Calvage & Mounet, mais impossible de trouver la page de cette maison d'édition. Et aucune librairiene ne propse quelques extraits en ligne.

    Merci,

    Cordialement

    Anna E.
  • Bonjour

    C'est avec tristesse que je vous fait part du décès,
    survenu le 15 août, de notre ami et collègue Christian Leruste.

    Les obsèques auront lieu mardi 27 Août, à 10h30, à l'église Notre Dame de Clignancourt (Métro Jules Joffrin).

    Christian a écrit plusieurs livres, et son dernier (véritable pièce de maître) a été vite épuisé

    Nos pensées sont avec lui.

    Yann



  • Il est très agréable à lire ce petit livre de Krivine.
    Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
  • @Foys : bonjour. Serait-il possible d'avoir la table des matières, s'il te plait ? Voici ce que je viens de lire sur le site Eyrolles :
    En faisant le lien entre la théorie de l'évolution et des découvertes récentes en logique et en informatique théorique dont l'auteur est un spécialiste reconnu, il explique certains paradoxes de la mécanique quantique : de façon surprenante, la présence de l'observateur influence le résultat des expériences.

    Je ne vois pas le rapport avec les décompilateurs.

    Le chat ouvrit les yeux, le soleil y entra. Le chat ferma les yeux, le soleil y resta. Voilà pourquoi le soir, quand le chat se réveille, j'aperçois dans le noir deux morceaux de soleil. (Maurice Carême).
  • Foys
    Modifié (8 Sep)
    Bonjour @Thierry Poma
    La table des matières dudit livre a été mise plus haut par @rémi ici: https://les-mathematiques.net/vanilla/discussion/comment/2489824/#Comment_2489824

    L'auteur parle de la correspondance preuves/programmes (dite de "Curry-Howard" à laquelle il a beaucoup contribué et qui a été étendue désormais à toute la théorie des ensembles de ZFC avec logique classique). Dans cette correspondance chaque démonstration de maths est un programme et les mathématiques consistent en une activité de véritable désassemblage des vérités mathématiques pour en reconstituer le code source exprimé dans un langage moyen/haut niveau (les "mathématiques formalisées"). Les "décompilateurs" dont il est question dans le livre sont donc en fait les mathématiciens.
    Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
  • @Foys : en effet, j'avais oublié les infos de rémi. Je te remercie pour ton explication.
    Le chat ouvrit les yeux, le soleil y entra. Le chat ferma les yeux, le soleil y resta. Voilà pourquoi le soir, quand le chat se réveille, j'aperçois dans le noir deux morceaux de soleil. (Maurice Carême).
  • Yannguyen
    Modifié (12 Sep)
    Bonjour chers amis,
    Un peu de PUb
    Cordialement,
    Yann



  • J'ai acheté le livre de Bernard Randé, C&M m'a l'air d'avoir encore frappé très fort, une belle lecture m'attend.
  • Bonjour Poirot,

    Merci pour votre message

    La massue cloutée figure seulement sur le livre de Gregory :smile: 
    Yann
  • Bonjour,
    le site web de l'éditeur n'est plus accessible depuis quelques semaines, c'est un abandon définitif ou un problème temporaire qui dure un peu ?

    Je croyais avoir lu qq part (mais je ne sais plus où...) qu'était annoncé un Nano sur le groupe $GL_n(\mathbb{R})$ ou qq chose comme ça. C'est toujours d'actualité ?
  • Bonjour,

    Me recommandez-vous le livre de Bernard Randé pour affiner les estimations connues des constantes de Grothendieck ?
    Merci d'avance.
  • C’est toi qui veux les affiner ? C’est probablement pas facile.
  • J'ai une expression conjecturale compatible avec les encadrements connus que je cherche à démontrer.
  • Bonjour @Yannguyen, pourquoi plus de site C&M ? J’aurais peut-être pu y chercher des infos sur un livre à paraître qui concerne le résultant… 
  • Bonjour,
    Est-il possible d'avoir la table des matières complète concernant le livre de Bernard Randé sur les espaces de Hilbert, s'il vous plait ? Je vous remercie par avance.
    Titi
    Le chat ouvrit les yeux, le soleil y entra. Le chat ferma les yeux, le soleil y resta. Voilà pourquoi le soir, quand le chat se réveille, j'aperçois dans le noir deux morceaux de soleil. (Maurice Carême).
  • Philippe Malot
    Modifié (24 Sep)
    Bonsoir @Thierry Poma,
    Voici la table des matières (j'ai fait des photos et je les ai converties en .tex). 
  • Philippe Malot, j'espère que tu vas bien. Ta contribution est superbe. Je vais examiner son contenu. Je te remercie beaucoup.
    Bonne journée !
    Le chat ouvrit les yeux, le soleil y entra. Le chat ferma les yeux, le soleil y resta. Voilà pourquoi le soir, quand le chat se réveille, j'aperçois dans le noir deux morceaux de soleil. (Maurice Carême).
  • Pourrait-on avoir une table des matières pour le livre de Claude Dellacherie ? Il me semble assez mystérieux.
    Pour ceux qui l'ont acheté, qu'en pensez-vous ? (@Poirot y as-tu jeté un coup d'oeil ?) 
Connectez-vous ou Inscrivez-vous pour répondre.

Bonjour!

Pour participer au forum, cliquer sur l'un des boutons :

In this Discussion