Search
Results
GitHub - ebrahimpichka/awesome-optimization: A curated list of mathematical optimization courses, lectures, books, notes, libraries, frameworks and software.
EE364b - Convex Optimization II
EE364a: Convex Optimization I
Boolean normal form - Learning Logic for Computer Science
Lecture1
Syllabus - Programming Languages and Methodologies
Introduction to Logic
Mathematics 187 - Introduction to Mathematical Logic
Mathematical logics Fall 2014 - Exams - University of Trento
201117 Mathematics and Science in Civilization
[http://math.science.cmu.ac.th/kettapun/201117/201117-2557-Term1/201117-2557Term1.htm] - - public:stevetao
Links on logic and the foundations of mathematics
MATH 444 Senior Seminar: Mathematical Logic
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] - - public:stevetao
Hardegree - Philosophy 110
Phil 310 Website
Mathematical Logic Free Online Courses and MOOCs | MOOC List
Free Online Course: Mathematical Logic and Algorithms Theory from iversity | Class Central
[https://www.classcentral.com/course/iversity-mathematical-logic-and-algorithms-theory-6116] - - public:stevetao