notes's People
notes's Issues
Discrete Structures Flashcards
- 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
Prove sqrt 2 is irrational
Extra Lectures
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
Do practice quiz
Week 2 Tutorial
Complete the tutorial before thursday!
link: http://undergraduate.csse.uwa.edu.au/units/CITS2211/tutorials/wk2-logic.pdf
Deliverable A
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
Reduce Ladder circuit
Practice Mesh Analysis
W3 Flashcards
See slides.
Firefox threw all of the data on the floor when submit new issue was clicked and wifi failed at same time :/
Reduce Bridge Circuit
W2 Flashcards
- 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
W3 Flashcards
- 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 theelement 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.
Wk 1 quiz
Do the quiz, it's due by sunday!
Reading List
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)
W1 Flashcards
- Resistance <-> Conductance relationship
- Work
- Power eqn
- Sign convention
- Current division
- Voltage division
- Thevinin Equivalent
- Norton Equivalent
- Source Transformation
- Maximum power transfer theorem
- KVL
- KCL
DC notes
Make a notes sheet for dc circuits.
1 a4 front and back
Practice Nodal Analysis
W3 Flashcards
- 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)
Practice Thevenin
Ethics Essay
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
AC circuits notes
Notes sheet for ac circuits:
- Inductor and capacitor formulas
- Phasor conversions
- Trig tables
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.