Recent News
UNM team competing at NASA Swarmathon
April 17, 2018
UNM modeling the future of diversity in computer science
April 12, 2018
Women in Data Science Conference to be streamed at Farris
March 1, 2018
Farris Engineering Center officially open
March 1, 2018
News Archives
Decision Procedures For Sets
September 1, 2005
- Date: Thursday, September 1, 2005
- Time: 11:00-12:15pm.
- Place: Woodward 149
Dr. Calogero Zarba
Department of Computer Science University of New Mexico
Suppose your best friend told you that
union(x, y) = x, for all sets x, y.
Would you believe her?
In this talk we present a method for automatically deciding if your friend told you the truth.
This method can be implemented in your favorite programming language. Moreover, when the number of involved sets is “small”, this method can be carried out on a blackboard using old-fashioned chalks.