Computing and Software 701
Logic and Discrete Mathematics In Software Engineering
Fall 2004
Instructor:
William M. Farmer
Student Contributions
Mahnaz Ahmadi:
Boolean Algebra
Mehmet Ali Akinlar:
Hyperreal Numbers
Imen Bourguiba:
Church's Lambda Calculus
Murat Dilmulati:
Surreal Numbers
Olivier Dragon:
Combinatory Logic
Don Jang:
Knaster-Tarski Fixed Point Theorem for a Complete Partial Order
Liuxing Kan:
Many-Sorted First-Order Logic
Mike Kucera:
Resolution
Wei Lei:
Natural Deduction Proof System for First-Order Logic
Ramez Mousa:
Ordinal Numbers
Upasana Pajari:
Ackermann's Function
Khair Sabri:
Semantic Tableau Proof System for First-Order Logic
Yazhi Wang:
Schroeder-Bernstein Theorem
Jie Wu:
Monadic First-Order Logic
John Xu:
Logic Programming and Prolog