PKUFlyingPig/cs-self-learning

Can you recommend some courses about mathematical logic?

Open

#504 ouverte le 4 sept. 2023

Voir sur GitHub
 (0 commentaires) (1 réaction) (0 assignés)HTML (7 888 forks)batch import
help wanted

Métriques du dépôt

Stars
 (72 758 stars)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

Description

better be mathematical logic for CS

Guide contributeur

Direction de recherche
Cherchez des cours en ligne couvrant la logique mathématique pour l'informatique, comme ceux de Coursera, edX ou des notes de cours universitaires. Fournissez une liste de cours recommandés avec de brèves descriptions.
Stack technique
Aucun
Domaine
documentation
Type d'issue
Documentation
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
1
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Moins d'une heure
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Aucun
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
90