Algebraic Engineering Group@TUHH
Welcome
Research and teaching @ TUHH
Friday, October 28, 2011
Discrete Algebraic Structures - Lecture 1
Themen:
Aussagen, Junktoren, Aussagenvariablen, Aussageformen, Erfüllbarkeit, Tautologien, Rechengesetze, Syntax und Semantik.
Prädikate, All- und Existenzquantor, Negation, freie und gebundene Variablen und deren Umbenennung.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment