Mathematics 187 - Introduction to Mathematical Logic [https://services.math.duke.edu/~wka/math187/] - 2021-02-23 15:58:55 - public:stevetao Course, Logic, Math, Math-Logic - 4 | id:573967 -
Mathematical logics Fall 2014 - Exams - University of Trento [https://disi.unitn.it/~ldkr/ml2014/lessons.html] - 2021-02-23 15:40:51 - public:stevetao Course, Logic, Math, Math-Logic - 4 | id:573966 -
Introduction to Computer Science using Java [https://chortle.ccsu.edu/java5/index.html] - 2021-02-13 06:25:56 - public:stevetao Book, Course, Free, Java - 4 | id:573819 -
201117 Mathematics and Science in Civilization [http://math.science.cmu.ac.th/kettapun/201117/201117-2557-Term1/201117-2557Term1.htm] - 2021-01-14 17:08:35 - public:stevetao Course, Math - 2 | id:485801 -
Links on logic and the foundations of mathematics [http://settheory.net/links] - 2021-01-07 16:45:20 - public:stevetao Book, Course, Logic, Math, Math-Logic, Resource - 6 | id:485614 -
DIP - SME Academy [https://www.dip-sme-academy.com/?fbclid=IwAR20B4cSOLrXFYGxgjzdmL-xpNeTdODhNBtLfzs9pQ6M4iKCV4qgGlWY4xI] - 2021-01-06 15:51:27 - public:stevetao Course, Finance - 2 | id:485591 -
MATH 444 Senior Seminar: Mathematical Logic [https://mileti.math.grinnell.edu/m444s16/schedule.html] - 2021-01-05 16:41:11 - public:stevetao Book, Course, Logic, Math, Math-Logic - 5 | id:485567 -
reference request - Online lectures for a first course in mathematical logic - Mathematics Stack Exchange [https://math.stackexchange.com/questions/690214/online-lectures-for-a-first-course-in-mathematical-logic] - 2021-01-03 05:35:08 - public:stevetao Course, Logic, Math, Math-Logic - 4 | id:485455 -
Hardegree - Philosophy 110 [http://courses.umass.edu/phil110-gmh/MAIN/IHome-5.htm] - 2021-01-03 01:51:23 - public:stevetao Book, Course, Free, Logic, Math, Math-Logic - 6 | id:485437 -
Phil 310 Website [http://courses.umass.edu/phil310-gmh/MAIN/IHome-4.htm] - 2021-01-03 01:41:26 - public:stevetao Book, Course, Free, Logic, Math, Math-Logic - 6 | id:485436 -
Mathematical Logic Free Online Courses and MOOCs | MOOC List [https://www.mooc-list.com/tags/mathematical-logic] - 2021-01-03 00:38:39 - public:stevetao Course, Logic, Math, Math-Logic - 4 | id:485426 -
Free Online Course: Mathematical Logic and Algorithms Theory from iversity | Class Central [https://www.classcentral.com/course/iversity-mathematical-logic-and-algorithms-theory-6116] - 2021-01-03 00:38:07 - public:stevetao Course, Logic, Math, Math-Logic - 4 | id:485425 -
Compilers [http://tinf2.vub.ac.be/~dvermeir/courses/compilers/] - 2020-08-29 08:56:21 - public:stevetao Compiler, Course - 2 | id:375872 -
Foundations of Computer Science [https://www.cl.cam.ac.uk/teaching/2000/FoundsCS/] - 2020-07-27 03:35:33 - public:stevetao Algorithm, Course, Data-Structures - 3 | id:363035 -
G51APS - Algorithmic Problem Solving – University of Nottingham [http://www.cs.nott.ac.uk/~psarb2/G51APS/] - 2020-07-27 03:20:23 - public:stevetao Algorithm, Course, Free - 3 | id:363031 -
CSL630 [http://www.cse.iitd.ac.in/~naveen/courses/CSL630/] - 2020-07-27 03:19:01 - public:stevetao Algorithm, Course, Data-Structures - 3 | id:363030 -
CS261: Optimization and Algorithmic Paradigms [http://theory.stanford.edu/~trevisan/cs261/] - 2020-07-27 03:09:03 - public:stevetao Algorithm, Book, Course, Free - 4 | id:363027 -
CS 340: Home page [https://ycpcs.github.io/cs340-fall2016/] - 2020-06-11 05:26:43 - public:stevetao Compiler, Course, Programming-Languages - 3 | id:350205 -
OPLSS 2020 | University of Oregon [http://www.cs.uoregon.edu/research/summerschool/summer20/] - 2020-05-30 00:11:29 - public:stevetao Course, Online, Programming-Languages - 3 | id:321636 -
Computer Laboratory - Lecture course material 2000-01 [https://www.cl.cam.ac.uk/teaching/2000/] - 2020-05-28 20:04:25 - public:stevetao Computer-Science, Course - 2 | id:321615 -
Online CS Modules: Programming Languages [http://courses.cs.vt.edu/csonline/ProgrammingLanguages/Lessons/index.html] - 2020-05-28 19:53:58 - public:stevetao Course, Programming-Languages - 2 | id:321612 -
Courses, Degrees & Subjects | Open Universities Australia [https://www.open.edu.au/] - 2020-05-19 20:20:53 - public:stevetao Course, Free - 2 | id:310370 -
CSc 453: Compilers and Systems Software [https://www2.cs.arizona.edu/~debray/Teaching/CSc453/] - 2020-05-11 20:37:15 - public:stevetao Compiler, Course - 2 | id:310207 -
CSE341: Programming Languages [https://courses.cs.washington.edu/courses/cse341/] - 2020-05-09 16:47:01 - public:stevetao Course, Language, Programming - 3 | id:310127 -
Juha Vihavainen [https://www.cs.helsinki.fi/u/vihavain/k10/okk/index.html] - 2020-05-05 11:38:47 - public:stevetao Compiler, Course - 2 | id:310015 -
Compilers Free Online Courses and MOOCs | MOOC List [https://www.mooc-list.com/tags/compilers] - 2020-05-05 05:58:57 - public:stevetao Compiler, Course - 2 | id:310012 -
CS304: Compilers | Saylor Academy [https://learn.saylor.org/course/CS304] - 2020-05-05 05:53:54 - public:stevetao Compiler, Course - 2 | id:310011 -
EECS 322: Compiler Construction [https://users.cs.northwestern.edu/~robby/courses/322-2016-spring/] - 2020-05-03 18:41:02 - public:stevetao Compiler, Course - 2 | id:309967 -
Compiler Construction Research Papers - Academia.edu [http://www.academia.edu/Documents/in/Compiler_Construction] - 2020-05-03 18:40:48 - public:stevetao Compiler, Course - 2 | id:309966 -
SCG: CC: Compiler Construction [http://scg.unibe.ch/teaching/cc] - 2020-05-03 18:40:27 - public:stevetao Compiler, Course - 2 | id:309965 -
UCLA CS 132 Compiler Construction [http://web.cs.ucla.edu/~palsberg/course/cs132/S08/index.html] - 2020-05-03 18:40:11 - public:stevetao Compiler, Course - 2 | id:309964 -
CS502 Information [https://www.cs.purdue.edu/homes/hosking/502/] - 2020-05-03 18:40:01 - public:stevetao Compiler, Course - 2 | id:309963 -
CS:4980:1, Fall 2018 [http://homepage.divms.uiowa.edu/~jones/compiler/] - 2020-05-03 07:17:55 - public:stevetao Compiler, Course - 2 | id:309956 -
Compiler Construction | Informatik 2 [https://moves.rwth-aachen.de/teaching/ss-17/cc/] - 2020-05-03 07:01:52 - public:stevetao Compiler, Course - 2 | id:309955 -
Compiler Construction Course [http://www.ssw.uni-linz.ac.at/Misc/CC/] - 2020-05-03 07:01:28 - public:stevetao Compiler, Course - 2 | id:309954 -
Clemens Grelck: Compiler Construction [https://staff.fnwi.uva.nl/c.u.grelck/teaching/coco1819.html] - 2020-05-03 07:01:15 - public:stevetao Compiler, Course - 2 | id:309953 -
TUM Seidl [http://www2.in.tum.de/hp/Main?nid=218] - 2020-05-03 06:54:29 - public:stevetao Compiler, Course - 2 | id:309952 -
Computer Laboratory – Course pages 2016–17: Compiler Construction – Course materials [https://www.cl.cam.ac.uk/teaching/1617/CompConstr/materials.html] - 2020-05-02 09:35:34 - public:stevetao Compiler, Course - 2 | id:309943 -
Index of /~aplatzer/course/Compilers [https://www.cs.cmu.edu/~aplatzer/course/Compilers/] - 2020-05-02 09:24:03 - public:stevetao Compiler, Course - 2 | id:309942 -
Index of /~palsberg/course/cs132 [http://web.cs.ucla.edu/~palsberg/course/cs132/] - 2020-05-02 09:23:25 - public:stevetao Compiler, Course - 2 | id:309941 -
Compiler Theory: Introduction [https://www.csd.uwo.ca/~moreno/CS447/Lectures/Introduction.html/Introduction.html] - 2020-05-01 19:59:45 - public:stevetao Compiler, Course - 2 | id:309936 -
Programming Languages and Compilers (Sprog og oversættere) Spring 2004 [http://people.cs.aau.dk/~bt/SPOF04/] - 2020-04-29 10:24:01 - public:stevetao Compiler, Course - 2 | id:309849 -
University of South Carolina: CSCE 531 Course Details [https://cse.sc.edu/~mgv/csce531sp08/] - 2020-04-29 10:18:41 - public:stevetao Compiler, Course - 2 | id:309843 -
MATH 4803/5803 (Fall 2009) Number Theory I [http://www2.math.ou.edu/~kmartin/nti/] - 2020-03-13 00:30:12 - public:stevetao Book, Course, Free, Number-Theory - 4 | id:290728 -
15-411: Compiler Design (Fa'10) [https://www.cs.cmu.edu/~aplatzer/course/compiler10.html] - 2020-03-09 06:49:44 - public:stevetao Compiler, Course - 2 | id:285264 -
Overview: UNC COMP 240 Advanced Compilers (Fall 2002) [https://www.cs.unc.edu/~prins/Classes/240/overview.html] - 2020-03-09 06:37:05 - public:stevetao Compiler, Course - 2 | id:285260 -
Compiler Course [https://www.lrde.epita.fr/~akim/] - 2020-03-09 05:09:57 - public:stevetao Compiler, Course - 2 | id:285250 -
CS360 -- Programming Language Concepts, Fall 2014 [https://www.cs.drexel.edu/~kschmidt/CS360/] - 2020-03-09 04:52:15 - public:stevetao Compiler, Course - 2 | id:285241 -
CS360 - Lecture 10: Mini Language Compiler [https://www.cs.drexel.edu/~kschmidt/CS360/Lectures/mini-lang-compiler.html] - 2020-03-09 04:51:48 - public:stevetao Compiler, Course - 2 | id:285240 -
Learning Process for Teachers and Trainers Online Course | Alison [https://alison.com/course/introduction-to-the-learning-process-for-teachers-and-trainers] - 2020-01-08 22:31:51 - public:stevetao Course, Teaching - 2 | id:277012 -