Syntax and Semantics for FOL material has become too technical
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
- Tipo di issue
- Documentazione
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Stack tecnologico
- tex
- Ambito
- documentation
Direzione di ricerca
Inizia esaminando la sintassi e la semantica del libro di testo per il materiale su FOL e confrontale con la versione di Fall 2017 menzionata nell'issue. L'issue non indica file o test; per considerare il lavoro completato è necessaria una revisione concordata che sia accessibile a studenti che abbiano già seguito un corso di logica, mantenendo al contempo il materiale necessario per i corsi di logica di livello graduate.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Based on my experience teaching with the Fall 2017 version of Sets, Logic, Computation I think the material on syntax and semantics for FOL has become inaccessible to students with a single prior formal logic course like those in our Phil 379. Many of those students have no experience at all with formal models, but recent changes to the text have focused on adding to the body of proved theorems and providing technical scaffolding for material needed in more advanced logic classes. I'm not sure how to thread the needle here for the needs of these students versus what is needed in these sections for students in graduate logic classes. But you asked me to file it Richard, so here it is.
- Lingua principale
- TeX
- Stelle
- 1.4k
- Fork
- 289
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di OpenLogicProject/OpenLogic
-
Russel's Paradox typoAperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100
OpenLogicProject/OpenLogic#339 · 1 commento ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
OpenLogicProject/OpenLogic#435 · 1 commento ·
-
Order-type of models of PAAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
OpenLogicProject/OpenLogic#425 · 1 commento ·
-
Improve docsAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
OpenLogicProject/OpenLogic#390 ·
Tutte le issue di OpenLogicProject/OpenLogic
Issue simili
-
documentation
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
-
sync-en
Difficoltà 1/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
sync-en
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 82/100
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 92/100
QuantEcon/lecture-python-programming#642 ·
I maintainer di solito rispondono entro 1 giorno