Additions from available (non-CC) material
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Accessibilité débutants
- 35/100
- Type d'issue
- Documentation
- Clarté
- Plutôt claire
- Activité
- À l'abandon
- Stack technique
- latex
- Domaine
- content
Piste de recherche
Commencez par la page wiki liée qui répertorie d’autres manuels de logique, puis identifiez des ressources supplémentaires non libres qui répondent aux critères concernant le public visé et LaTeX. Consignez les sources potentielles dans les commentaires de l’issue et demandez l’autorisation de les adapter et de les distribuer sous CC-BY 4.0 ; la tâche est terminée lorsque des sources appropriées, l’autorisation et des ressources LaTeX sont disponibles.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Request permission & obtain LaTeX sources for additional teaching materials (handouts, lecture notes) already available on the net (but non-free). Add potential sources in comments.
To be included material should be:
- Aimed at (or can be made to be aimed at) non-mathematical audience
- Written in LaTeX
- Author grants permission to adapt & distribute under CC-BY 4.0
(Other free logic texts are also listed in the wiki)
- Langage dominant
- TeX
- Étoiles
- 1.4k
- Forks
- 291
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Préparer son environnement
Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de OpenLogicProject/OpenLogic
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
OpenLogicProject/OpenLogic#437 ·
-
Russel's Paradox typoOuverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 65/100
OpenLogicProject/OpenLogic#339 · 1 commentaire ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
OpenLogicProject/OpenLogic#435 · 1 commentaire ·
-
Order-type of models of PAOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
OpenLogicProject/OpenLogic#425 · 1 commentaire ·
Toutes les issues de OpenLogicProject/OpenLogic
Issues similaires
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 72/100
521xueweihan/HelloGitHub#4150 ·
-
Android module suggestion (root)Ouverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 74/100
fmhy/edit#6971 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Add: MahdawiounTV HDOuvertecheck:passed streams:add
Difficulté 2/5 1-3 heures Accessibilité débutants 65/100
iptv-org/iptv#56890 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 88/100
hilmanski/freeStuffDev#2248 ·
-
Project submission: DevInternOuverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 72/100
slavakurilyak/awesome-ai-agents#870 ·
Les mainteneurs répondent en général sous 1 jour