CSCI 109 Lecture Notes - Lecture 1: Computational Thinking, Transformer Types, Formal Proof

• School: USC
• Department: Computer Science
• Course: CSCI 109
• Professor: Gaurav Suhas Sukhatme

Document Summary

Bits: 0/1, t/f/ true/false, yes/no: and strings of bits, such as 010110. Numbers: 5, 101, -3, 3. 14159: and numeric expressions (3+2) Convert one body of info to another: compute. Info expressed in bits (0/1) or (f/t: operations transform input bits to yield output bits. 0 bit is no case; 1 bit is yes case. And (cid:894)(cid:1004),(cid:1005)(cid:895) (cid:1004) (cid:894)t(cid:396)ue a(cid:374)d false is false(cid:895) And (cid:894)(cid:1005),(cid:1005)(cid:895) (cid:1005) (cid:894)t(cid:396)ue a(cid:374)d t(cid:396)ue is t(cid:396)ue(cid:895) Or (cid:894)(cid:1004),(cid:1005)(cid:895) (cid:1005) (cid:894)t(cid:396)ue o(cid:396) false is t(cid:396)ue(cid:895) Or (cid:894)(cid:1004),(cid:1004)(cid:895) (cid:1004) (cid:894)false o(cid:396) false is false(cid:895) Not fu(cid:374)(cid:272)tio(cid:374) (cid:373)e(cid:396)el(cid:455) flips (cid:894)(cid:1004) (cid:1005)(cid:895) (cid:894)(cid:1005) (cid:1004)(cid:895) Transforming data into insights (big data or analytics) Transforming knowledge into decisions about what actions to perform. Humans thinking (i. e. transforming information) to devise procedures for execution by information transformers (human and/or machine) Before mechanical computers loo(cid:373)s t(cid:396)a(cid:374)sfo(cid:396)(cid:373) i(cid:374)put of (cid:455)a(cid:396)(cid:374)/(cid:449)ool i(cid:374)to output of (cid:449)o(cid:448)e(cid:374) (cid:373)ate(cid:396)ial (cid:894)usuall(cid:455) w/pattern)