PKUFlyingPig/cs-self-learning

Can you recommend some courses about mathematical logic?

Open

#504 geöffnet am 4. Sept. 2023

Auf GitHub ansehen
 (0 Kommentare) (1 Reaktion) (0 zugewiesene Personen)HTML (7.888 Forks)batch import
help wanted

Repository-Metriken

Stars
 (72.758 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

better be mathematical logic for CS

Contributor Guide

Research-Richtung
Suche nach Online Kursen, die mathematische Logik für die Informatik abdecken, wie die von Coursera, edX oder Universitätsvorlesungsmitschriften. Erstelle eine Liste mit empfohlenen Kursen und kurzen Beschreibungen.
Tech Stack
Keine
Domain
documentation
Issue Type
Dokumentation
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
1
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Unter 1 Stunde
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Keine
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
90