Répondre à la discussion
Affichage des résultats 1 à 11 sur 11

police logique



  1. #1
    ilelogique

    police logique


    ------

    Bonjour,
    je travaille sous Ubuntu, savez vous de quelle façon je peux parvenir à écrire facilement des formules propositionnelles, du calcul des prédicats voire des séquents ?
    je veux dire avoir simplement les connecteurs logiques, les quantificateurs, les barres horizontales de déduction et même le symbole d'appartenance etc. ?
    y a-t-il une police de logique ? un logiciel de traitement de texte de maths ?
    merci

    -----
    S'il n'y avait pas de vérité absolue, "toute vérité est relative" en serait une

  2. Publicité
  3. 📣 Nouveau projet éditorial de Futura
    🔥🧠 Le Mag Futura est lancé, découvrez notre 1er magazine papier

    Une belle revue de plus de 200 pages et 4 dossiers scientifiques pour tout comprendre à la science qui fera le futur. Nous avons besoin de vous 🙏 pour nous aider à le lancer...

    👉 Je découvre le projet

    Quatre questions à explorer en 2022 :
    → Quels mystères nous cache encore la Lune 🌙 ?
    → Pourra-t-on bientôt tout guérir grâce aux gènes 👩‍⚕️?
    → Comment nourrir le monde sans le détruire 🌍 ?
    → L’intelligence artificielle peut-elle devenir vraiment intelligente 🤖 ?
  4. #2
    gg0
    Animateur Mathématiques

    Re : police logique

    Bonjour.

    Tu peux utiliser LaTeX, dans une de ses nombreuses versions sous Ubuntu. C'est une version du langage TeX, conçu pour le traitement de texte scientifique par Donald Knuth.

    Cordialement

  5. #3
    ilelogique

    Re : police logique

    j'ai essayé d'installer texfull mais je ne sais pas où c'est dans le pc, comment l'ouvrir
    merci
    S'il n'y avait pas de vérité absolue, "toute vérité est relative" en serait une

  6. #4
    albanxiii
    Modérateur

    Re : police logique

    Si vous n'avez jamais utilisé LaTeX, il faut vous trouver un tutoriel pour débutants. C'est un outil puissant mais avec une "learning curve" assez difficile.
    Je vous conseille d'apprendre à l'utiliser en ligne de commande, et pas avec une interface graphique qui cache tout.
    Not only is it not right, it's not even wrong!

  7. A voir en vidéo sur Futura
  8. #5
    Ernum

    Re : police logique

    Salut,
    sans rentrer dans les détails, il va falloir aussi apprendre la base pour créer un fichier LaTeX ( c'est simple, ça ne sont pas les cours et autres tuto qui manquent), ensuite voilà comment, tu procèdes pour en faire un joli document pdf (par exemple).

    Une fois créé ton fichier d'extension tex, tu le compiles en ouvrant un terminal là où il se trouve en lançant:
    Code:
    pdftex monfichier.tex

  9. #6
    jacknicklaus

    Re : police logique

    Bonjour,

    personnellement j'utilise Texstudio, il y a des versions Ubuntu :

    http://texstudio.sourceforge.net/
    There are more things in heaven and earth, Horatio, Than are dreamt of in your philosophy.

  10. Publicité
  11. #7
    Ernum

    Re : police logique

    Oui, il existe quelques environnements de travail spécialisés:

    voir:
    Code:
    apt show texworks
    et
    Code:
    apt show texmaker
    par exemple (chez moi sur Debian, j'imagine qu'on trouve la même chose sur dépôts Ubuntu.

    Après, un bon éditeur de texte (celui auquel on est habitué si c'est le cas*) couplé à un plugin LaTeX pour la coloration syntaxique, l'autocomplétion voir le débogage fera aussi l'affaire.

    *: vim, emacs, geany, gedit, kedit etc...

    Il faut savoir que les logiciels dit "scientifiques" (math, physique, elec., chimie etc...) proposent aussi d'exporter en LaTeX (schémas, organigrammes, courbes etc...), mais il ne s’agit là qu'une partie du code à inclure dans le document.
    Dernière modification par Ernum ; 22/11/2021 à 14h33.

  12. #8
    Bounoume

    Re : police logique

    TeXstudio: enfin, voici ce que je cherchais depuis longtemps..... (il est même installable en mode graphique par synaptic!)

    nb. Le simple LibreOffice de Ubuntu propose quelques symboles, il réussit à mettre un caractère en indice, en exposant.... mais c' est rarement suffisant.....



    une suggestion: vous pourriez peut-être mettre à jour la discussion ancienne, datant de 2003, et maintenant fermée:
    https://forums.futura-sciences.com/f...e-demploi.html
    c' est celle-ci qui apparaît en priorité quand on cherche un éditeur LaTex..... et son contenu me semblait inutilisable......
    ils ne mouraient pas tous, mais tous étaient frappés (les animaux malades de la peste)!

  13. #9
    albanxiii
    Modérateur

    Re : police logique

    Bonjour Bounoume,

    Citation Envoyé par Bounoume Voir le message
    et son contenu me semblait inutilisable......
    Pourriez-vous préciser ? Je n'ai pas vérifié, mais il me semble que les instructions LaTeX n'ont pas changé depuis que ces messages ont été publiés.

    Sinon, il y a ce message : https://forums.futura-sciences.com/v...ml#post6452865

    Edit : d'ailleurs, le lien de référence est celui-ci https://forums.futura-sciences.com/a...e-demploi.html placé dans les annonces officielles du forulm.
    Dernière modification par albanxiii ; 22/11/2021 à 20h01.
    Not only is it not right, it's not even wrong!

  14. #10
    Ernum

    Re : police logique

    Content que tu est trouvé ton bonheur Bounoume
    Citation Envoyé par Bounoume Voir le message
    ...
    c' est celle-ci qui apparaît en priorité quand on cherche un éditeur LaTex...
    J'ai fait une recherche sur tout le forum, dans les entêtes de messages, avec les mots clefs "éditeur latex". Le moteur me propose cinq occurrences, mais pas celle-là:

    Images attachées Images attachées  
    Dernière modification par Ernum ; 22/11/2021 à 21h18.

  15. #11
    Bounoume

    Re : police logique

    d' un naturel paresseux, moi, je me contentais de lire le 1er sujet de l' arborescence du forum:
    Forum/Accueil du forum/ACCUEIL/forum de tests/..... post-it : sujets à lire..... important: LaTex: explications et mode d' emploi
    et je croyais que là tout était dit sur le sujet.....
    sans chercher ailleurs.....
    désolé....

    ps: dans le titre du post qui m' avait fourvoyé.... il n' y a pas le mot clé 'éditeur', donc ça ne sortira pas si la recherche exige les 2 mots-clés 'editeur' && 'latex'
    ils ne mouraient pas tous, mais tous étaient frappés (les animaux malades de la peste)!

Discussions similaires

  1. Les différences entre logique classique et logique quantique ?
    Par Mihal-Genie_du_monde dans le forum Epistémologie et Logique (archives)
    Réponses: 30
    Dernier message: 20/03/2016, 15h05
  2. Quelles sont les divergences entre la logique classique et la logique quantique ?
    Par Mihal-Genie_du_monde dans le forum Discussions scientifiques
    Réponses: 3
    Dernier message: 27/02/2016, 07h55
  3. la logique des etres bete et la logique des etre intelients Paradoxe?
    Par extrazlove dans le forum Epistémologie et Logique (archives)
    Réponses: 0
    Dernier message: 28/06/2013, 17h12
  4. Le divin est-il logique ? Et si oui, quel en est la logique : « Dieu » ou « dieux » ?
    Par artefact_Heisenberg dans le forum Epistémologie et Logique (archives)
    Réponses: 1
    Dernier message: 10/10/2012, 01h05
  5. Logique Système - Logique Causale - Implications Cosmologiques
    Par Mumyo dans le forum Epistémologie et Logique (archives)
    Réponses: 6
    Dernier message: 06/11/2007, 12h57