![]() |
Telelogic Rhapsody (steve huntington) | ![]() |
Topic Title: Mathematical Foundations for Software Engineers Topic Summary: Created On: 3-Jul-2006 13:34 Status: Read Only |
Linear : Threading : Single : Branch |
![]() |
![]()
|
![]() |
|
Mathematical Foundations for Software Engineers
The University of Texas at Dallas Richardson, Texas, USA [url]http://www.utdallas.edu[/url] Instructor: Kendra Cooper Course Description Fundamentals of logic (boolean logic, first order logic), model theory, completeness theorem, regular expressions, sets (Cantor, ZF), finite state machines, fundamentals of graph theory, basic graph algorithms, statecharts, petri nets (3-0). Required Text Book Discrete Mathematics and its Applications, Rosen McGraw-Hill, 5th edition Course Work Practice Problem Sets (numerous) 6 Quizes 3 Graded Assignments Final exam Course Grading The final grade is calculated as follows: 50% Quizes (Best 5 of 6, 10% each) 15% Finite State Machine Assignment, Petri Net Assignment, Statechart Assignment(5% each) 35% Final |
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.