Can you recommend some courses about mathematical logic?

Métriques du dépôt

Stars

72 758 étoiles (72 758 étoiles)

Métriques de merge PR

Métriques PR en attente (Métriques PR en attente)

Description

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