Class Learning Objectives

SE 3306 (2370) Mathematical Foundations of Software Engineering

Ability to understand and use propositional logic
Ability to understand and use predicate logic
Ability to understand and construct valid deductive proofs
Ability to understand and use naïve set theory
Ability to understand axiomatic set theory (Frege, ZF)
Ability to understand an introduction to model theory (predicate logic)
Ability to understand completeness, compactness, soundness theorems
Ability to understand and use graph theory
Ability to understand Chompsky's Hierarchy of Languages
Ability to understand and use regular expressions, regular grammars, and regular languages
Ability to understand and use finite state automata
Ability to understand and use finite state machines
Ability to understand and use Statecharts
Ability to understand and use Petri nets (weighted, hierarchical)