1 files changed, 65 insertions, 0 deletions
diff --git a/Technology/6.0001 Introduction to Computer Science and Programming in Python.md b/Technology/6.0001 Introduction to Computer Science and Programming in Python.md
new file mode 100644
index 0000000..2521eaf
--- /dev/null
+++ b/Technology/6.0001 Introduction to Computer Science and Programming in Python.md
@@ -0,0 +1,65 @@
+# Lecture 1 - What is computation ?
+
+Computers does 2 things only:
+- Calculate
+- Remember Calculations
+
+Computational problem solving & Computational complexities
+
+From Ambigous problem statement to computational formulation of a method
+
+Declarative vs Imperative Knowledge
+Declarative: Like an axiom - Statement of Facts
+Imperative: Like an algorithm - Sequence & Flow control - Computations
+
+John Von Newmann & Alan Turing
+Fixed program computer(Arithmetic logic Unit) - 1941 - Atanasoff & Berry
+Manchester Mark 1 - University of Manchester
+Stored program computer
+Interpreter for instrutions - Now computers can program themselves
+
+Flow control, Flowcharts
+Programming Langs
+
+Church-Turing Thesis - Defines the concept of Computability - The Nature of Computation
+Lambda calculus - Computable and effectivelly calculable
+if solvable by algo solvable by turing machine and vice versa
+Universality of Computation
+
+Halting problem - if you can prove a program will run forever or not ? no said Turing
+
+Low lvl vs High lvl
+Interpreted vs Compiled
+
+Syntax, Static sementics (syntatical validity), Sementics(meaning)
+
+Turing: We can compute anything using 6 primitives
+Read, Write, Move Left, Move Right, Scan, Do nothing
+
+Using Tape he showed can compute anything
+modern langs evolved from primitives
+
+primitives -> expressions -> values ->  meaning
+
+Primitve constructs:
+- English: Words
+- Prog langs: Numbers, Strings, Simple operators
+
+Static Sementics (Invalidity):
+- English: I are hungry
+- Prog langs: 3+"hi"
+
+Sementics
+- English: more than one meaning
+- Prog langs: only one meaning
+
+Everything in Python is an object:
+- Scalar(int,float,bool(true/false),None)
+- non-scalar(type())
+
+<expr> = <var>
+
+x % y = Remainder when x/y
+x ** y = x to power of y
+
+# Lecture 2 - Branching and Iteration