All Projects → adyavanapalli → stanford-introduction-to-mathematical-thinking

adyavanapalli / stanford-introduction-to-mathematical-thinking

Licence: Unlicense license
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

Projects that are alternatives of or similar to stanford-introduction-to-mathematical-thinking

Stanford Algs
Example Test Cases for Stanford's Algorithms Coursera Specialization
Stars: ✭ 261 (+272.86%)
Mutual labels:  coursera, stanford
discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Stars: ✭ 98 (+40%)
Mutual labels:  logic, coursera
Introduction-to-Discrete-Mathematics-for-Computer-Science-Specialization
[Coursera] Introduction to Discrete Mathematics for Computer Science Specialization
Stars: ✭ 71 (+1.43%)
Mutual labels:  coursera, number-theory
Simple Cryptography
Scripts that illustrate basic cryptography concepts based on Coursera Standford Cryptography I course and more.
Stars: ✭ 40 (-42.86%)
Mutual labels:  coursera, stanford
Coursera-Certifications
A repository to showcase my completed courses on the Coursera platform.
Stars: ✭ 20 (-71.43%)
Mutual labels:  coursera
theolog-ss2017
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Stars: ✭ 18 (-74.29%)
Mutual labels:  logic
stanford-cs231n-assignments-2020
This repository contains my solutions to the assignments for Stanford's CS231n "Convolutional Neural Networks for Visual Recognition" (Spring 2020).
Stars: ✭ 84 (+20%)
Mutual labels:  stanford
CourseDownloader
GUI app for downloading whole online courses with folder structure from one url
Stars: ✭ 20 (-71.43%)
Mutual labels:  coursera
Applied-Text-Mining-in-Python
Applied Data Science with Python Specialization: Course 4 (University of Michigan)
Stars: ✭ 26 (-62.86%)
Mutual labels:  coursera
imove
INACTIVE: Move your mouse, generate code from flow chart
Stars: ✭ 3,598 (+5040%)
Mutual labels:  logic
ipc solver
O(N log N)-space IPC solver in OCaml
Stars: ✭ 46 (-34.29%)
Mutual labels:  logic
datalinguist
Stanford CoreNLP in idiomatic Clojure.
Stars: ✭ 93 (+32.86%)
Mutual labels:  stanford
Awesome-Neural-Logic
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经逻辑,强人工智能逻辑推理前沿领域。
Stars: ✭ 106 (+51.43%)
Mutual labels:  logic
How-To-Start-A-Startup
"How to Start a Startup" is the Y Combinator class made by real entrepreneurs
Stars: ✭ 55 (-21.43%)
Mutual labels:  stanford
Hecke.jl
Computational algebraic number theory
Stars: ✭ 142 (+102.86%)
Mutual labels:  number-theory
path semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Stars: ✭ 136 (+94.29%)
Mutual labels:  mathematical-logic
Coursera---Using-Python-to-Access-Web-Data
Here is All Weeks Assignment for Using Python to Access Web Data Course on Coursera
Stars: ✭ 36 (-48.57%)
Mutual labels:  coursera
TeamReference
Team reference for Competitive Programming. Algorithms implementations very used in the ACM-ICPC contests. Latex template to build your own team reference.
Stars: ✭ 29 (-58.57%)
Mutual labels:  number-theory
typedb
TypeDB: a strongly-typed database
Stars: ✭ 3,152 (+4402.86%)
Mutual labels:  logic
machine learning from scratch matlab python
Vectorized Machine Learning in Python 🐍 From Scratch
Stars: ✭ 28 (-60%)
Mutual labels:  coursera

Stanford: Introduction to Mathematical Thinking

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].