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
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
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
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!
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
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.
Oui, il existe quelques environnements de travail spécialisés:
voir:
etCode:apt show texworks
par exemple (chez moi sur Debian, j'imagine qu'on trouve la même chose sur dépôts Ubuntu.Code:apt show texmaker
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.
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......
rien ne sert de penser, il faut réfléchir avant.... (Pierre Dac...)
Bonjour Bounoume,
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.Envoyé par Bounoume
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!
Content que tu est trouvé ton bonheur Bounoume
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à:
Dernière modification par Ernum ; 22/11/2021 à 21h18.
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'
rien ne sert de penser, il faut réfléchir avant.... (Pierre Dac...)
