SE-561 Math Foundations of Software Engineering

Friday 1:00-3:45PM
 BH 228

  
 
bullet Week 1, 09/07/2007, Introduction, Notes
bullet

Week 2, 09/14/2007, Natural Deduction Rules, Notes

bullet

Week 3, 09/14/2007, Natural Deduction Rules II, Notes

bullet

Week 4, 09/28/2007, Semantics of Propositional Logic, Notes
bullet

Week 5, 10/05/2007, Predicate Logic, Notes
bullet

Week 6, 10/05/2007, Proof Theory of Predicate Logic, Notes
bullet

Week 9, 11/02/2007, Set Theory, Notes
bullet

Week 10, 11/09/2007, Functions, Notes
bullet

Week 11, 11/16/2007, Graphs I, Notes
bullet

Week 12, 11/23/2007, Graphs II, Notes
bullet

Week 13, 11/30/2007, Petri Nets I, Notes   Introduction to Petri Nets
bullet

Week 14, 12/07/2007, Petri Nets II, Notes

 

Back                                                                 Last modified: 12/06/2007