This is stars and forks stats for /shd/logic2023 repository. As of 28 Apr, 2024 this repository has 17 stars and 24 forks.
Курс математической логики, КТ, весна 2023 Материалы Конспект 2018 года Конспект 2011 года Теоретические домашние задания Список вопросов к зачёту/экзамену Краткая инструкция по утилите make Лекция 1 Исчисление высказываний Немного об истории вопроса Язык исчисления высказываний Теория моделей, оценка высказываний Теория доказательств, доказательства, выводимость Теорема о корректности классического исчисления высказываний Где почитать Н.К. Верещагин, А. Шень. Лекции по математической логике и теории...
Курс математической логики, КТ, весна 2023 Материалы Конспект 2018 года Конспект 2011 года Теоретические домашние задания Список вопросов к зачёту/экзамену Краткая инструкция по утилите make Лекция 1 Исчисление высказываний Немного об истории вопроса Язык исчисления высказываний Теория моделей, оценка высказываний Теория доказательств, доказательства, выводимость Теорема о корректности классического исчисления высказываний Где почитать Н.К. Верещагин, А. Шень. Лекции по математической логике и теории...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Maxsmile123/MAI_109B_22 | C++TeXMakefile | 1 | 0 | 22 | 0 |
| r-spatial/stars | RTeXDockerfile | 510 | 0 | 86 | 0 |
| rjkyng/agao23_script | TeXR | 4 | 0 | 6 | 0 |
| rosenpass/rosenpass | RustTeXShell | 880 | 0 | 45 | 0 |
| jovyntls/cheatsheets | TeX | 164 | 0 | 14 | 0 |
| r4ds/bookclub-geocompr | TeX | 13 | 0 | 7 | 0 |
| KSESEU/LLMPapers | TeXPython | 249 | 0 | 24 | 0 |
| courses-at-nju-by-hfwei/compilers-problem-set | TeX | 22 | 0 | 1 | 0 |
| mattecapu/categorical-systems-theory | TeX | 35 | 0 | 1 | 0 |
| zhangir-azerbayev/ProofNet | LeanTeXPython | 63 | 0 | 12 | 0 |