Welcome to Telelogic Product Support
  Home Downloads Knowledgebase Case Tracking Licensing Help Telelogic Passport
Telelogic Rhapsody (steve huntington)
Decrease font size
Increase font size
Topic Title: Mathematical Foundations for Software Engineers
Topic Summary:
Created On: 3-Jul-2006 13:34
Status: Read Only
Linear : Threading : Single : Branch
Search Topic Search Topic
Topic Tools Topic Tools
Subscribe to this topic Subscribe to this topic
E-mail this topic to someone. E-mail this topic
Bookmark this topic Bookmark this topic
View similar topics View similar topics
View topic in raw text format. Print this topic.
 3-Jul-2006 13:34
User is offline View Users Profile Print this message


Brandi Carroll

Posts: 82
Joined: 22-Jul-2004

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
Report this to a Moderator Report this to a Moderator
Statistics
20925 users are registered to the Telelogic Rhapsody forum.
There are currently 0 users logged in.
You have posted 0 messages to this forum. 0 overall.

FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.