See slides.
Firefox threw all of the data on the floor when submit new issue was clicked and wifi failed at same time :/

DUE: 4pm Fri 21st August

What

Take the rad template and modify it as instructed in the description.

Links

Description: http://undergraduate.csse.uwa.edu.au/units/CITS3200/project/DelAdef.html
Marking Criteria: http://undergraduate.csse.uwa.edu.au/units/CITS3200/project/DelAMarkingCriteria.html
Rad Template: http://undergraduate.csse.uwa.edu.au/units/CITS3200/project/RADtmpl.html

• Resistance <-> Conductance relationship
• Work
• Power eqn
• Sign convention
• Current division
• Voltage division
• Thevinin Equivalent
• Norton Equivalent
• Source Transformation
• Maximum power transfer theorem
• KVL
• KCL

Complete the tutorial before thursday!

link: http://undergraduate.csse.uwa.edu.au/units/CITS2211/tutorials/wk2-logic.pdf

DUE: 4pm Fri 28th August

What

"Consider the ethics of hacking, both “Black Hat” and “White Hat”, in the context of the ACS Code
of Professional Conduct and Professional Practice, where appropriate listing the relevant section iden-
tifiers. That is, how are these two types of hackers different, and how are the actions of each of these
ethically different (if at all) from the actions of professional computer scientists generally."

• 1500 - 2000 words
• Harvard style citations

Links

Essay outline: http://undergraduate.csse.uwa.edu.au/units/CITS3200/essay/essay_15.pdf

• Arity: number of arguments to a predicate function
• Free variables: An unknown, not defind within the scope of the formula.
• Bound variables: A variable that is introduced with a quantifier. (forall, there exists)
• Sentences: formulae with no free variables.
• Update Precedence card
• Typing: Variables in predecate logic can be typed. using a colon : The usage and meaning are the same as the element of symbol.
• Logical Equivalences
  • DeMorgan
  • Universal Instantiation
  • Existential Instantiation
  • Universal Generalisation
  • Existential Generalistation
  • Commutivity
  • Associativity
  • Huntingont Axiom
  • Absorbtion
  • Distibutivity
  • Complements
  • Implication
  • Contrapositive
  • Double Negation
• Valid formula: evaluated to true no matter what inputs are passed in.
• Satisfiable: There exists some input resoves to true.

MIT 6.042J OCW
MIT 6.042J youtube channel.

Has the same textbook assigned, and a not that too bad lecturer.

• w1
  • Lec 1
  • Lec 2
• w2
  • Lec 3
  • Lec 4
• w3
  • Lec 5
  • Lec 6
• w4
  • Lec 7
  • Lec 8
• w5
  • Lec 9
  • Lec 10
• w6
  • Lec 11
  • Lec 12
• w7
  • Lec 13
  • Lec 14
• w8
  • Lec 15
  • Lec 16
• w9
  • Lec 17
  • Lec 18
• w10
  • Lec 19
  • Lec 20
• w11
  • Lec 21
  • Lec 22
• w12
  • Lec 23
  • Lec 24
• w13
  • Lec 25

Make a notes sheet for dc circuits.
1 a4 front and back

• Predicate
• Universe of discourse
• Axiom
• Proof by contradiction
• Proof by induction
• Invariant: A property that is present at the beginning, and present at every step, which is (or is not) present in the solution.
• Corollary: Something that naturally follows from a lemma.
• Parity
• Lemma: Something to be relied on and trusted as true to prove a theorem.
• Strong induction

Do the quiz, it's due by sunday!

• Propositions
• Connectives
• not
• and
• implies
• if-then
• iff
• what makes a formal language
• Precedence in propositional logic
• DeMorgan's Law
• Tautology
• Contradiction
• Contingent Proposition
• Logical Equivalence of propositions

Notes sheet for ac circuits:

• Inductor and capacitor formulas
• Phasor conversions
• Trig tables

• Capacitor: Q = CV. i(t) = C*dv(t)/dt, losless component. (out of phase).
• Capacitance (farads)
• Inductor: Flux = Li, v(t) - L * di(t)/dt, Lossless components. (out of phase).
• Magnetic Flux
• Faradays law: v(t) = d*flux(t)/dt
• DC - Direct Current
• AC - Alternating Current (sinosuidal)
• Phasor representation of current and voltage (look at slides)
  • How to convert to a phasor.
  • How to convert between different representations. (See slides)
    • Cartiesian notation (for adding/subtraction)
    • Polar notation (for multiply/divide)
• Complex numbers Math (look in math1001 or 1002 notes) (see: 36:00 in lecture 5 sem1 2015)
  • Multiply
  • Divide
  • Add
  • Subtract
• Impedance(Z) (Resistance in the context of phasors)
  • Resistor: V/I
  • Capacitor: Z = 1/(jwC)
  • Inductor: Z = jwL
• Admittance (Conductance for phasors)
• Phasors and Impedence model (see slide)

G. Rizzoni, “Principles and Applications of Electrical Engineering”, 5th Ed. Mc2Graw2Hill 2007B

• Ch2 (Circuit Fundamentals): 2.1 - 2.8
• Ch 3 : all
• Ch 16: 16.1-16.3
• Ch 17: 17.1-17.2

Sommerville or Pressan

• Project Management
• Quality Assurance

Peopleware

• the entire book (supposedly not too long)